Bytezap.Parser.Struct

Struct parser.

We do still have to do failure checking, because unlike C we check some types (e.g. bitfields). Hopefully inlining can remove those checks when unnecessary.

Documentation

type PureMode = Proxy# Void

type IOMode = State# RealWorld

type STMode s = State# s

type ParserT# (st :: ZeroBitType) e a

Arguments

 = ForeignPtrContents

pointer provenance

-> Addr#

base address

-> Int#

cursor offset from base

-> st

state token

-> Res# st e a

newtype ParserT (st :: ZeroBitType) e a

Like flatparse, but no buffer length (= no buffer overflow checking), and no Addr# on success (= no dynamic length parses).

we take a ForeignPtrContents because it lets us create bytestrings without copying if we want. it's useful

Constructors

ParserT

Fields

• runParserT# :: ParserT# st e a

Instances

Functor (ParserT st e)

Defined in Bytezap.Parser.Struct

Methods

fmap :: (a -> b) -> ParserT st e a -> ParserT st e b

(<$) :: a -> ParserT st e b -> ParserT st e a

type Parser = ParserT PureMode

The type of pure parsers.

type ParserIO = ParserT IOMode

The type of parsers which can embed IO actions.

type ParserST s = ParserT (STMode s)

The type of parsers which can embed ST actions.

type Res# (st :: ZeroBitType) e a = (# st, ResI# e a #)

Primitive parser result wrapped with a state token.

You should rarely need to manipulate values of this type directly. Use the provided bidirectional pattern synonyms OK#, Fail# and Err#.

type ResI# e a = (# (# a #) | (# #) | (# e #) #)

Primitive parser result.

Like flatparse, but no Addr# on success.

pattern OK# :: (st :: ZeroBitType) -> a -> Res# st e a

Res# constructor for a successful parse. Contains the return value and a state token.

pattern Fail# :: (st :: ZeroBitType) -> Res# st e a

Res# constructor for recoverable failure. Contains only a state token.

pattern Err# :: (st :: ZeroBitType) -> e -> Res# st e a

Res# constructor for errors which are by default non-recoverable. Contains the error, plus a state token.

unsafeRunParserBs :: forall a e. ByteString -> Parser e a -> Result e a

caller must guarantee that buffer is long enough for parser!!

unsafeRunParserPtr :: forall a e. Ptr Word8 -> Parser e a -> Result e a

caller must guarantee that buffer is long enough for parser!!

unsafeRunParserFPtr :: forall a e. ForeignPtr Word8 -> Parser e a -> Result e a

caller must guarantee that buffer is long enough for parser!!

unsafeRunParser' :: forall a e. Addr# -> ForeignPtrContents -> Parser e a -> Result e a

caller must guarantee that buffer is long enough for parser!!

data Result e a

Higher-level boxed data type for parsing results.

Constructors

OK a

Contains return value.

Fail

Recoverable-by-default failure.

Err !e

Unrecoverable-by-default error.

Instances

(Show a, Show e) => Show (Result e a)

Defined in Bytezap.Parser.Struct

Methods

showsPrec :: Int -> Result e a -> ShowS

show :: Result e a -> String

showList :: [Result e a] -> ShowS

constParse :: a -> ParserT st e a

can't provide via pure as no Applicative

sequenceParsers :: Int -> (a -> b -> c) -> ParserT st e a -> ParserT st e b -> ParserT st e c

prim :: forall a st e. Prim' a => ParserT st e a

lit :: Eq a => a -> ParserT st e a -> ParserT st e ()

parse literal

withLit :: Eq a => Int# -> a -> ParserT st e a -> ParserT st e r -> ParserT st e r

parse literal (CPS)

withLitErr :: (Num a, FiniteBits a) => (Int -> a -> e) -> Int# -> a -> (Addr# -> Int# -> a) -> ParserT st e r -> ParserT st e r

parse literal, return first (leftmost) failing byte on error (CPS)

This can be used to parse large literals via chunking, rather than byte-by-byte, while retaining useful error behaviour.

We don't check equality with XOR even though we use that when handling errors, because it's hard to tell if it would be faster with modern CPUs and compilers.

firstNonMatchByteIdx :: FiniteBits a => a -> a -> Int

Given two non-equal words wActual and wExpect, return the index of the first non-matching byte. Zero indexed.

If both words are equal, returns word_size (e.g. 4 for Word32).

unsafeByteAt :: (Num a, Bits a) => a -> Int -> a

Get the byte at the given index.

The return value is guaranteed to be 0x00 - 0xFF (inclusive).

TODO meaning based on endianness?