HaskellWorks.Polysemy.Hedgehog.Jot

Documentation

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

Annotate the given value.

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

Annotate the given value returning unit.

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

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

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

Annotate with the given string.

jot_ :: forall a r. Member Hedgehog r => HasCallStack => ToString a => a -> Sem r ()

Annotate the given string returning unit.

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

Annotate the given text returning unit.

jotM :: forall a r. ToString a => Member Hedgehog r => HasCallStack => Sem r a -> Sem r a

Annotate the given string in a monadic context.

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

Annotate the given string in a monadic context returning unit.

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

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

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

Annotate the given string in IO.

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

Annotate the given string in IO returning unit.

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

Annotate the given value in a monadic context.

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

Annotate the given value in a monadic context returning unit.

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

Annotate the given value in IO.

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

Annotate the given value in IO returning unit.

jotShowRead :: forall a r. HasCallStack => Member Hedgehog r => Read a => Show a => String -> Sem r a

Annotate the given value.

jotJson :: forall a r. Member Hedgehog r => HasCallStack => ToJSON a => a -> Sem r a

Annotate the given value as JSON.

jotJson_ :: forall a r. Member Hedgehog r => HasCallStack => ToJSON a => a -> Sem r ()

Annotate the given value as JSON.

jotJsonM :: forall a r. Member Hedgehog r => HasCallStack => ToJSON a => Sem r a -> Sem r a

Annotate the given value as JSON in a monadic context.

jotJsonM_ :: forall a r. Member Hedgehog r => HasCallStack => ToJSON a => Sem r a -> Sem r ()

Annotate the given value as JSON in a monadic context.

jotJsonPretty :: forall a r. Member Hedgehog r => HasCallStack => ToJSON a => a -> Sem r a

Annotate the given value as JSON.

jotJsonPretty_ :: forall a r. Member Hedgehog r => HasCallStack => ToJSON a => a -> Sem r ()

Annotate the given value as JSON.

jotJsonPrettyM :: forall a r. Member Hedgehog r => HasCallStack => ToJSON a => Sem r a -> Sem r a

Annotate the given value as JSON in a monadic context.

jotJsonPrettyM_ :: forall a r. Member Hedgehog r => HasCallStack => ToJSON a => Sem r a -> Sem r ()

Annotate the given value as JSON in a monadic context.

jotYaml :: forall a r. Member Hedgehog r => HasCallStack => ToJSON a => a -> Sem r a

Annotate the given value as JSON.

jotYaml_ :: forall a r. Member Hedgehog r => HasCallStack => ToJSON a => a -> Sem r ()

Annotate the given value as JSON.

jotYamlM :: forall a r. Member Hedgehog r => HasCallStack => ToJSON a => Sem r a -> Sem r a

Annotate the given value as JSON in a monadic context.

jotYamlM_ :: forall a r. Member Hedgehog r => HasCallStack => ToJSON a => Sem r a -> Sem r ()

Annotate the given value as JSON in a monadic context.

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

Annotate the each value in the given traversable.

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

Annotate the each value in the given traversable returning unit.

jotEachM :: forall a f r. 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_ :: forall a f r. 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 :: forall a f r. 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_ :: forall a f r. 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.

jotPkgGoldenFile :: forall r. HasCallStack => Member Hedgehog r => Member (Reader PackagePath) r => FilePath -> Sem r FilePath

Return the golden file path after annotating it relative to the package directory

jotPkgInputFile :: forall r. HasCallStack => Member Hedgehog r => Member (Reader PackagePath) r => FilePath -> Sem r FilePath

Return the input file path after annotating it relative to the package directory

jotRootInputFile :: forall r. HasCallStack => Member Hedgehog r => Member (Reader ProjectRoot) r => FilePath -> Sem r FilePath

jotTempFile :: forall r. HasCallStack => Member Hedgehog r => Member (Reader Workspace) r => FilePath -> Sem r FilePath

Return the test file path after annotating it relative to the project root directory

jotShowDataLog :: forall a r. HasCallStack => Show a => Member Hedgehog r => InterpreterFor (DataLog a) r

jotShowDataLogLocal :: forall a r. HasCallStack => Show a => Member Hedgehog r => (a -> a) -> InterpreterFor (DataLog a) r