Control.Effect.Internal.Reflection

Documentation

class Reifies s a | s -> a where

Methods

reflect :: a

Instances

(Carrier m, r ~ Derivs m, p ~ Prims m) => Reifies (CarrierReform m :: Type) (ReifiedReformulation r p m)

Defined in Control.Effect.Carrier.Internal.Interpret

Methods

reflect :: ReifiedReformulation r p m

newtype Tagged s a

Constructors

Tagged

Fields

• getTagged :: a

unproxy :: (Proxy s -> a) -> Tagged s a

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

reifyTagged :: forall a r. a -> (forall (s :: Type). Reifies s a => Tagged s r) -> r