Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x04404a62026-10-19Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 04404a6 · 2026-10-19

Modulepolysemy-1.9.2.0

Polysemy.Internal.TH.Common

Synopsis

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

Packagepolysemy-1.9.2.0
Exports12
LicenceBSD-3-Clause

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

Constructors

CLInfo
- cliEffName :: Name
- cliEffArgs :: [Type]
- cliEffRes :: Type
- cliConName :: Name
- cliFunName :: Name
- cliFunFixity :: Maybe Fixity
- cliFunArgs :: [(Name, Type)]
- cliFunCxt :: Cxt
- cliUnionName :: Name

Instances1Show

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