ContentsIndex
Type.Squid.CheckPure
Documentation
checkPure :: SquidM [Error]
checkPureC :: ClassId -> Class (Effect, EffectInfo) -> SquidM [Error]
gotPureE :: Effect -> Bool
tracePure :: ClassId -> Set ClassId -> [ClassId] -> [Error] -> SquidM [Error]
checkPureE :: ClassId -> ClassId -> (Effect, EffectInfo) -> SquidM [Error]
getPureInfo :: ClassId -> SquidM EffectInfo
Produced by Haddock version 0.7