Property -package:QuickCheck

data Property
tasty-quickcheck Test.Tasty.QuickCheck
The type of properties.
Property :: Expression -> DocTest
doctest Test.DocTest.Internal.Parse, doctest-parallel Test.DocTest.Internal.Parse, doctest-lib Test.DocTest.Parse
data Property
hedgehog Hedgehog Hedgehog.Internal.Property
A property test, along with some configurable limits like how many times to run the test.
module Hedgehog.Internal.Property
hedgehog
Property :: PropertyConfig -> PropertyT IO () -> Property
hedgehog Hedgehog.Internal.Property
data Property m
smallcheck Test.SmallCheck
The type of properties over the monad m.
data Property (m :: Type -> Type)
tasty-smallcheck Test.Tasty.SmallCheck
The type of properties over the monad m
data Property
haskell-gi Data.GI.CodeGen.API Data.GI.GIR.Property, dbus DBus.Client DBus.Introspection.Types, foundation Foundation.Check
Property :: Text -> Type -> [PropertyFlag] -> Maybe Bool -> Maybe Bool -> Maybe Text -> Maybe Text -> Transfer -> Documentation -> Maybe DeprecationInfo -> Property
haskell-gi Data.GI.CodeGen.API Data.GI.GIR.Property
module Data.GI.GIR.Property
haskell-gi
class Property p v | p -> v
text-icu Data.Text.ICU.Char
Property :: MemberName -> Type -> Maybe (IO Variant) -> Maybe (Variant -> IO ()) -> Property
dbus DBus.Client
Property :: String -> Type -> Bool -> Bool -> Property
dbus DBus.Introspection.Types
data Property
inspection-testing Test.Inspection
Properties of the obligation target to be checked.
module Test.DocTest.Internal.Property
doctest-parallel
module Test.Syd.Validity.GenValidity.Property
genvalidity-sydtest
Tests for GenValidity instances
module Test.Syd.Validity.Property
genvalidity-sydtest
module Test.Syd.Validity.Shrinking.Property
genvalidity-sydtest
Tests for shrinking functions
data Property (dom :: Domain)
clash-prelude Clash.Explicit.Verification Clash.Verification
A property is a temporal or basic assertion that's specified to either used as an _assert_ or _cover_ statement. See assert and cover.
newtype Property (dom :: Domain)
clash-prelude Clash.Verification.Internal
A property is a temporal or basic assertion that's specified to either used as an _assert_ or _cover_ statement. See assert and cover.
Property :: Property' (Maybe Text, Signal dom Bool) -> Property (dom :: Domain)
clash-prelude Clash.Verification.Internal
module Clay.Property
clay
Property :: [Modifier] -> Key () -> Value -> Rule
clay Clay.Stylesheet
Property :: IsProperty prop => String -> prop -> Test
foundation Foundation.Check
newtype Property
sbv Documentation.SBV.Examples.Transformers.SymbolicEval
A property describes a quality of a Program. It is a Term yields a boolean value.