HaskellWorks.Polysemy.Hedgehog.Property

Documentation

data Property

A property test, along with some configurable limits like how many times to run the test.

propertyOnce :: Sem [Log, DataLog (LogEntry LogMessage), DataLog Text, GhcTime, Hedgehog, Embed IO, Embed (PropertyT IO), Final (PropertyT IO)] () -> Property