From bf08660f1e1c292d7ae716d2351887371b8e3a9b Mon Sep 17 00:00:00 2001
From: winterland1989 <winterland1989@gmail.com>
Date: Wed, 21 Sep 2016 22:45:42 +0800
Subject: [PATCH 1/2] add runGetIncremental'

---
 src/Data/Binary/Get.hs          | 6 +++++-
 src/Data/Binary/Get/Internal.hs | 9 +++++++--
 2 files changed, 12 insertions(+), 3 deletions(-)

diff --git a/src/Data/Binary/Get.hs b/src/Data/Binary/Get.hs
index 62207594..a151d524 100644
--- a/src/Data/Binary/Get.hs
+++ b/src/Data/Binary/Get.hs
@@ -145,6 +145,7 @@ module Data.Binary.Get (
     -- $incrementalinterface
     , Decoder(..)
     , runGetIncremental
+    , runGetIncremental'
 
     -- ** Providing input
     , pushChunk
@@ -228,7 +229,7 @@ import qualified Data.ByteString.Unsafe as B
 import qualified Data.ByteString.Lazy as L
 import qualified Data.ByteString.Lazy.Internal as L
 
-import Data.Binary.Get.Internal hiding ( Decoder(..), runGetIncremental )
+import Data.Binary.Get.Internal hiding ( Decoder(..), runGetIncremental, runGetIncremental')
 import qualified Data.Binary.Get.Internal as I
 
 #if defined(__GLASGOW_HASKELL__) && !defined(__HADDOCK__)
@@ -284,6 +285,9 @@ data Decoder a = Fail !B.ByteString {-# UNPACK #-} !ByteOffset String
 runGetIncremental :: Get a -> Decoder a
 runGetIncremental = calculateOffset . I.runGetIncremental
 
+runGetIncremental' :: Get a -> B.ByteString -> Decoder a
+runGetIncremental' g = calculateOffset . I.runGetIncremental' g
+
 calculateOffset :: I.Decoder a -> Decoder a
 calculateOffset r0 = go r0 0
   where
diff --git a/src/Data/Binary/Get/Internal.hs b/src/Data/Binary/Get/Internal.hs
index c2ebcffa..ec0d21fd 100644
--- a/src/Data/Binary/Get/Internal.hs
+++ b/src/Data/Binary/Get/Internal.hs
@@ -11,6 +11,7 @@ module Data.Binary.Get.Internal (
     , runCont
     , Decoder(..)
     , runGetIncremental
+    , runGetIncremental'
 
     , readN
     , readNWith
@@ -145,8 +146,12 @@ instance (Show a) => Show (Decoder a) where
 -- | Run a 'Get' monad. See 'Decoder' for what to do next, like providing
 -- input, handling decoding errors and to get the output value.
 runGetIncremental :: Get a -> Decoder a
-runGetIncremental g = noMeansNo $
-  runCont g B.empty (\i a -> Done i a)
+runGetIncremental g = noMeansNo $ runCont g B.empty Done
+
+-- | Run a 'Get' monad. See 'Decoder' for what to do next, like providing
+-- input, handling decoding errors and to get the output value.
+runGetIncremental' :: Get a -> B.ByteString -> Decoder a
+runGetIncremental' g bs = noMeansNo $ runCont g bs Done
 
 -- | Make sure we don't have to pass Nothing to a Partial twice.
 -- This way we don't need to pass around an EOF value in the Get monad, it

From d9d69e246830c7d24b9c1cbb309e3851f04a5cf4 Mon Sep 17 00:00:00 2001
From: winterland1989 <winterland1989@gmail.com>
Date: Wed, 21 Sep 2016 22:49:34 +0800
Subject: [PATCH 2/2] add doc

---
 src/Data/Binary/Get.hs          | 2 ++
 src/Data/Binary/Get/Internal.hs | 4 ++--
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/Data/Binary/Get.hs b/src/Data/Binary/Get.hs
index a151d524..f62dc618 100644
--- a/src/Data/Binary/Get.hs
+++ b/src/Data/Binary/Get.hs
@@ -285,6 +285,8 @@ data Decoder a = Fail !B.ByteString {-# UNPACK #-} !ByteOffset String
 runGetIncremental :: Get a -> Decoder a
 runGetIncremental = calculateOffset . I.runGetIncremental
 
+-- | Similar to 'runGetIncremental', but accept an initial chunk, it's faster
+-- than feeding initial chunk after 'runGetIncremental'.
 runGetIncremental' :: Get a -> B.ByteString -> Decoder a
 runGetIncremental' g = calculateOffset . I.runGetIncremental' g
 
diff --git a/src/Data/Binary/Get/Internal.hs b/src/Data/Binary/Get/Internal.hs
index ec0d21fd..4391fe9a 100644
--- a/src/Data/Binary/Get/Internal.hs
+++ b/src/Data/Binary/Get/Internal.hs
@@ -148,8 +148,8 @@ instance (Show a) => Show (Decoder a) where
 runGetIncremental :: Get a -> Decoder a
 runGetIncremental g = noMeansNo $ runCont g B.empty Done
 
--- | Run a 'Get' monad. See 'Decoder' for what to do next, like providing
--- input, handling decoding errors and to get the output value.
+-- | Similar to 'runGetIncremental', but accept an initial chunk, it's faster
+-- than feeding initial chunk after 'runGetIncremental'.
 runGetIncremental' :: Get a -> B.ByteString -> Decoder a
 runGetIncremental' g bs = noMeansNo $ runCont g bs Done