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

Control.Effect.Debug

Description

Utilities for debugging

Synopsis

Documentation

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

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 Source #

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.