Protobuf.Library

parseExceptT :: forall a m s. Monad m => ExceptT String m a -> ParserT s m a

Lift an ExceptT String m computation into a ParserT.

Consumes no parsing input, does not change the parser state at all. If the ExceptT computation is Left, then this will fail in the ParserT monad.

parseEither :: forall a m s. Monad m => Either String a -> ParserT s m a

Lift an Either String computation into a ParserT.

Consumes no parsing input, does not change the parser state at all. If the Either computation is Left, then this will fail in the ParserT monad.

parseMaybe :: forall a m s. Monad m => String -> Maybe a -> ParserT s m a

Lift a Maybe computation into a ParserT, with a note for the ParseError message in case of Nothing.

Consumes no parsing input, does not change the parser state at all. If the Maybe computation is Nothing, then this will fail in the ParserT monad.

newtype Bytes

Representation of a bytes Scalar Value Type field.

Constructors

• Bytes ArrayBuffer

Instances

• Show Bytes
• Eq Bytes
• Newtype Bytes _

data UnknownField

Constructors

• UnknownVarInt FieldNumber Long
• UnknownBits64 FieldNumber Long
• UnknownLenDel FieldNumber Bytes
• UnknownBits32 FieldNumber UInt

Instances

• Eq UnknownField
• Generic UnknownField _
• Show UnknownField

manyLength :: forall a m. MonadEffect m => MonadRec m => ParserT DataView m a -> ByteLength -> ParserT DataView m (Array a)

Call a parser repeatedly until exactly N bytes have been consumed. Will fail if too many bytes are consumed.

label :: forall a s m. Monad m => String -> ParserT s m a -> ParserT s m a

If parsing fails inside this labelled context, then prepend the String to the error String in the ParseError. Use this to establish context for parsing failure error messages.