Contents Index

Type.Squid.Base

Documentation

type ClassT = Class (Type, TypeInfo)

type ClassE = Class (Effect, EffectInfo)

type ClassR = Class (Region, RegionInfo)

data Class i

Constructors CNil Class classId :: ClassId className :: (Maybe Var) classItems :: [i] classBackRef :: [ClassId] Instances ??? i => Show (Class i)

data School i

Constructors School schoolMakeClassId :: (Int -> ClassId) schoolClass :: (Map ClassId (Class i)) schoolClassSub :: (Map ClassId ClassId) schoolClassIdGen :: Int schoolClassTouched :: (Set ClassId) schoolVarToClassId :: (Map Var ClassId)

data TypeInfo

Constructors TypeInfo tiSource :: TypeSource Instances Eq TypeInfo Pretty TypeInfo Show TypeInfo

data EffectInfo

Constructors EffectInfo eiSource :: TypeSource Instances Eq EffectInfo Pretty EffectInfo Show EffectInfo

data RegionInfo

Constructors RegionInfo riSource :: TypeSource Instances Eq RegionInfo Pretty RegionInfo Show RegionInfo

Produced by Haddock version 0.7