manyLength fail early if not enough bytes

Improve generation speed for large inputs.

Author: jamesdbrock

library/src/Protobuf/Internal/Runtime.purs

@@ -24,6 +24,7 @@ import Control.Monad.Trans.Class (lift)
 import Data.Array (snoc, foldRecM)
 import Data.Array as Array
 import Data.ArrayBuffer.Builder (DataBuff(..), PutM, subBuilder)
+import Data.ArrayBuffer.DataView (byteLength)
 import Data.ArrayBuffer.Types (DataView, ByteLength)
 import Data.Enum (class BoundedEnum, fromEnum, toEnum)
 import Data.Foldable (foldl)
@@ -39,7 +40,8 @@ import Data.UInt64 (UInt64)
 import Data.UInt64 as UInt64
 import Effect.Class (class MonadEffect)
 import Parsing (ParserT, Position(..), fail, position)
-import Parsing.DataView (takeN)
+import Parsing.Combinators (lookAhead)
+import Parsing.DataView (takeN, takeRest)
 import Protobuf.Internal.Common (Bytes(..), FieldNumber, WireType(..), label)
 import Protobuf.Internal.Decode as Decode
 import Protobuf.Internal.Encode as Encode
@@ -76,6 +78,7 @@ type FieldNumberInt
   = Int
 
 -- | Call a parser repeatedly until exactly *N* bytes have been consumed.
+-- | Will fail if not enough bytes remain in the DataView.
 -- | Will fail if too many bytes are consumed.
 manyLength ::
   forall m a.
@@ -86,18 +89,22 @@ manyLength ::
   ParserT DataView m (Array a)
 manyLength p len = do
   Position { index: posBegin } <- position
-  let
-    go :: List a -> ParserT DataView m (Step (List a) (List a))
-    go accum = do
-      Position { index: pos } <- position
-      case compare (pos - posBegin) len of
-        GT -> fail "manyLength consumed too many bytes."
-        EQ -> lift $ pure (Done accum)
-        LT -> do
-          x <- p
-          pure (Loop (x : accum))
-  -- https://github.com/purescript-contrib/purescript-parsing/pull/199#issuecomment-1145956271
-  Array.reverse <$> Array.fromFoldable <$> tailRecM go List.Nil
+  remaining_bytes :: Int <- byteLength <$> lookAhead takeRest
+  if remaining_bytes < len
+    then fail $ "manyLength " <> show len <> " not enough bytes of input " <> show remaining_bytes <> " remaining."
+    else do
+      let
+        go :: List a -> ParserT DataView m (Step (List a) (List a))
+        go accum = do
+          Position { index: pos } <- position
+          case compare (pos - posBegin) len of
+            GT -> fail "manyLength consumed too many bytes."
+            EQ -> lift $ pure (Done accum)
+            LT -> do
+              x <- p
+              pure (Loop (x : accum))
+      -- https://github.com/purescript-contrib/purescript-parsing/pull/199#issuecomment-1145956271
+      Array.reverse <$> Array.fromFoldable <$> tailRecM go List.Nil
 
 -- | A message field value from an unknown `.proto` definition.
 -- |