Moduleth-abstraction-0.7.2.0

Language.Haskell.TH.Datatype.TyVarBndr

Synopsis

value bndrInvis
value bndrReq
value inferredSpec
value specifiedSpec
value kindedTV
value plainTV
value changeTVFlags
value elimTV
value elimTVFlag
value kindedTVFlag
value kindedTVInferred
value kindedTVInvis
value kindedTVReq
value kindedTVSpecified
value mapMTV
value mapMTVFlag
value mapMTVKind
value mapMTVName
value mapTV
value mapTVFlag
value mapTVKind
value mapTVName
value plainTVFlag
value plainTVInferred
value plainTVInvis
value plainTVReq
value plainTVSpecified
value traverseTV
value traverseTVFlag
value traverseTVKind
value traverseTVName
value tvFlag
value tvKind
value tvName
type TyVarBndrSpec
type TyVarBndrUnit
type TyVarBndrVis
data BndrVis
data Specificity
class DefaultBndrFlag
type TyVarBndr_

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

Source#

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

Source#

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