in-other-words-0.1.1.0: A higher-order effect system where the sky's the limit
Safe HaskellNone
LanguageHaskell2010

Control.Effect.Internal.Reflection

Documentation

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

Methods

reflect :: a Source #

Instances

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

newtype Tagged s a Source #

Constructors

Tagged 

Fields

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

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 #