| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
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.6.1 |