Home
last modified time | relevance | path

Searched refs:prop_decodeCanonical_Integer (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.hs110 prop_decodeCanonical_Integer :: TokInteger -> Property
111 prop_decodeCanonical_Integer = prop_decodeCanonical decodeIntegerCanonical function
182 , testProperty "Integer" prop_decodeCanonical_Integer
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/tests/Tests/
H A DCanonical.hs110 prop_decodeCanonical_Integer :: TokInteger -> Property
111 prop_decodeCanonical_Integer = prop_decodeCanonical decodeIntegerCanonical function
182 , testProperty "Integer" prop_decodeCanonical_Integer