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 () #

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

assertionToOutput :: Member (Output AssertionEntry) r => Sem (Assertion ': r) a -> Sem r a #

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

runAssertionDiscard :: Sem (Assertion ': r) a -> Sem r a #

runAssertionCollectEither :: forall r a. Sem (Assertion ': r) a -> Sem r (Either (NonEmpty AssertionEntry) ([AssertionEntry], a)) #