Type.Squid.Class

Documentation

type SchoolE = School (Effect, EffectInfo)

excSchoolE :: (SchoolE -> SchoolE) -> SquidM ()

runSchoolE :: (SchoolE -> (SchoolE, a)) -> SquidM a

getSchoolE :: (SchoolE -> a) -> SquidM a

makeClassNameE :: ClassId -> SquidM Var

type SchoolR = School (Region, RegionInfo)

excSchoolR :: (SchoolR -> SchoolR) -> SquidM ()

runSchoolR :: (SchoolR -> (SchoolR, a)) -> SquidM a

getSchoolR :: (SchoolR -> a) -> SquidM a

makeClassNameR :: ClassId -> SquidM Var

type SchoolT = School (Type, TypeInfo)

excSchoolT :: (SchoolT -> SchoolT) -> SquidM ()

runSchoolT :: (SchoolT -> (SchoolT, a)) -> SquidM a

getSchoolT :: (SchoolT -> a) -> SquidM a

makeClassNameT :: ClassId -> SquidM Var

makeClassName :: ClassId -> SquidM Var

addVarSubs :: Var -> [Var] -> SquidM ()

sinkVar :: Var -> SquidM Var

sinkClassId :: ClassId -> SquidM ClassId

Produced by Haddock version 0.7