| Safe Haskell | None |
|---|
HsTypes
Documentation
Constructors
| 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 HsTupleSort [LHsType name] | |
| HsOpTy (LHsType name) (LHsTyOp name) (LHsType name) | |
| HsParTy (LHsType name) | |
| HsIParamTy (IPName name) (LHsType name) | |
| HsEqTy (LHsType name) (LHsType name) | |
| HsKindSig (LHsType name) (LHsKind name) | |
| HsQuasiQuoteTy (HsQuasiQuote name) | |
| HsSpliceTy (HsSplice name) FreeVars PostTcKind | |
| HsDocTy (LHsType name) LHsDocString | |
| HsBangTy HsBang (LHsType name) | |
| HsRecTy [ConDeclField name] | |
| HsCoreTy Type | |
| HsExplicitListTy PostTcKind [LHsType name] | |
| HsExplicitTupleTy [PostTcKind] [LHsType name] | |
| HsWrapTy HsTyWrapper (HsType name) |
Instances
| Typeable1 HsType | |
| Data name => Data (HsType name) | |
| OutputableBndr name => Outputable (HsType name) |
data HsTyVarBndr name Source
Constructors
| UserTyVar name PostTcKind | |
| KindedTyVar name (LHsKind name) PostTcKind |
Instances
| Typeable1 HsTyVarBndr | |
| Data name => Data (HsTyVarBndr name) | |
| OutputableBndr name => Outputable (HsTyVarBndr name) |
type LHsTyVarBndr name = Located (HsTyVarBndr name)Source
data HsTupleSort Source
Instances
data HsExplicitFlag Source
Instances
type LHsContext name = Located (HsContext name)Source
data HsQuasiQuote id Source
Constructors
| HsQuasiQuote id SrcSpan FastString |
Instances
| Typeable1 HsQuasiQuote | |
| Data id => Data (HsQuasiQuote id) | |
| OutputableBndr id => Outputable (HsQuasiQuote id) |
Constructors
| HsNoBang | |
| HsStrict | |
| HsUnpack | |
| HsUnpackFailed | |
| HsNoUnpack |
getBangType :: LHsType a -> LHsType aSource
getBangStrictness :: LHsType a -> HsBangSource
data ConDeclField name Source
Constructors
| ConDeclField | |
Fields
| |
Instances
| 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 :: Monad m => HsTyVarBndr name1 -> name2 -> (LHsKind name1 -> m (LHsKind name2)) -> m (HsTyVarBndr name2)Source
replaceLTyVarName :: Monad m => LHsTyVarBndr name1 -> name2 -> (LHsKind name1 -> m (LHsKind name2)) -> m (LHsTyVarBndr name2)Source
hsTyVarKind :: HsTyVarBndr name -> KindSource
hsLTyVarKind :: LHsTyVarBndr 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_maybe :: HsType name -> Maybe ([LHsTyVarBndr name], HsContext name, name, [LHsType name])Source
splitLHsInstDeclTy_maybe :: LHsType name -> Maybe ([LHsTyVarBndr name], HsContext name, Located name, [LHsType name])Source
splitHsForAllTy :: HsType name -> ([LHsTyVarBndr name], HsContext name, HsType name)Source
splitLHsForAllTy :: LHsType name -> ([LHsTyVarBndr name], HsContext name, LHsType name)Source
splitHsClassTy_maybe :: HsType name -> Maybe (name, [LHsType name])Source
splitHsFunType :: LHsType name -> ([LHsType name], LHsType name)Source
mkHsAppTys :: OutputableBndr n => LHsType n -> [LHsType n] -> HsType nSource
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