Home
last modified time | relevance | path

Searched refs:prop_Int64host (Results 1 – 2 of 2) sorted by relevance

/dports/lang/ghc/ghc-8.10.7/libraries/binary/tests/
H A DQC.hs132 prop_Int64host :: Int64 -> Property
133 prop_Int64host = roundTripWith putInt64host getInt64host function
604 , testProperty "Int64host" (p prop_Int64host)
/dports/lang/elm/compiler-0.19.1/_cabal_deps/binary-0.8.8.0/tests/
H A DQC.hs132 prop_Int64host :: Int64 -> Property
133 prop_Int64host = roundTripWith putInt64host getInt64host function
604 , testProperty "Int64host" (p prop_Int64host)