maam-0.3.0.0: Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers

Safe Haskell	None
Language	Haskell2010

Lang.LamIf.Stamp

Documentation

data Name Source

Constructors

Name
Fields nameID :: ℕ nameSource :: 𝕊

Instances

Eq Name Source
Ord Name Source
Pretty Name Source

data Exp Source

Constructors

Exp
Fields expID :: ℕ expContext :: SourceContext Token expRawExp :: PreExp Name Exp

Instances

Eq Exp Source
Ord Exp Source
POrd Exp Source
Pretty Exp Source

type Atom = PreAtom Name Exp Source

stripStampedPreExp :: PreExp Name Exp -> PreExp 𝕊 (Fixed (PreExp 𝕊)) Source

stripStampedExp :: Exp -> Fixed (PreExp 𝕊) Source

data StampState Source

Constructors

StampState
Fields stampNameID :: ℕ stampExpID :: ℕ stampBinderMap :: 𝕊 ⇰ ℕ

Instances

MonadState StampState StampM Source

stampBinderMapL :: Lens StampState ((⇰) 𝕊 ℕ) Source

stampExpIDL :: Lens StampState ℕ Source

stampNameIDL :: Lens StampState ℕ Source

stampState₀ :: StampState Source

data StampEnv Source

Constructors

StampEnv
Fields stampContext :: SourceContext Token

Instances

MonadReader StampEnv StampM Source

stampContextL :: Lens StampEnv (SourceContext Token) Source

stampEnv₀ :: StampEnv Source

newtype StampM a Source

Constructors

StampM
Fields runStampM :: ReaderT StampEnv (StateT StampState (Error Doc)) a

Instances

Monad StampM Source
Functor StampM Source
MonadState StampState StampM Source
MonadReader StampEnv StampM Source
MonadError Doc StampM Source

runStampM₀ :: StampM a -> Doc ⨄ a Source

stampExp :: SourceExp -> StampM Exp Source

stampVar :: 𝕊 -> StampM Name Source

stampBinder :: 𝕊 -> StampM Name Source

stamp :: SourceExp -> Doc ⨄ Exp Source