Data.Model.Env

Environment used while capturing model

Documentation

type State s = StateT s Identity

A state monad parameterized by the type s of the state to carry.

The return function leaves the state unchanged, while >>= uses the final state of the first computation as the initial state of the second.

data Env

Environment used while capturing model

Instances

Show Env

Methods

showsPrec :: Int -> Env -> ShowS

show :: Env -> String

showList :: [Env] -> ShowS

withEnv :: State Env HType -> HTypeModel

Run the model capturing computation

enterCtx :: QualName -> State Env Bool

Enter a type

addDef :: QualName -> HADT -> State Env ()

Add a new data type model to the environment

closeCtx :: State Env ()

Leave current type