model-0.5: Derive a model of a data type using Generics

Data.Model.Env

Description

Environment used while capturing model

Synopsis

# 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 Source #

Environment used while capturing model

Instances
 Source # Instance detailsDefined in Data.Model.Env MethodsshowsPrec :: Int -> Env -> ShowS #show :: Env -> String #showList :: [Env] -> ShowS #

Run the model capturing computation

Enter a type

Add a new data type model to the environment

Leave current type