Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- jotShow :: Member Hedgehog r => HasCallStack => Show a => a -> Sem r a
- jotShow_ :: Member Hedgehog r => HasCallStack => Show a => a -> Sem r ()
- jotWithCallstack :: Member Hedgehog r => CallStack -> String -> Sem r ()
- jot :: Member Hedgehog r => HasCallStack => String -> Sem r String
- jot_ :: Member Hedgehog r => HasCallStack => ToString s => s -> Sem r ()
- jotText_ :: Member Hedgehog r => HasCallStack => Text -> Sem r ()
- jotM :: ToString s => Member Hedgehog r => HasCallStack => Sem r s -> Sem r s
- jotM_ :: Member Hedgehog r => HasCallStack => Sem r String -> Sem r ()
- 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
- jotIO_ :: Member Hedgehog r => HasCallStack => IO String -> Sem r ()
- jotShowM :: Member Hedgehog r => HasCallStack => Show a => Sem r a -> Sem r a
- jotShowM_ :: Member Hedgehog r => HasCallStack => Show a => Sem r a -> Sem r ()
- jotShowIO :: Member Hedgehog r => HasCallStack => Show a => IO a -> Sem r a
- jotShowIO_ :: Member Hedgehog r => HasCallStack => Show a => IO a -> Sem r ()
- jotEach :: Member Hedgehog r => HasCallStack => Show a => Traversable f => f a -> Sem r (f a)
- jotEach_ :: Member Hedgehog r => HasCallStack => Show a => Traversable f => f a -> Sem r ()
- jotEachM :: Member Hedgehog r => HasCallStack => Show a => Traversable f => Sem r (f a) -> Sem r (f a)
- jotEachM_ :: Member Hedgehog r => HasCallStack => Show a => Traversable f => Sem r (f a) -> Sem r ()
- jotEachIO :: Member Hedgehog r => HasCallStack => Show a => Traversable f => IO (f a) -> Sem r (f a)
- jotEachIO_ :: Member Hedgehog r => HasCallStack => Show a => Traversable f => IO (f a) -> Sem r ()
- jotPkgGoldenFile :: HasCallStack => Member Hedgehog r => Member (Reader PackagePath) r => FilePath -> Sem r FilePath
- jotPkgInputFile :: HasCallStack => Member Hedgehog r => Member (Reader PackagePath) r => FilePath -> Sem r FilePath
- jotRootInputFile :: HasCallStack => Member Hedgehog r => Member (Reader ProjectRoot) r => FilePath -> Sem r FilePath
- jotTempFile :: HasCallStack => Member Hedgehog r => Member (Reader Workspace) r => FilePath -> Sem r FilePath
Documentation
jotShow :: Member Hedgehog r => HasCallStack => Show a => a -> Sem r a Source #
Annotate the given value.
jotShow_ :: Member Hedgehog r => HasCallStack => Show a => a -> Sem r () Source #
Annotate the given value returning unit.
jotWithCallstack :: Member Hedgehog r => CallStack -> String -> Sem r () Source #
Annotate the given string at the context supplied by the callstack.
jot :: Member Hedgehog r => HasCallStack => String -> Sem r String Source #
Annotate with the given string.
jot_ :: Member Hedgehog r => HasCallStack => ToString s => s -> Sem r () Source #
Annotate the given string returning unit.
jotText_ :: Member Hedgehog r => HasCallStack => Text -> Sem r () Source #
Annotate the given text returning unit.
jotM :: ToString s => Member Hedgehog r => HasCallStack => Sem r s -> Sem r s Source #
Annotate the given string in a monadic context.
jotM_ :: Member Hedgehog r => HasCallStack => Sem r String -> Sem r () Source #
Annotate the given string in a monadic context returning unit.
jotBsUtf8M :: Member Hedgehog r => HasCallStack => Sem r ByteString -> Sem r ByteString Source #
jotLbsUtf8M :: Member Hedgehog r => HasCallStack => Sem r ByteString -> Sem r ByteString Source #
jotIO :: Member Hedgehog r => HasCallStack => IO String -> Sem r String Source #
Annotate the given string in IO.
jotIO_ :: Member Hedgehog r => HasCallStack => IO String -> Sem r () Source #
Annotate the given string in IO returning unit.
jotShowM :: Member Hedgehog r => HasCallStack => Show a => Sem r a -> Sem r a Source #
Annotate the given value in a monadic context.
jotShowM_ :: Member Hedgehog r => HasCallStack => Show a => Sem r a -> Sem r () Source #
Annotate the given value in a monadic context returning unit.
jotShowIO :: Member Hedgehog r => HasCallStack => Show a => IO a -> Sem r a Source #
Annotate the given value in IO.
jotShowIO_ :: Member Hedgehog r => HasCallStack => Show a => IO a -> Sem r () Source #
Annotate the given value in IO returning unit.
jotEach :: Member Hedgehog r => HasCallStack => Show a => Traversable f => f a -> Sem r (f a) Source #
Annotate the each value in the given traversable.
jotEach_ :: Member Hedgehog r => HasCallStack => Show a => Traversable f => f a -> Sem r () Source #
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) Source #
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 () Source #
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) Source #
Annotate the each value in the given traversable in IO.
jotEachIO_ :: Member Hedgehog r => HasCallStack => Show a => Traversable f => IO (f a) -> Sem r () Source #
Annotate the each value in the given traversable in IO returning unit.
jotPkgGoldenFile :: HasCallStack => Member Hedgehog r => Member (Reader PackagePath) r => FilePath -> Sem r FilePath Source #
Return the golden file path after annotating it relative to the package directory
jotPkgInputFile :: HasCallStack => Member Hedgehog r => Member (Reader PackagePath) r => FilePath -> Sem r FilePath Source #
Return the input file path after annotating it relative to the package directory
jotRootInputFile :: HasCallStack => Member Hedgehog r => Member (Reader ProjectRoot) r => FilePath -> Sem r FilePath Source #