Modulepolysemy-1.9.2.0

Polysemy.Internal.TH.Common

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

valuecheckExtensions :: [Extension] -> Q ()

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

valuegetEffectMetadata :: Name -> Q [ConLiftInfo]

valuemakeEffectType :: ConLiftInfo -> Type

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

valuemakeMemberConstraint :: Name -> ConLiftInfo -> Pred

valuemakeMemberConstraint' :: Name -> Type -> Pred

valuemakeSemType :: Name -> Type -> Type

valuemakeUnambiguousSend :: Bool -> ConLiftInfo -> Exp

valuesplitArrowTs :: Type -> [Type]

datadata ConLiftInfo

Instances1Show