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.