Reflexive(\prec)
\quad\equiv\quad
\forall a: (a \prec a)
Modulegenvalidity-property-1.0.0.0Haskell2010
Test.Validity.Relations.Reflexivity
Synopsis
- value reflexiveOnElem
- value reflexivityOnGen
- value reflexivity
- value reflexivityOnArbitrary
- Packagegenvalidity-property-1.0.0.0
- Exports4
- LanguageHaskell2010
- LicenceMIT
- SourceReflexivity.hs
reflexivity ((<=) :: Int -> Int -> Bool)reflexivity ((==) :: Int -> Int -> Bool)reflexivity ((>=) :: Int -> Int -> Bool)reflexivity (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)reflexivity (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)reflexivity (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)reflexivityOnArbitrary ((<=) :: Int -> Int -> Bool)reflexivityOnArbitrary ((==) :: Int -> Int -> Bool)reflexivityOnArbitrary ((>=) :: Int -> Int -> Bool)reflexivityOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)reflexivityOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)reflexivityOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)