Home
last modified time | relevance | path

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

/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/tests/Tests/Reference/
H A DImplementation.hs36 reservedTag,
549 reservedTag :: Word64 -> Bool
550 reservedTag w = w <= 5 function
611 arbitraryTag = arbitrary `suchThat` (not . reservedTag . fromUInt)
633 , not (reservedTag (fromUInt w')) ]
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cborg-0.2.5.0/tests/Tests/Reference/
H A DImplementation.hs36 reservedTag,
549 reservedTag :: Word64 -> Bool
550 reservedTag w = w <= 5 function
611 arbitraryTag = arbitrary `suchThat` (not . reservedTag . fromUInt)
633 , not (reservedTag (fromUInt w')) ]
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cborg-0.2.5.0/tests/Tests/
H A DTerm.hs210 , not (Ref.reservedTag (fromIntegral w')) ]
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/tests/Tests/
H A DTerm.hs210 , not (Ref.reservedTag (fromIntegral w')) ]