 | Contents | Index |
| Type.Pack |
| ||||
| ||||
| Documentation | ||||
| packType :: Type -> Type | ||||
| packEffects :: Type -> Type | ||||
| packForallVars :: Type -> Type | ||||
| sortForallVars :: Type -> Type | ||||
| sortVarKinds :: [(Var, Kind)] -> [(Var, Kind)] | ||||
| sortFettersT :: Type -> Type | ||||
| scrubFetters :: Type -> Type | ||||
| scrubEffEnv :: Type -> Type | ||||
| packFetters :: Type -> Type | ||||
| liftFetters :: Type -> Type | ||||
| stripFsT :: Type -> (Type, [Fetter]) | ||||
| eraseEnvT :: Type -> Type | ||||
| Produced by Haddock version 0.7 |