Polysemy.Internal.TH.Common

Documentation

data ConLiftInfo

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

Constructors

CLInfo

Fields

• 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

Instances

Show ConLiftInfo

Defined in Polysemy.Internal.TH.Common

Methods

showsPrec :: Int -> ConLiftInfo -> ShowS

show :: ConLiftInfo -> String

showList :: [ConLiftInfo] -> ShowS

getEffectMetadata :: Name -> Q (Name, [ConLiftInfo])

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

makeMemberConstraint :: Name -> ConLiftInfo -> Pred

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

makeMemberConstraint' :: Name -> Type -> Pred

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

makeSemType :: Name -> Type -> Type

makeSemType r a will produce a Sem r a type.

makeInterpreterType :: 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.

makeEffectType :: ConLiftInfo -> Type

Given a ConLiftInfo, get the corresponding effect type.

makeUnambiguousSend :: 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 cliArgs of the ConLiftInfo.

checkExtensions :: [Extension] -> Q ()

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

foldArrowTs :: Type -> [Type] -> Type

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

splitArrowTs :: Type -> [Type]

pattern (:->) :: Type -> Type -> Type infixr 1

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