Contents Index

Source.ToCore.Base

Documentation

data CoreS

Constructors CoreS coreMapSchemes :: (Var -> Maybe Type) coreMapNodes :: (Var -> Maybe Type) coreMapInst :: (Var -> Maybe Type) coreMapEffects :: (Var -> Maybe [Effect]) coreVars :: (Map String Var) coreGenValue :: VarId coreLetBound :: (Set Var)

type CoreM = State CoreS

newVar :: CoreM Var

getScheme :: Var -> CoreM Type

getNode :: Var -> CoreM Type

lookupInst :: Var -> CoreM (Maybe Type)

getEffects :: Var -> CoreM [Effect]

isLetRecursive :: Var -> CoreM Bool

addLetBound :: [Var] -> CoreM ()

delLetBound :: [Var] -> CoreM ()

Produced by Haddock version 0.7