napkin-0.5.12
Safe HaskellNone
LanguageHaskell2010

Napkin.Run.Effects.Interpreters.Assertion

Documentation

interceptAssertionLog :: forall r a. Members [Log, Assertion] r => Sem r a -> Sem r a #

logAssertionRequest :: forall m r b. Member Log r => Assertion m b -> Sem r () #

runAssertionError :: forall r a. Members [Log, Error NapkinEffectError] r => Sem (Assertion ': r) a -> Sem r a #