ghc-6.12.3: The GHC APIContentsIndex
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]
show/hide Instances
type LHsType name = Located (HsType name)
data HsTyVarBndr name
Constructors
UserTyVar name
KindedTyVar name Kind
show/hide Instances
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)
show/hide Instances
type LHsPred name = Located (HsPred name)
type LBangType name = Located (BangType name)
type BangType name = HsType name
data HsBang
Constructors
HsNoBang
HsStrict
HsUnbox
show/hide Instances
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.1