| Safe Haskell | None |
|---|
HsTypes
- data HsType name
- = HsForAllTy HsExplicitFlag (LHsTyVarBndrs 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 HsIPName (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]
- | HsTyLit HsTyLit
- | HsWrapTy HsTyWrapper (HsType name)
- type LHsType name = Located (HsType name)
- type HsKind name = HsType name
- type LHsKind name = Located (HsKind name)
- data HsTyVarBndr name
- = UserTyVar name
- | KindedTyVar name (LHsKind name)
- type LHsTyVarBndr name = Located (HsTyVarBndr name)
- data LHsTyVarBndrs name = HsQTvs {
- hsq_kvs :: [Name]
- hsq_tvs :: [LHsTyVarBndr name]
- data HsWithBndrs thing = HsWB {}
- data HsTupleSort
- data HsExplicitFlag
- type HsContext name = [LHsType name]
- type LHsContext name = Located (HsContext name)
- data HsQuasiQuote id = HsQuasiQuote id SrcSpan FastString
- data HsTyWrapper = WpKiApps [Kind]
- data HsTyLit
- newtype HsIPName = HsIPName FastString
- hsIPNameFS :: HsIPName -> FastString
- type LBangType name = Located (BangType name)
- type BangType name = HsType name
- data HsBang
- = HsNoBang
- | HsStrict
- | HsUnpack
- | HsUnpackFailed
- | HsNoUnpack
- getBangType :: LHsType a -> LHsType a
- getBangStrictness :: LHsType a -> HsBang
- data ConDeclField name = ConDeclField {
- cd_fld_name :: Located name
- cd_fld_type :: LBangType name
- cd_fld_doc :: Maybe LHsDocString
- pprConDeclFields :: OutputableBndr name => [ConDeclField name] -> SDoc
- mkHsQTvs :: [LHsTyVarBndr RdrName] -> LHsTyVarBndrs RdrName
- hsQTvBndrs :: LHsTyVarBndrs name -> [LHsTyVarBndr name]
- mkExplicitHsForAllTy :: [LHsTyVarBndr RdrName] -> LHsContext RdrName -> LHsType RdrName -> HsType RdrName
- mkImplicitHsForAllTy :: LHsContext RdrName -> LHsType RdrName -> HsType RdrName
- hsExplicitTvs :: LHsType name -> [name]
- hsTyVarName :: HsTyVarBndr name -> name
- mkHsWithBndrs :: thing -> HsWithBndrs thing
- hsLKiTyVarNames :: LHsTyVarBndrs Name -> [Name]
- hsLTyVarName :: LHsTyVarBndr name -> name
- hsLTyVarNames :: LHsTyVarBndrs name -> [name]
- hsLTyVarLocName :: LHsTyVarBndr name -> Located name
- hsLTyVarLocNames :: LHsTyVarBndrs name -> [Located name]
- splitLHsInstDeclTy_maybe :: LHsType name -> Maybe (LHsTyVarBndrs name, HsContext name, Located name, [LHsType name])
- splitHsClassTy_maybe :: HsType name -> Maybe (name, [LHsType name])
- splitLHsClassTy_maybe :: LHsType name -> Maybe (Located name, [LHsType name])
- splitHsFunType :: LHsType name -> ([LHsType name], LHsType name)
- splitHsAppTys :: LHsType n -> [LHsType n] -> (LHsType n, [LHsType n])
- mkHsAppTys :: OutputableBndr n => LHsType n -> [LHsType n] -> HsType n
- mkHsOpTy :: LHsType name -> Located name -> LHsType name -> HsType name
- pprParendHsType :: OutputableBndr name => HsType name -> SDoc
- pprHsForAll :: OutputableBndr name => HsExplicitFlag -> LHsTyVarBndrs name -> LHsContext name -> SDoc
- pprHsContext :: OutputableBndr name => HsContext name -> SDoc
- ppr_hs_context :: OutputableBndr name => HsContext name -> SDoc
Documentation
Constructors
| HsForAllTy HsExplicitFlag (LHsTyVarBndrs 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 HsIPName (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] | |
| HsTyLit HsTyLit | |
| HsWrapTy HsTyWrapper (HsType name) |
Instances
| Typeable1 HsType | |
| Data name => Data (HsType name) | |
| OutputableBndr name => Outputable (HsType name) |
data HsTyVarBndr name Source
Constructors
| UserTyVar name | |
| KindedTyVar name (LHsKind name) |
Instances
| Typeable1 HsTyVarBndr | |
| Data name => Data (HsTyVarBndr name) | |
| OutputableBndr name => Outputable (HsTyVarBndr name) |
type LHsTyVarBndr name = Located (HsTyVarBndr name)Source
data LHsTyVarBndrs name Source
Constructors
| HsQTvs | |
Fields
| |
Instances
| Typeable1 LHsTyVarBndrs | |
| Data name => Data (LHsTyVarBndrs name) | |
| OutputableBndr name => Outputable (LHsTyVarBndrs name) |
data HsWithBndrs thing Source
Instances
| Typeable1 HsWithBndrs | |
| Data thing => Data (HsWithBndrs thing) | |
| Outputable thing => Outputable (HsWithBndrs thing) |
data HsTupleSort Source
Instances
data HsExplicitFlag Source
Instances
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) |
Constructors
| HsNumTy Integer | |
| HsStrTy FastString |
These names are used eary on to store the names of implicit parameters. They completely disappear after type-checking.
Constructors
| HsIPName FastString |
Constructors
| HsNoBang | |
| HsStrict | |
| HsUnpack | |
| HsUnpackFailed | |
| HsNoUnpack |
getBangType :: LHsType a -> LHsType aSource
getBangStrictness :: LHsType a -> HsBangSource
data ConDeclField name Source
Constructors
| ConDeclField | |
Fields
| |
Instances
| Typeable1 ConDeclField | |
| Data name => Data (ConDeclField name) |
pprConDeclFields :: OutputableBndr name => [ConDeclField name] -> SDocSource
hsQTvBndrs :: LHsTyVarBndrs name -> [LHsTyVarBndr name]Source
mkExplicitHsForAllTy :: [LHsTyVarBndr RdrName] -> LHsContext RdrName -> LHsType RdrName -> HsType RdrNameSource
hsExplicitTvs :: LHsType name -> [name]Source
hsTyVarName :: HsTyVarBndr name -> nameSource
mkHsWithBndrs :: thing -> HsWithBndrs thingSource
hsLKiTyVarNames :: LHsTyVarBndrs Name -> [Name]Source
hsLTyVarName :: LHsTyVarBndr name -> nameSource
hsLTyVarNames :: LHsTyVarBndrs name -> [name]Source
hsLTyVarLocName :: LHsTyVarBndr name -> Located nameSource
hsLTyVarLocNames :: LHsTyVarBndrs name -> [Located name]Source
splitLHsInstDeclTy_maybe :: LHsType name -> Maybe (LHsTyVarBndrs name, HsContext name, Located name, [LHsType name])Source
splitHsClassTy_maybe :: HsType name -> Maybe (name, [LHsType name])Source
splitHsFunType :: LHsType name -> ([LHsType name], LHsType name)Source
mkHsAppTys :: OutputableBndr n => LHsType n -> [LHsType n] -> HsType nSource
pprParendHsType :: OutputableBndr name => HsType name -> SDocSource
pprHsForAll :: OutputableBndr name => HsExplicitFlag -> LHsTyVarBndrs name -> LHsContext name -> SDocSource
pprHsContext :: OutputableBndr name => HsContext name -> SDocSource
ppr_hs_context :: OutputableBndr name => HsContext name -> SDocSource