Home
last modified time | relevance | path

Searched refs:runGetState (Results 1 – 22 of 22) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/data-binary-ieee754-0.4.4/tests/
H A DTests.hs15 import Data.Binary.Get (Get, runGetState)
188 (xBE, remainingBE, _) = runGetState getBE (B.pack bytes) 0
189 (xLE, remainingLE, _) = runGetState getLE (B.pack (reverse bytes)) 0
218 (x', remaining, _) = runGetState get bytes 0
230 (x', remaining, _) = runGetState get bytes 0
/dports/deskutils/hs-arbtt/arbtt-0.10.2/src/
H A DTimeLog.hs75 … let (startString, rest, off) = runGetState (getLazyByteString (BS.length magic)) content 0
91 let (v,rest,off') = runGetState (ls_get strs) input off
120 (startString, rest, off) = runGetState (getLazyByteString (BS.length magic)) input 0
122 let (v, rest, off') = runGetState (ls_get strs) input off
/dports/devel/hs-hasktags/hasktags-0.72.0/testcases/
H A Dtestcase1.hs66 runGetState m str off =
/dports/lang/ghc/ghc-8.10.7/libraries/binary/src/Data/Binary/
H A DGet.hs217 , runGetState -- DEPRECATED
306 runGetState :: Get a -> L.ByteString -> ByteOffset -> (a, L.ByteString, ByteOffset)
307 runGetState g lbs0 pos' = go (runGetIncremental g) lbs0 function
/dports/lang/elm/compiler-0.19.1/_cabal_deps/binary-0.8.8.0/src/Data/Binary/
H A DGet.hs217 , runGetState -- DEPRECATED
306 runGetState :: Get a -> L.ByteString -> ByteOffset -> (a, L.ByteString, ByteOffset)
307 runGetState g lbs0 pos' = go (runGetIncremental g) lbs0 function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DSerialise.hs186 ((r, nL, ltL, stL, bL, iL, dL), s, _) <- return $ runGetState B.get s 0
261 let (ver, s', _) = runGetState B.get (L.drop 16 s) 0 in
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/
H A DBase.hs222 runGetState :: B.Get a -> L.ByteString -> B.ByteOffset -> (a, L.ByteString, B.ByteOffset)
223 runGetState g s n = feed (B.runGetIncremental g) (L.toChunks s) function
/dports/devel/stack/stack-2.7.3/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/lang/elm/compiler-0.19.1/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/cereal-0.5.8.1/src/Data/Serialize/
H A DGet.hs31 , runGetState
305 runGetState :: Get a -> B.ByteString -> Int
307 runGetState m str off = case runGetState' m str off of function