Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- propertyOnce :: Sem [Log, DataLog (LogEntry LogMessage), DataLog Text, GhcTime, Hedgehog, Embed IO, Embed (PropertyT IO), Final (PropertyT IO)] () -> Property
- data Hedgehog m rv
- hedgehogToIntegrationFinal :: Member (Final (PropertyT IO)) r => Sem (Hedgehog ': r) a -> Sem r a
- interpretDataLogHedgehog :: Member Hedgehog r => (a -> Text) -> (a -> CallStack) -> InterpreterFor (DataLog a) r
- leftFail :: forall e r a. Member Hedgehog r => Show e => HasCallStack => Either e a -> Sem r a
- leftFailM :: forall e r a. Member Hedgehog r => Show e => HasCallStack => Sem r (Either e a) -> Sem r a
- catchFail :: forall e r a. Member Hedgehog r => HasCallStack => Show e => Sem (Error e ': r) a -> Sem r a
- failure :: Member Hedgehog r => HasCallStack => Sem r a
- failMessage :: Member Hedgehog r => HasCallStack => CallStack -> String -> Sem r a
- (===) :: Member Hedgehog r => Eq a => Show a => HasCallStack => a -> a -> Sem r ()
- eval :: forall r a. (Member Hedgehog r, HasCallStack) => a -> Sem r a
- evalIO :: forall r a. (Member Hedgehog r, HasCallStack) => IO a -> Sem r a
- evalM :: forall r a. (Member Hedgehog r, HasCallStack) => Sem r a -> Sem r a
- evalIO_ :: Member Hedgehog r => HasCallStack => IO a -> Sem r ()
- evalM_ :: Member Hedgehog r => HasCallStack => Sem r a -> Sem r ()
- 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 => String -> 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 ()
- data Property
Documentation
propertyOnce :: Sem [Log, DataLog (LogEntry LogMessage), DataLog Text, GhcTime, Hedgehog, Embed IO, Embed (PropertyT IO), Final (PropertyT IO)] () -> Property Source #
hedgehogToIntegrationFinal :: Member (Final (PropertyT IO)) r => Sem (Hedgehog ': r) a -> Sem r a Source #
interpretDataLogHedgehog :: Member Hedgehog r => (a -> Text) -> (a -> CallStack) -> InterpreterFor (DataLog a) r Source #
leftFail :: forall e r a. Member Hedgehog r => Show e => HasCallStack => Either e a -> Sem r a Source #
Fail when the result is Left.
leftFailM :: forall e r a. Member Hedgehog r => Show e => HasCallStack => Sem r (Either e a) -> Sem r a Source #
catchFail :: forall e r a. Member Hedgehog r => HasCallStack => Show e => Sem (Error e ': r) a -> Sem r a Source #
failMessage :: Member Hedgehog r => HasCallStack => CallStack -> String -> Sem r a Source #
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 => String -> 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.