| ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
| Documentation | ||||||||||||||||||||||||||||
| data IfaceType | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
| type IfaceKind = IfaceType | ||||||||||||||||||||||||||||
| data IfacePredType | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
| data IfaceTyCon | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
| type IfaceContext = [IfacePredType] | ||||||||||||||||||||||||||||
| data IfaceBndr | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
| type IfaceTvBndr = (FastString, IfaceKind) | ||||||||||||||||||||||||||||
| type IfaceIdBndr = (FastString, IfaceType) | ||||||||||||||||||||||||||||
| type IfaceCoercion = IfaceType | ||||||||||||||||||||||||||||
| ifaceTyConName :: IfaceTyCon -> Name | ||||||||||||||||||||||||||||
| toIfaceType :: Type -> IfaceType | ||||||||||||||||||||||||||||
| toIfacePred :: PredType -> IfacePredType | ||||||||||||||||||||||||||||
| toIfaceContext :: ThetaType -> IfaceContext | ||||||||||||||||||||||||||||
| toIfaceBndr :: Var -> IfaceBndr | ||||||||||||||||||||||||||||
| toIfaceIdBndr :: Id -> (FastString, IfaceType) | ||||||||||||||||||||||||||||
| toIfaceTvBndrs :: [TyVar] -> [(FastString, IfaceType)] | ||||||||||||||||||||||||||||
| toIfaceTyCon :: TyCon -> IfaceTyCon | ||||||||||||||||||||||||||||
| toIfaceTyCon_name :: Name -> IfaceTyCon | ||||||||||||||||||||||||||||
| pprIfaceType :: IfaceType -> SDoc | ||||||||||||||||||||||||||||
| pprParendIfaceType :: IfaceType -> SDoc | ||||||||||||||||||||||||||||
| pprIfaceContext :: IfaceContext -> SDoc | ||||||||||||||||||||||||||||
| pprIfaceIdBndr :: (FastString, IfaceType) -> SDoc | ||||||||||||||||||||||||||||
| pprIfaceTvBndr :: IfaceTvBndr -> SDoc | ||||||||||||||||||||||||||||
| pprIfaceTvBndrs :: [IfaceTvBndr] -> SDoc | ||||||||||||||||||||||||||||
| pprIfaceBndrs :: [IfaceBndr] -> SDoc | ||||||||||||||||||||||||||||
| tOP_PREC :: Int | ||||||||||||||||||||||||||||
| tYCON_PREC :: Int | ||||||||||||||||||||||||||||
| noParens :: SDoc -> SDoc | ||||||||||||||||||||||||||||
| maybeParen :: Int -> Int -> SDoc -> SDoc | ||||||||||||||||||||||||||||
| pprIfaceForAllPart :: [IfaceTvBndr] -> IfaceContext -> SDoc -> SDoc | ||||||||||||||||||||||||||||
| Produced by Haddock version 2.7.2 |