 | Contents | Index |
| Type.Bits |
| ||||
| ||||
| Documentation | ||||
| chopTForall :: Type -> Type | ||||
| makeTFun :: [Type] -> Type | ||||
| chopTFun :: Type -> [Type] | ||||
| addTForall :: Type -> Type | ||||
| addDefaultKind :: Var -> (Var, Kind) | ||||
| flattenFunT :: Type -> Type | ||||
| unflattenFunT :: Type -> Type | ||||
| addFetters :: Type -> [Fetter] -> Type | ||||
| Produced by Haddock version 0.7 |