HaskellWorks.Polysemy.Hedgehog.Test

Documentation

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