HaskellWorks.Polysemy.Hedgehog.Test
data Property #
A property test, along with some configurable limits like how many times to run the test.
test :: Sem [Log, DataLog (LogEntry LogMessage), DataLog Text, GhcTime, Hedgehog, Embed IO, Embed (TestT IO), Resource, Final (TestT IO)] () -> Property Source #