IfaceType
Documentation
Constructors
IfaceTyVar FastString | |
IfaceAppTy IfaceType IfaceType | |
IfaceForAllTy IfaceTvBndr IfaceType | |
IfacePredTy IfacePredType | |
IfaceTyConApp IfaceTyCon [IfaceType] | |
IfaceFunTy IfaceType IfaceType |
Instances
data IfacePredType Source
Constructors
IfaceClassP Name [IfaceType] | |
IfaceIParam (IPName OccName) IfaceType | |
IfaceEqPred IfaceType IfaceType |
Instances
data IfaceTyCon Source
Constructors
Instances
type IfaceContext = [IfacePredType]Source
Constructors
IfaceIdBndr !IfaceIdBndr | |
IfaceTvBndr !IfaceTvBndr |
Instances
type IfaceTvBndr = (FastString, IfaceKind)Source
type IfaceIdBndr = (FastString, IfaceType)Source
type IfaceCoercion = IfaceTypeSource
toIfaceType :: Type -> IfaceTypeSource
toIfaceBndr :: Var -> IfaceBndrSource
toIfaceIdBndr :: Id -> (FastString, IfaceType)Source
toIfaceTvBndrs :: [TyVar] -> [(FastString, IfaceType)]Source
pprIfaceType :: IfaceType -> SDocSource
pprIfaceIdBndr :: (FastString, IfaceType) -> SDocSource
pprIfaceTvBndrs :: [IfaceTvBndr] -> SDocSource
pprIfaceBndrs :: [IfaceBndr] -> SDocSource
pprIfaceForAllPart :: [IfaceTvBndr] -> IfaceContext -> SDoc -> SDocSource