HsTypes

Documentation

data HsType name

Constructors

HsForAllTy HsExplicitForAll [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
HsSpliceTy (HsSplice name)
HsDocTy (LHsType name) LHsDocString
HsSpliceTyOut Kind
HsBangTy HsBang (LHsType name)
HsRecTy [ConDeclField name]

type LHsType name = Located (HsType name)

data HsTyVarBndr name

Constructors

UserTyVar name
KindedTyVar name Kind

type LHsTyVarBndr name = Located (HsTyVarBndr name)

data HsExplicitForAll

Constructors

Explicit
Implicit

type HsContext name = [LHsPred name]

type LHsContext name = Located (HsContext name)

data HsPred name

Constructors

HsClassP name [LHsType name]
HsEqualP (LHsType name) (LHsType name)
HsIParam (IPName name) (LHsType name)

type LHsPred name = Located (HsPred name)

type LBangType name = Located (BangType name)

type BangType name = HsType name

data HsBang

Constructors

HsNoBang
HsStrict
HsUnbox

getBangType :: LHsType a -> LHsType a

getBangStrictness :: LHsType a -> HsBang

data ConDeclField name

Constructors

ConDeclField

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

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

mkExplicitHsForAllTy :: [LHsTyVarBndr name] -> LHsContext name -> LHsType name -> HsType name

mkImplicitHsForAllTy :: LHsContext name -> LHsType name -> HsType name

hsExplicitTvs :: LHsType name -> [name]

hsTyVarName :: HsTyVarBndr name -> name

hsTyVarNames :: [HsTyVarBndr name] -> [name]

replaceTyVarName :: HsTyVarBndr name1 -> name2 -> HsTyVarBndr name2

hsLTyVarName :: LHsTyVarBndr name -> name

hsLTyVarNames :: [LHsTyVarBndr name] -> [name]

hsLTyVarLocName :: LHsTyVarBndr name -> Located name

hsLTyVarLocNames :: [LHsTyVarBndr name] -> [Located name]

splitHsInstDeclTy :: OutputableBndr name => HsType name -> ([LHsTyVarBndr name], HsContext name, name, [LHsType name])

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

type PostTcType = Type

placeHolderType :: PostTcType

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

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

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

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

pprHsTyVarBndr :: Outputable name => name -> Kind -> SDoc

Produced by Haddock version 2.6.0