Effectful.Zoo.Hedgehog.Api.Assert

Documentation

assert :: forall r. HasCallStack => r <: Hedgehog => Bool -> Eff r ()

(===) :: forall a r. HasCallStack => Eq a => Show a => r <: Hedgehog => a -> a -> Eff r () infix 4

(/==) :: forall a r. HasCallStack => Eq a => Show a => r <: Hedgehog => a -> a -> Eff r () infix 4

onNothingFail :: forall a r. HasCallStack => r <: Hedgehog => Maybe a -> Eff r a

onNothingFailM :: forall a r. HasCallStack => r <: Hedgehog => Eff r (Maybe a) -> Eff r a

onLeftFail :: forall e a r. HasCallStack => Show e => r <: Hedgehog => Either e a -> Eff r a

onLeftFailM :: forall e a r. HasCallStack => Show e => r <: Hedgehog => Eff r (Either e a) -> Eff r a