Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
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)) #