ghc-6.12.3: The GHC API Source code Contents Index

HsTypes

Documentation

data HsType name Source

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] Instances OutputableBndr name => Outputable (HsType name)

type LHsType name = Located (HsType name) Source

data HsTyVarBndr name Source

Constructors UserTyVar name KindedTyVar name Kind Instances Outputable name => Outputable (HsTyVarBndr name)

type LHsTyVarBndr name = Located (HsTyVarBndr name) Source

data HsExplicitForAll Source

Constructors Explicit Implicit

type HsContext name = [LHsPred name] Source

type LHsContext name = Located (HsContext name) Source

data HsPred name Source

Constructors HsClassP name [LHsType name] HsEqualP (LHsType name) (LHsType name) HsIParam (IPName name) (LHsType name) Instances OutputableBndr name => Outputable (HsPred name)

type LHsPred name = Located (HsPred name) Source

type LBangType name = Located (BangType name) Source

type BangType name = HsType name Source

data HsBang Source

Constructors HsNoBang HsStrict HsUnbox Instances Outputable HsBang

getBangType :: LHsType a -> LHsType a Source

getBangStrictness :: LHsType a -> HsBang Source

data ConDeclField name Source

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

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

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

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

hsExplicitTvs :: LHsType name -> [name] Source

hsTyVarName :: HsTyVarBndr name -> name Source

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

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

hsLTyVarName :: LHsTyVarBndr name -> name Source

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

hsLTyVarLocName :: LHsTyVarBndr name -> Located name Source

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 = Type Source

placeHolderType :: PostTcType Source

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

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

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

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

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

Produced by Haddock version 2.6.1