 | Contents | Index |
| 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 |