Safe Haskell	None
Language	Haskell2010

Control.Effect.Internal.Reflection

Documentation

class Reifies s a | s -> a where Source #

Methods

Instances details

(Carrier m, r ~ Derivs m, p ~ Prims m) => Reifies (CarrierReform m :: Type) (ReifiedReformulation r p m) Source #
Instance details Defined in Control.Effect.Carrier.Internal.Interpret Methods reflect :: ReifiedReformulation r p m Source #

newtype Tagged s a Source #

Constructors

Tagged
Fields getTagged :: a

reify :: forall a r. a -> (forall (s :: *) pr. (pr ~ Proxy, Reifies s a) => pr s -> r) -> r Source #

reifyTagged :: forall a r. a -> (forall (s :: *). Reifies s a => Tagged s r) -> r Source #