Control.Effect.Debug

Utilities for debugging

Documentation

type family DebugEffects (m :: * -> *) :: k where ...

Equations

DebugEffects m = TypeError ((((Text "Control.Effect.Debug.debugEffects" :$$: (Text "Derivs: " :<>: ShowType (Derivs m))) :$$: (Text "Prims: " :<>: ShowType (Prims m))) :$$: Text "Carrier is:") :$$: (Text "\t" :<>: ShowType m))

debugEffects :: DebugEffects m => m a

A placeholder action of m that causes a compile-time error that tells you the derived and primitive effects of m.

Doesn't work when m is polymorphic.