Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Reifies s a | s -> a where Source #
Instances
(Carrier m, r ~ Derivs m, p ~ Prims m) => Reifies (CarrierReform m :: Type) (ReifiedReformulation r p m) Source # | |
Defined in Control.Effect.Carrier.Internal.Interpret reflect :: ReifiedReformulation r p m Source # |