HaskellWorks.Polysemy.Hedgehog.Jot

Documentation

jotShow :: Member Hedgehog r => HasCallStack => Show a => a -> Sem r a

Annotate the given value.

jotShow_ :: Member Hedgehog r => HasCallStack => Show a => a -> Sem r ()

Annotate the given value returning unit.

jotWithCallstack :: Member Hedgehog r => CallStack -> String -> Sem r ()

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

jot :: Member Hedgehog r => HasCallStack => String -> Sem r String

Annotate with the given string.

jot_ :: Member Hedgehog r => HasCallStack => String -> Sem r ()

Annotate the given string returning unit.

jotText_ :: Member Hedgehog r => HasCallStack => Text -> Sem r ()

Annotate the given text returning unit.

jotM :: ToString s => Member Hedgehog r => HasCallStack => Sem r s -> Sem r s

Annotate the given string in a monadic context.

jotM_ :: Member Hedgehog r => HasCallStack => Sem r String -> Sem r ()

Annotate the given string in a monadic context returning unit.

jotBsUtf8M :: Member Hedgehog r => HasCallStack => Sem r ByteString -> Sem r ByteString

jotLbsUtf8M :: Member Hedgehog r => HasCallStack => Sem r ByteString -> Sem r ByteString

jotIO :: Member Hedgehog r => HasCallStack => IO String -> Sem r String

Annotate the given string in IO.

jotIO_ :: Member Hedgehog r => HasCallStack => IO String -> Sem r ()

Annotate the given string in IO returning unit.

jotShowM :: Member Hedgehog r => HasCallStack => Show a => Sem r a -> Sem r a

Annotate the given value in a monadic context.

jotShowM_ :: Member Hedgehog r => HasCallStack => Show a => Sem r a -> Sem r ()

Annotate the given value in a monadic context returning unit.

jotShowIO :: Member Hedgehog r => HasCallStack => Show a => IO a -> Sem r a

Annotate the given value in IO.

jotShowIO_ :: Member Hedgehog r => HasCallStack => Show a => IO a -> Sem r ()

Annotate the given value in IO returning unit.

jotEach :: Member Hedgehog r => HasCallStack => Show a => Traversable f => f a -> Sem r (f a)

Annotate the each value in the given traversable.

jotEach_ :: Member Hedgehog r => HasCallStack => Show a => Traversable f => f a -> Sem r ()

Annotate the each value in the given traversable returning unit.

jotEachM :: Member Hedgehog r => HasCallStack => Show a => Traversable f => Sem r (f a) -> Sem r (f a)

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

jotEachM_ :: Member Hedgehog r => HasCallStack => Show a => Traversable f => Sem r (f a) -> Sem r ()

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

jotEachIO :: Member Hedgehog r => HasCallStack => Show a => Traversable f => IO (f a) -> Sem r (f a)

Annotate the each value in the given traversable in IO.

jotEachIO_ :: Member Hedgehog r => HasCallStack => Show a => Traversable f => IO (f a) -> Sem r ()

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