Documentation

interceptAssertionLog :: forall (r :: EffectRow) a. Members '[Log :: (Type -> Type) -> Type -> Type, Assertion :: (Type -> Type) -> Type -> Type] r => Sem r a -> Sem r a #

logAssertionRequest :: forall {k} (m :: k) (r :: EffectRow) b. Member (Log :: (Type -> Type) -> Type -> Type) r => Assertion m b -> Sem r () #

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

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

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

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