ghc-6.12.1: The GHC APISource codeContentsIndex
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]
show/hide Instances
type LHsType name = Located (HsType name)Source
data HsTyVarBndr name Source
Constructors
UserTyVar name
KindedTyVar name Kind
show/hide Instances
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)
show/hide Instances
type LHsPred name = Located (HsPred name)Source
type LBangType name = Located (BangType name)Source
type BangType name = HsType nameSource
data HsBang Source
Constructors
HsNoBang
HsStrict
HsUnbox
show/hide Instances
getBangType :: LHsType a -> LHsType aSource
getBangStrictness :: LHsType a -> HsBangSource
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] -> 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
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
placeHolderType :: PostTcTypeSource
pprParendHsType :: OutputableBndr name => HsType name -> SDocSource
pprHsForAll :: OutputableBndr name => HsExplicitForAll -> [LHsTyVarBndr name] -> LHsContext name -> SDocSource
pprHsContext :: OutputableBndr name => HsContext name -> SDocSource
ppr_hs_context :: OutputableBndr name => HsContext name -> SDocSource
pprHsTyVarBndr :: Outputable name => name -> Kind -> SDocSource
Produced by Haddock version 2.6.0