Contents Index

Type.Squid.CheckConst

Documentation

checkConst :: SquidM [Error]

checkConstC :: ClassId -> Class (Region, RegionInfo) -> SquidM [Error]

getPurifiers :: ClassId -> SquidM (Maybe (Effect, TypeSource, [(Fetter, TypeSource)]))

getWriteEffects :: ClassId -> SquidM (Maybe (Effect, TypeSource))

checkConstFs :: ClassId -> [(Fetter, RegionInfo)] -> [Error]

Produced by Haddock version 0.7