Home
last modified time | relevance | path

Searched defs:decodeListLen (Results 1 – 2 of 2) sorted by relevance

/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/src/Codec/CBOR/
H A DDecoding.hs663 decodeListLen = Decoder (\k -> return (ConsumeListLen (\n# -> k (I# n#)))) function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cborg-0.2.5.0/src/Codec/CBOR/
H A DDecoding.hs663 decodeListLen = Decoder (\k -> return (ConsumeListLen (\n# -> k (I# n#)))) function