Home
last modified time | relevance | path

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

/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cborg-0.2.5.0/tests/Tests/
H A DCanonical.hs86 prop_decodeCanonical_Word32 :: TokWord32 -> Property
87 prop_decodeCanonical_Word32 = prop_decodeCanonical decodeWord32Canonical function
175 , testProperty "Word32" prop_decodeCanonical_Word32
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/tests/Tests/
H A DCanonical.hs86 prop_decodeCanonical_Word32 :: TokWord32 -> Property
87 prop_decodeCanonical_Word32 = prop_decodeCanonical decodeWord32Canonical function
175 , testProperty "Word32" prop_decodeCanonical_Word32