Home
last modified time | relevance | path

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

/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cborg-0.2.5.0/src/Codec/CBOR/
H A DWrite.hs388 P.primBounded bytesLenMP (fromIntegral $ S.length bs) <> B.byteString bs
390 bytesLenMP :: P.BoundedPrim Word
391 bytesLenMP = function
399 P.primBounded bytesLenMP n <> BAS.toBuilder ba
674 in P.primBounded bytesLenMP sizeW <> P.primBounded bounded bigNat
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/src/Codec/CBOR/
H A DWrite.hs388 P.primBounded bytesLenMP (fromIntegral $ S.length bs) <> B.byteString bs
390 bytesLenMP :: P.BoundedPrim Word
391 bytesLenMP = function
399 P.primBounded bytesLenMP n <> BAS.toBuilder ba
674 in P.primBounded bytesLenMP sizeW <> P.primBounded bounded bigNat