sslang-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

IR.Constraint.Monad

Synopsis

Documentation

type TC a = StateT TCState (ExceptT Error (WriterT (Doc String) IO)) a Source #

type DConInfo = (DConId, TConId, [TVarId], [Type]) Source #

type DConMap = Map DConId DConInfo Source #

data TCState Source #

Constructors

TCState 

Fields

runTC :: TCState -> TC a -> (Either Error a, Doc String) Source #

mkTCState :: Program Annotations -> TCState Source #

mkDConMap :: Program Annotations -> DConMap Source #

freshName :: String -> TC TVarId Source #

Generate a fresh identifier based on some prefix.

freshVar :: TC VarId Source #

Generate a fresh program variable name, e.g., for anonymous binders.

freshAnnVar :: TC VarId Source #

Generate a fresh type identifier to be associated with annotations.

getDConInfo :: DConId -> TC (Maybe DConInfo) Source #

getKind :: TConId -> TC (Maybe Kind) Source #

getExtern :: VarId -> TC (Maybe Type) Source #

throwError :: String -> TC a Source #