HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulebytesmith-0.3.11.1Haskell2010

Data.Bytes.Parser.Unsafe

Everything in this module is unsafe and can lead to nondeterministic output or segfaults if used incorrectly.

  • 1 type
  • 6 values

Types

1 declaration
newtypenewtype Parser a b (c :: TYPE r) where
#

A non-resumable parser.

Constructors

Instances4Monad, Functor, Applicative, Alternative
  • Monad (Parser e s)Defined in bytesmith-0.3.11.1 · Data.Bytes.Parser.Internal
  • Functor (Parser e s)Defined in bytesmith-0.3.11.1 · Data.Bytes.Parser.Internal
  • Applicative (Parser e s)Defined in bytesmith-0.3.11.1 · Data.Bytes.Parser.Internal
  • Monoid e => Alternative (Parser e s)Defined in bytesmith-0.3.11.1 · Data.Bytes.Parser.Internal

    Combines the error messages using <> when both parsers fail.

Functions

6 declarations
valuecursor :: Parser e s Int
#

Get the current offset into the chunk. Using this makes it possible to observe the internal difference between Bytes that refer to equivalent slices. Be careful.

valueexpose :: Parser e s ByteArray
#

Return the byte array being parsed. This includes bytes that preceed the current offset and may include bytes that go beyond the length. This is somewhat dangerous, so only use this is you know what you're doing.

valueunconsume :: Int -> Parser e s ()
#

Move the cursor back by n bytes. Precondition: you must have previously consumed at least n bytes.

valuejump :: Int -> Parser e s ()
#

Set the position to the given index. Precondition: the index must be valid. It should be the result of an earlier call to cursor.