in-other-words-0.1.0.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.