Documentation
type IfLclName = FastStringSource
data IfacePredType Source
data IfaceTyCon Source
type IfaceContext = [IfacePredType]Source
type IfaceTvBndr = (IfLclName, IfaceKind)Source
type IfaceIdBndr = (IfLclName, IfaceType)Source
type IfaceCoercion = IfaceTypeSource
toIfaceType :: Type -> IfaceTypeSource
toIfaceBndr :: Var -> IfaceBndrSource
toIfaceIdBndr :: Id -> (IfLclName, IfaceType)Source
toIfaceTvBndrs :: [TyVar] -> [(IfLclName, IfaceType)]Source
pprIfaceType :: IfaceType -> SDocSource
pprIfaceIdBndr :: (IfLclName, IfaceType) -> SDocSource
pprIfaceTvBndrs :: [IfaceTvBndr] -> SDocSource
pprIfaceBndrs :: [IfaceBndr] -> SDocSource
pprIfaceForAllPart :: [IfaceTvBndr] -> IfaceContext -> SDoc -> SDocSource