Effectful.Zoo.Hedgehog.Api.Journal

Documentation

jot :: forall r. r <: Hedgehog => HasCallStack => String -> Eff r String

Annotate with the given string.

jot_ :: forall r. r <: Hedgehog => HasCallStack => Text -> Eff r ()

Annotate the given string returning unit.

jotWithCallStack :: forall r. r <: Hedgehog => CallStack -> String -> Eff r ()

Annotate the given string at the context supplied by the callstack.

jotText_ :: forall r. r <: Hedgehog => HasCallStack => Text -> Eff r ()

Annotate the given text returning unit.

jotM :: forall a r. ToString a => r <: Hedgehog => HasCallStack => Eff r a -> Eff r a

Annotate the given string in a monadic context.

jotBsUtf8M :: forall r. r <: Hedgehog => HasCallStack => Eff r ByteString -> Eff r ByteString

jotLbsUtf8M :: forall r. r <: Hedgehog => HasCallStack => Eff r ByteString -> Eff r ByteString

jotM_ :: forall r. r <: Hedgehog => HasCallStack => Eff r String -> Eff r ()

Annotate the given string in a monadic context returning unit.

jotIO :: forall r. r <: Hedgehog => r <: IOE => HasCallStack => IO String -> Eff r String

Annotate the given string in IO.

jotIO_ :: forall r. r <: Hedgehog => r <: IOE => HasCallStack => IO String -> Eff r ()

Annotate the given string in IO returning unit.

jotShow :: forall a r. r <: Hedgehog => HasCallStack => Show a => a -> Eff r a

Annotate the given value.

jotShow_ :: forall a r. r <: Hedgehog => HasCallStack => Show a => a -> Eff r ()

Annotate the given value returning unit.

jotShowM :: forall a r. r <: Hedgehog => HasCallStack => Show a => Eff r a -> Eff r a

Annotate the given value in a monadic context.

jotShowM_ :: forall a r. r <: Hedgehog => HasCallStack => Show a => Eff r a -> Eff r ()

Annotate the given value in a monadic context returning unit.

jotShowIO :: forall a r. r <: Hedgehog => r <: IOE => HasCallStack => Show a => IO a -> Eff r a

Annotate the given value in IO.

jotShowIO_ :: forall a r. r <: Hedgehog => r <: IOE => HasCallStack => Show a => IO a -> Eff r ()

Annotate the given value in IO returning unit.

jotShowRead :: forall a r. HasCallStack => r <: Hedgehog => Read a => Show a => String -> Eff r a

Annotate the given value.

jotJson :: forall a r. r <: Hedgehog => HasCallStack => ToJSON a => a -> Eff r a

Annotate the given value as JSON.

jotJson_ :: forall a r. r <: Hedgehog => HasCallStack => ToJSON a => a -> Eff r ()

Annotate the given value as JSON.

jotJsonM :: forall a r. r <: Hedgehog => HasCallStack => ToJSON a => Eff r a -> Eff r a

Annotate the given value as JSON in a monadic context.

jotJsonM_ :: forall a r. r <: Hedgehog => HasCallStack => ToJSON a => Eff r a -> Eff r ()

Annotate the given value as JSON in a monadic context.

jotJsonPretty :: forall a r. r <: Hedgehog => HasCallStack => ToJSON a => a -> Eff r a

Annotate the given value as JSON.

jotJsonPretty_ :: forall a r. r <: Hedgehog => HasCallStack => ToJSON a => a -> Eff r ()

Annotate the given value as JSON.

jotJsonPrettyM :: forall a r. r <: Hedgehog => HasCallStack => ToJSON a => Eff r a -> Eff r a

Annotate the given value as JSON in a monadic context.

jotJsonPrettyM_ :: forall a r. r <: Hedgehog => HasCallStack => ToJSON a => Eff r a -> Eff r ()

Annotate the given value as JSON in a monadic context.

jotYaml :: forall a r. r <: Hedgehog => HasCallStack => ToJSON a => a -> Eff r a

Annotate the given value as JSON.

jotYaml_ :: forall a r. r <: Hedgehog => HasCallStack => ToJSON a => a -> Eff r ()

Annotate the given value as JSON.

jotYamlM :: forall a r. r <: Hedgehog => HasCallStack => ToJSON a => Eff r a -> Eff r a

Annotate the given value as JSON in a monadic context.

jotYamlM_ :: forall a r. r <: Hedgehog => HasCallStack => ToJSON a => Eff r a -> Eff r ()

Annotate the given value as JSON in a monadic context.

jotEach :: forall a f r. r <: Hedgehog => HasCallStack => Show a => Traversable f => f a -> Eff r (f a)

Annotate the each value in the given traversable.

jotEach_ :: forall a f r. r <: Hedgehog => HasCallStack => Show a => Traversable f => f a -> Eff r ()

Annotate the each value in the given traversable returning unit.

jotEachM :: forall a f r. r <: Hedgehog => HasCallStack => Show a => Traversable f => Eff r (f a) -> Eff r (f a)

Annotate the each value in the given traversable in a monadic context.

jotEachM_ :: forall a f r. r <: Hedgehog => HasCallStack => Show a => Traversable f => Eff r (f a) -> Eff r ()

Annotate the each value in the given traversable in a monadic context returning unit.

jotEachIO :: forall a f r. r <: Hedgehog => r <: IOE => HasCallStack => Show a => Traversable f => IO (f a) -> Eff r (f a)

Annotate the each value in the given traversable in IO.

jotEachIO_ :: forall a f r. r <: Hedgehog => r <: IOE => HasCallStack => Show a => Traversable f => IO (f a) -> Eff r ()

Annotate the each value in the given traversable in IO returning unit.

jotLogTextWithCallStack :: forall r. r <: Hedgehog => CallStack -> Severity -> Text -> Eff r ()

jotShowDataLog :: forall i a r. HasCallStack => Show i => r <: Hedgehog => Eff (DataLog i : r) a -> Eff r a

writeLog :: forall r. HasCallStack => r <: Hedgehog => Log -> Eff r ()