Modulepolysemy-1.9.2.0Haskell2010

Polysemy.Internal.TH.Common

Synopsis

data ConLiftInfo
value getEffectMetadata
value makeMemberConstraint
value makeMemberConstraint'
value makeSemType
value makeInterpreterType
value makeEffectType
value makeUnambiguousSend
value checkExtensions
value foldArrowTs
value splitArrowTs
pattern :->

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

datadata ConLiftInfo

Source#

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]

Source#

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

Source#

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

valuemakeMemberConstraint' :: Name -> Type -> Pred

Source#

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

valuemakeSemType :: Name -> Type -> Type

Source#

makeSemType r a will produce a Sem r a type.

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

Source#

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

Source#

Given a ConLiftInfo, get the corresponding effect type.

valuemakeUnambiguousSend :: Bool -> ConLiftInfo -> Exp

Source#

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 ()

Source#

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

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

Source#

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

valuesplitArrowTs :: Type -> [Type]

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

Source#

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