Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xc7d136e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12

Moduleth-abstraction-0.7.2.0

Language.Haskell.TH.Datatype.TyVarBndr

6 types
1 class
34 values

Packageth-abstraction-0.7.2.0
Exports41
LicenceISC
SourceSyntax.hs

valuebndrInvis :: BndrVis

valuebndrReq :: BndrVis

valueinferredSpec :: Specificity

valuespecifiedSpec :: Specificity

valuekindedTV :: DefaultBndrFlag flag => Name -> Kind -> TyVarBndr flag

valueplainTV :: DefaultBndrFlag flag => Name -> TyVarBndr flag

valuechangeTVFlags :: newFlag -> [TyVarBndr_ oldFlag] -> [TyVarBndr_ newFlag]

valueelimTV :: (Name -> r) -> (Name -> Kind -> r) -> TyVarBndr_ flag -> r

valueelimTVFlag

:: Name -> flag -> r
-> Name -> flag -> Kind -> r
-> TyVarBndr_ flag
-> r

valuekindedTVFlag :: Name -> flag -> Kind -> TyVarBndr_ flag

valuekindedTVInferred :: Name -> Kind -> TyVarBndrSpec

valuekindedTVInvis :: Name -> Kind -> TyVarBndrVis

valuekindedTVReq :: Name -> Kind -> TyVarBndrVis

valuekindedTVSpecified :: Name -> Kind -> TyVarBndrSpec

valuemapMTV

:: Monad m
=> Name -> m Name
-> flag -> m flag'
-> Kind -> m Kind
-> TyVarBndr_ flag
-> m (TyVarBndr_ flag')

valuemapMTVFlag

:: Monad m
=> flag -> m flag'
-> TyVarBndr_ flag
-> m (TyVarBndr_ flag')

valuemapMTVKind

:: Monad m
=> Kind -> m Kind
-> TyVarBndr_ flag
-> m (TyVarBndr_ flag)

valuemapMTVName

:: Monad m
=> Name -> m Name
-> TyVarBndr_ flag
-> m (TyVarBndr_ flag)

valuemapTV

:: Name -> Name
-> flag -> flag'
-> Kind -> Kind
-> TyVarBndr_ flag
-> TyVarBndr_ flag'

valuemapTVFlag :: (flag -> flag') -> TyVarBndr_ flag -> TyVarBndr_ flag'

valuemapTVKind :: (Kind -> Kind) -> TyVarBndr_ flag -> TyVarBndr_ flag

valuemapTVName :: (Name -> Name) -> TyVarBndr_ flag -> TyVarBndr_ flag

valueplainTVFlag :: Name -> flag -> TyVarBndr_ flag

valueplainTVInferred :: Name -> TyVarBndrSpec

valueplainTVInvis :: Name -> TyVarBndrVis

valueplainTVReq :: Name -> TyVarBndrVis

valueplainTVSpecified :: Name -> TyVarBndrSpec

valuetraverseTV

:: Applicative f
=> Name -> f Name
-> flag -> f flag'
-> Kind -> f Kind
-> TyVarBndr_ flag
-> f (TyVarBndr_ flag')

valuetraverseTVFlag

:: Applicative f
=> flag -> f flag'
-> TyVarBndr_ flag
-> f (TyVarBndr_ flag')

valuetraverseTVKind

:: Applicative f
=> Kind -> f Kind
-> TyVarBndr_ flag
-> f (TyVarBndr_ flag)

valuetraverseTVName

:: Functor f
=> Name -> f Name
-> TyVarBndr_ flag
-> f (TyVarBndr_ flag)

valuetvFlag :: TyVarBndr_ flag -> flag

valuetvKind :: TyVarBndr_ flag -> Kind

valuetvName :: TyVarBndr_ flag -> Name

typetype TyVarBndrSpec = TyVarBndr Specificity

typetype TyVarBndrUnit = TyVarBndr ()

typetype TyVarBndrVis = TyVarBndr BndrVis

datadata BndrVis

Visibility of a type variable. See Inferred vs. specified type variables.

Constructors

BndrReq
```
a
```
BndrInvis
```
@a
```

Instances9Eq, Data, Ord, Show, Generic, PprFlag, …

Eq BndrVisDefined in ghc-internal-10.0.0 · GHC.Internal.TH.Syntax
Data BndrVisDefined in ghc-internal-10.0.0 · GHC.Internal.Data.Data
Ord BndrVisDefined in ghc-internal-10.0.0 · GHC.Internal.TH.Syntax
Show BndrVisDefined in ghc-internal-10.0.0 · GHC.Internal.TH.Syntax
Generic BndrVisDefined in ghc-internal-10.0.0 · GHC.Internal.TH.Syntax
PprFlag BndrVisDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
DefaultBndrFlag BndrVisDefined in template-haskell-2.25.0.0 · Language.Haskell.TH.Lib
Lift BndrVisDefined in ghc-internal-10.0.0 · GHC.Internal.TH.Lift
type Rep BndrVis = D1 ('MetaData "BndrVis" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "BndrReq" 'PrefixI 'False) U1 :+: C1 ('MetaCons "BndrInvis" 'PrefixI 'False) U1)Defined in ghc-internal-10.0.0 · GHC.Internal.TH.Syntax

datadata Specificity

The specificity of a type variable in a forall ....

Constructors

SpecifiedSpec
```
a
```
InferredSpec
```
{a}
```

Instances9Eq, Data, Ord, Show, Generic, PprFlag, …

Eq SpecificityDefined in ghc-internal-10.0.0 · GHC.Internal.TH.Syntax
Data SpecificityDefined in ghc-internal-10.0.0 · GHC.Internal.Data.Data
Ord SpecificityDefined in ghc-internal-10.0.0 · GHC.Internal.TH.Syntax
Show SpecificityDefined in ghc-internal-10.0.0 · GHC.Internal.TH.Syntax
Generic SpecificityDefined in ghc-internal-10.0.0 · GHC.Internal.TH.Syntax
PprFlag SpecificityDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
DefaultBndrFlag SpecificityDefined in template-haskell-2.25.0.0 · Language.Haskell.TH.Lib
Lift SpecificityDefined in ghc-internal-10.0.0 · GHC.Internal.TH.Lift
type Rep Specificity = D1 ('MetaData "Specificity" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "SpecifiedSpec" 'PrefixI 'False) U1 :+: C1 ('MetaCons "InferredSpec" 'PrefixI 'False) U1)Defined in ghc-internal-10.0.0 · GHC.Internal.TH.Syntax

classclass DefaultBndrFlag flag where

Methods

defaultBndrFlag :: flag

Instances3DefaultBndrFlag

DefaultBndrFlag BndrVisDefined in template-haskell-2.25.0.0 · Language.Haskell.TH.Lib
DefaultBndrFlag SpecificityDefined in template-haskell-2.25.0.0 · Language.Haskell.TH.Lib
DefaultBndrFlag ()Defined in template-haskell-2.25.0.0 · Language.Haskell.TH.Lib

typetype TyVarBndr_ flag = TyVarBndr flag