Modulepolysemy-1.9.2.0Haskell2010

Polysemy.Internal.TH.Common

1 type
10 values

Packagepolysemy-1.9.2.0
Exports12
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCommon.hs

datadata ConLiftInfo

Info about constructor being lifted; use makeCLInfo to create one.

Constructors

CLInfo
- cliEffName :: Name
  Name of effect's type constructor
- cliEffArgs :: [Type]
  Effect-specific type arguments
- cliEffRes :: Type
  Result type specific to action
- cliConName :: Name
  Name of action constructor
- cliFunName :: Name
  Name of final function
- cliFunFixity :: Maybe Fixity
  Fixity of function used as an operator
- cliFunArgs :: [(Name, Type)]
  Final function arguments
- cliFunCxt :: Cxt
  Constraints of final function
- cliUnionName :: Name
  Name of type variable parameterizing Sem

Instances1Show

Show ConLiftInfoDefined in polysemy-1.9.2.0 · Polysemy.Internal.TH.Common

valuegetEffectMetadata :: Name -> Q [ConLiftInfo]

Given an name of datatype or some of it's constructors/fields, return datatype's name together with info about it's constructors.

valuemakeMemberConstraint :: Name -> ConLiftInfo -> Pred

Turn a ConLiftInfo for Foo into a Member Foo r constraint.

valuemakeMemberConstraint' :: Name -> Type -> Pred

makeMemberConstraint' r type will produce a Member type r constraint.

valuemakeSemType :: Name -> Type -> Type

makeSemType r a will produce a Sem r a type.

valuemakeInterpreterType :: ConLiftInfo -> Name -> Type -> Type

makeInterpreterType con r a will produce a Sem (Effect ': r) a -> Sem r a type, where Effect is the effect corresponding to the ConLiftInfo for con.

valuemakeEffectType :: ConLiftInfo -> Type

Given a ConLiftInfo, get the corresponding effect type.

valuemakeUnambiguousSend :: Bool -> ConLiftInfo -> Exp

Given a ConLiftInfo, this will produce an action for it. It's arguments will come from any variables in scope that correspond to the cliEffArgs of the ConLiftInfo.

valuecheckExtensions :: [Extension] -> Q ()

Fail the Q monad whenever the given Extensions aren't enabled in the current module.

valuefoldArrowTs :: Type -> [Type] -> Type

Folds a list of Types into a right-associative arrow Type.

valuesplitArrowTs :: Type -> [Type]

patternpattern (:->) :: Type -> Type -> Type

Pattern constructing function type and matching on one that may contain type annotations on arrow itself.