Type.Squid.School

Documentation

allocClass :: School x -> (School x, ClassId)

addToClass :: Eq x => School x -> ClassId -> x -> School x

lookupClass :: School x -> ClassId -> Maybe (Class x)

updateClass :: School x -> ClassId -> Class x -> School x

mergeClasses :: Eq x => School x -> [ClassId] -> (School x, ClassId)

addClassIdSubs :: School x -> ClassId -> [ClassId] -> School x

sinkClassId :: School x -> ClassId -> ClassId

touchClass :: School x -> ClassId -> School x

getTouched :: School x -> Set ClassId

delTouched :: School x -> ClassId -> School x

packTouched :: School x -> School x

lookupVarToClassId :: School x -> Var -> Maybe ClassId

makeClassV :: Eq x => School x -> Var -> x -> (School x, ClassId)

addBackRef :: School x -> ClassId -> ClassId -> School x

Produced by Haddock version 0.7