Home
last modified time | relevance | path

Searched refs:prop_unionVersionIntervals_associative (Results 1 – 4 of 4) sorted by relevance

/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/Cabal-3.4.0.0/tests/UnitTests/Distribution/
H A DVersion.hs98 , typProperty prop_unionVersionIntervals_associative
456 prop_unionVersionIntervals_associative :: VersionIntervals
459 prop_unionVersionIntervals_associative = function
/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/Cabal/tests/UnitTests/Distribution/
H A DVersion.hs98 , typProperty prop_unionVersionIntervals_associative
456 prop_unionVersionIntervals_associative :: VersionIntervals
459 prop_unionVersionIntervals_associative = function
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/Cabal-3.0.2.0/tests/UnitTests/Distribution/
H A DVersion.hs99 , typProperty prop_unionVersionIntervals_associative
549 prop_unionVersionIntervals_associative :: VersionIntervals
552 prop_unionVersionIntervals_associative = function
/dports/lang/ghc/ghc-8.10.7/libraries/Cabal/Cabal/tests/UnitTests/Distribution/
H A DVersion.hs100 , typProperty prop_unionVersionIntervals_associative
554 prop_unionVersionIntervals_associative :: VersionIntervals
557 prop_unionVersionIntervals_associative = function