Safe Haskell	Safe-Infered

HsTypes

Documentation

data HsType name Source

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)

type LHsType name = Located (HsType name)Source

type HsKind name = HsType nameSource

type LHsKind name = Located (HsKind name)Source

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

Constructors

HsUnboxedTuple
HsBoxedTuple
HsConstraintTuple
HsBoxedOrConstraintTuple

Instances

Data HsTupleSort
Typeable HsTupleSort

data HsExplicitFlag Source

Constructors

Explicit
Implicit

Instances

Data HsExplicitFlag
Typeable HsExplicitFlag

type HsContext name = [LHsType name]Source

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)

data HsTyWrapper Source

Constructors

WpKiApps [Kind]

Instances

Data HsTyWrapper
Typeable HsTyWrapper

type LBangType name = Located (BangType name)Source

type BangType name = HsType nameSource

data HsBang Source

Constructors

HsNoBang
HsStrict
HsUnpack
HsUnpackFailed
HsNoUnpack

Instances

Eq HsBang
Data HsBang
Typeable HsBang
Outputable HsBang
Binary HsBang

getBangType :: LHsType a -> LHsType aSource

getBangStrictness :: LHsType a -> HsBang Source

data ConDeclField name Source

Constructors

ConDeclField
Fields cd_fld_name :: Located name cd_fld_type :: LBangType name cd_fld_doc :: Maybe LHsDocString

Instances

Typeable1 ConDeclField
Data name => Data (ConDeclField name)

pprConDeclFields :: OutputableBndr name => [ConDeclField name] -> SDoc Source

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 -> Kind Source

hsLTyVarKind :: LHsTyVarBndr name -> Kind Source

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

splitLHsClassTy_maybe :: LHsType name -> Maybe (Located name, [LHsType name])Source

splitHsFunType :: LHsType name -> ([LHsType name], LHsType name)Source

splitHsAppTys :: LHsType n -> [LHsType n] -> (LHsType n, [LHsType n])Source

mkHsAppTys :: OutputableBndr n => LHsType n -> [LHsType n] -> HsType nSource

mkHsOpTy :: LHsType name -> Located name -> LHsType name -> HsType nameSource

pprParendHsType :: OutputableBndr name => HsType name -> SDoc Source

pprHsForAll :: OutputableBndr name => HsExplicitFlag -> [LHsTyVarBndr name] -> LHsContext name -> SDoc Source

pprHsContext :: OutputableBndr name => HsContext name -> SDoc Source

ppr_hs_context :: OutputableBndr name => HsContext name -> SDoc Source