 | Contents | Index |
| Type.Squid.Scheme |
| ||||
| ||||
| Documentation | ||||
| lookupScheme :: Var -> SquidM (Maybe Type) | ||||
| makeSchemeSusp :: Var -> SquidM (Maybe Type) | ||||
| generaliseV :: Var -> [Var] -> SquidM Type | ||||
| findType :: Var -> SquidM Type | ||||
| checkScheme :: Var -> Type -> SquidM () | ||||
| expandEnvT :: Type -> SquidM Type | ||||
| Produced by Haddock version 0.7 |