Documentation
HsForAllTy HsExplicitFlag [LHsTyVarBndr name] (LHsContext name) (LHsType name) | |
HsTyVar name | |
HsAppTy (LHsType name) (LHsType name) | |
HsFunTy (LHsType name) (LHsType name) | |
HsListTy (LHsType name) | |
HsPArrTy (LHsType name) | |
HsTupleTy Boxity [LHsType name] | |
HsOpTy (LHsType name) (Located name) (LHsType name) | |
HsParTy (LHsType name) | |
HsNumTy Integer | |
HsPredTy (HsPred name) | |
HsKindSig (LHsType name) Kind | |
HsQuasiQuoteTy (HsQuasiQuote name) | |
HsSpliceTy (HsSplice name) FreeVars PostTcKind | |
HsDocTy (LHsType name) LHsDocString | |
HsBangTy HsBang (LHsType name) | |
HsRecTy [ConDeclField name] | |
HsCoreTy Type |
Typeable1 HsType | |
Data name => Data (HsType name) | |
OutputableBndr name => Outputable (HsType name) |
data HsTyVarBndr name Source
UserTyVar name PostTcKind | |
KindedTyVar name Kind |
Typeable1 HsTyVarBndr | |
Data name => Data (HsTyVarBndr name) | |
Outputable name => Outputable (HsTyVarBndr name) |
type LHsTyVarBndr name = Located (HsTyVarBndr name)Source
type LHsContext name = Located (HsContext name)Source
HsClassP name [LHsType name] | |
HsEqualP (LHsType name) (LHsType name) | |
HsIParam (IPName name) (LHsType name) |
Typeable1 HsPred | |
Data name => Data (HsPred name) | |
OutputableBndr name => Outputable (HsPred name) |
data HsQuasiQuote id Source
Typeable1 HsQuasiQuote | |
Data id => Data (HsQuasiQuote id) | |
OutputableBndr id => Outputable (HsQuasiQuote id) |
getBangType :: LHsType a -> LHsType aSource
getBangStrictness :: LHsType a -> HsBangSource
data ConDeclField name Source
ConDeclField | |
|
Typeable1 ConDeclField | |
Data name => Data (ConDeclField name) |
pprConDeclFields :: OutputableBndr name => [ConDeclField name] -> SDocSource
mkExplicitHsForAllTy :: [LHsTyVarBndr name] -> LHsContext name -> LHsType name -> HsType nameSource
mkImplicitHsForAllTy :: LHsContext name -> LHsType name -> HsType nameSource
hsExplicitTvs :: LHsType name -> [name]Source
hsTyVarName :: HsTyVarBndr name -> nameSource
hsTyVarNames :: [HsTyVarBndr name] -> [name]Source
replaceTyVarName :: HsTyVarBndr name1 -> name2 -> HsTyVarBndr name2Source
hsTyVarKind :: HsTyVarBndr name -> KindSource
hsTyVarNameKind :: HsTyVarBndr name -> (name, Kind)Source
hsLTyVarName :: LHsTyVarBndr name -> nameSource
hsLTyVarNames :: [LHsTyVarBndr name] -> [name]Source
hsLTyVarLocName :: LHsTyVarBndr name -> Located nameSource
hsLTyVarLocNames :: [LHsTyVarBndr name] -> [Located name]Source
splitHsInstDeclTy :: OutputableBndr name => HsType name -> ([LHsTyVarBndr name], HsContext name, name, [LHsType name])Source
splitHsFunType :: LHsType name -> ([LHsType name], LHsType name)Source
type PostTcType = TypeSource
type PostTcKind = KindSource
pprParendHsType :: OutputableBndr name => HsType name -> SDocSource
pprHsForAll :: OutputableBndr name => HsExplicitFlag -> [LHsTyVarBndr name] -> LHsContext name -> SDocSource
pprHsContext :: OutputableBndr name => HsContext name -> SDocSource
ppr_hs_context :: OutputableBndr name => HsContext name -> SDocSource