Binrep.Get.Flatparse

Documentation

type Getter a = Parser E a

class Get a where

Methods

get :: Getter a

Parse from binary.

Instances

(TypeError ENoEmpty :: Constraint) => Get Void

Defined in Binrep.Get.Flatparse

Methods

get :: Getter Void

Get Int8

Signed byte.

Defined in Binrep.Get.Flatparse

Methods

get :: Getter Int8

Get Word8

Unsigned byte.

Defined in Binrep.Get.Flatparse

Methods

get :: Getter Word8

Get Write

Parse a bytestring and... immediate reserialize it.

Note that this _does_ perform work: we make a new bytestring so we don't rely on the input bytestring. To use the input bytestring directly, see Binrep.Type.Thin.

Defined in Binrep.Get.Flatparse

Methods

get :: Getter Write

Get ByteString

Return the rest of the input.

A plain unannotated bytestring isn't very useful -- you'll usually want to null-terminate or length-prefix it.

Note that this _does_ perform work: we make a new bytestring so we don't rely on the input bytestring. To use the input bytestring directly, see Binrep.Type.Thin.

Defined in Binrep.Get.Flatparse

Methods

get :: Getter ByteString

Get ()

Unit type parses nothing.

Defined in Binrep.Get.Flatparse

Methods

get :: Getter ()

Get (NullTerminated ByteString)

Parse a null-terminated bytestring.

Defined in Binrep.Type.NullTerminated

Methods

get :: Getter (NullTerminated ByteString)

Get (Thin Write)

Defined in Binrep.Type.Thin

Methods

get :: Getter (Thin Write)

Get (Thin ByteString)

Defined in Binrep.Type.Thin

Methods

get :: Getter (Thin ByteString)

Get a => Get (Binreply a)

Defined in Binrep.Via

Methods

get :: Getter (Binreply a)

Get a => Get [a]

Parse elements until EOF. Sometimes used at the "top" of binary formats.

Defined in Binrep.Get.Flatparse

Methods

get :: Getter [a]

(TypeError ENoSum :: Constraint) => Get (Either a b)

Defined in Binrep.Get.Flatparse

Methods

get :: Getter (Either a b)

Get (Endian 'BE Int16)

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian 'BE Int16)

Get (Endian 'BE Int32)

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian 'BE Int32)

Get (Endian 'BE Int64)

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian 'BE Int64)

Get (Endian 'BE Word16)

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian 'BE Word16)

Get (Endian 'BE Word32)

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian 'BE Word32)

Get (Endian 'BE Word64)

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian 'BE Word64)

Get (Endian 'LE Int16)

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian 'LE Int16)

Get (Endian 'LE Int32)

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian 'LE Int32)

Get (Endian 'LE Int64)

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian 'LE Int64)

Get (Endian 'LE Word16)

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian 'LE Word16)

Get (Endian 'LE Word32)

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian 'LE Word32)

Get (Endian 'LE Word64)

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian 'LE Word64)

Get (Endian end Int8)

Endianness doesn't matter for single bytes.

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian end Int8)

Get (Endian end Word8)

Endianness doesn't matter for single bytes.

Defined in Binrep.Type.Int

Methods

get :: Getter (Endian end Word8)

(bs ~ MagicBytes a, ReifyBytes bs, KnownNat (Length bs)) => Get (Magic a)

Defined in Binrep.Type.Magic

Methods

get :: Getter (Magic a)

(BLen a, Get a, KnownNat n) => Get (NullPadded n a)

Defined in Binrep.Type.NullPadded

Methods

get :: Getter (NullPadded n a)

(Prefix pfx, GetSize a, Get pfx) => Get (SizePrefixed pfx a)

Defined in Binrep.Type.Prefix.Size

Methods

get :: Getter (SizePrefixed pfx a)

(Get a, KnownNat n) => Get (Sized n a)

Defined in Binrep.Type.Sized

Methods

get :: Getter (Sized n a)

(Get l, Get r) => Get (l, r)

Parse tuples left-to-right.

Defined in Binrep.Get.Flatparse

Methods

get :: Getter (l, r)

(Prefix pfx, GetCount f, Get pfx, Get a) => Get (CountPrefixed pfx f a)

Defined in Binrep.Type.Prefix.Count

Methods

get :: Getter (CountPrefixed pfx f a)

runGet :: Get a => ByteString -> Either E (a, ByteString)

runGetter :: Getter a -> ByteString -> Either E (a, ByteString)

data E

Structured parse error.

Constructors

E Int EMiddle

EFail

Unhandled parse error.

You get this if you don't change a flatparse fail to an error.

Should not be set except by library code.

Instances

Generic E

Defined in Binrep.Get.Flatparse

Associated Types

type Rep E :: Type -> Type

Methods

from :: E -> Rep E x

to :: Rep E x -> E

Show E

Defined in Binrep.Get.Flatparse

Methods

showsPrec :: Int -> E -> ShowS

show :: E -> String

showList :: [E] -> ShowS

Eq E

Defined in Binrep.Get.Flatparse

Methods

(==) :: E -> E -> Bool

(/=) :: E -> E -> Bool

GenericTraverse (Parser E)

Defined in Binrep.Get.Flatparse

Associated Types

type GenericTraverseC (Parser E) a

Methods

genericTraverseAction :: GenericTraverseC (Parser E) a => String -> String -> Maybe String -> Natural -> Parser E a

GenericTraverseSum (Parser E)

Defined in Binrep.Get.Flatparse

Methods

genericTraverseSumPfxTagAction :: GenericTraverseC (Parser E) pt => String -> Parser E pt

genericTraverseSumNoMatchingCstrAction :: String -> [String] -> Text -> Parser E a

type Rep E

Defined in Binrep.Get.Flatparse

type Rep E

type GenericTraverseC (Parser E) a

Defined in Binrep.Get.Flatparse

type GenericTraverseC (Parser E) a = Get a

data EBase

Constructors

EExpectedByte Word8 Word8

expected first, got second

EOverlong Int Int

expected first, got second

EExpected ByteString ByteString

expected first, got second

EFailNamed String

known fail

EFailParse String ByteString Word8

parse fail (where you parse a larger object, then a smaller one in it)

ERanOut Int

ran out of input, needed precisely n bytes for this part (n > 0)

Actually a Natural, but we use Int because that's what flatparse uses internally.

Instances

Generic EBase

Defined in Binrep.Get.Flatparse

Associated Types

type Rep EBase :: Type -> Type

Methods

from :: EBase -> Rep EBase x

to :: Rep EBase x -> EBase

Show EBase

Defined in Binrep.Get.Flatparse

Methods

showsPrec :: Int -> EBase -> ShowS

show :: EBase -> String

showList :: [EBase] -> ShowS

Eq EBase

Defined in Binrep.Get.Flatparse

Methods

(==) :: EBase -> EBase -> Bool

(/=) :: EBase -> EBase -> Bool

type Rep EBase

Defined in Binrep.Get.Flatparse

type Rep EBase = D1 ('MetaData "EBase" "Binrep.Get.Flatparse" "binrep-0.5.0-inplace" 'False) ((C1 ('MetaCons "EExpectedByte" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)) :+: (C1 ('MetaCons "EOverlong" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "EExpected" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))) :+: (C1 ('MetaCons "EFailNamed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "EFailParse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8))) :+: C1 ('MetaCons "ERanOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))

data EGeneric e

A generic context layer for a parse error of type e.

Recursive: parse errors occurring in fields are wrapped up here. (Those errors may also have a generic context layer.)

Making this explicitly recursive may seem strange, but it clarifies that this data type is to be seen as a layer over a top-level type.

Constructors

EGenericSum (EGenericSum e)

Parse error relating to sum types (constructors).

EGenericField

Parse error in a constructor field.

Fields

• String

  constructor name

• (Maybe String)

  field record name (if present)

• Natural

  field index in constructor

• e

  field parse error

Instances

Generic (EGeneric e)

Defined in Binrep.Get.Flatparse

Associated Types

type Rep (EGeneric e) :: Type -> Type

Methods

from :: EGeneric e -> Rep (EGeneric e) x

to :: Rep (EGeneric e) x -> EGeneric e

Show e => Show (EGeneric e)

Defined in Binrep.Get.Flatparse

Methods

showsPrec :: Int -> EGeneric e -> ShowS

show :: EGeneric e -> String

showList :: [EGeneric e] -> ShowS

Eq e => Eq (EGeneric e)

Defined in Binrep.Get.Flatparse

Methods

(==) :: EGeneric e -> EGeneric e -> Bool

(/=) :: EGeneric e -> EGeneric e -> Bool

type Rep (EGeneric e)

Defined in Binrep.Get.Flatparse

type Rep (EGeneric e) = D1 ('MetaData "EGeneric" "Binrep.Get.Flatparse" "binrep-0.5.0-inplace" 'False) (C1 ('MetaCons "EGenericSum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EGenericSum e))) :+: C1 ('MetaCons "EGenericField" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 e))))

data EGenericSum e

Constructors

EGenericSumTag e

Parse error parsing prefix tag.

EGenericSumTagNoMatch

Unable to match a constructor to the parsed prefix tag.

Fields

• [String]

  constructors tested

• Text

  prettified prefix tag

Instances

Generic (EGenericSum e)

Defined in Binrep.Get.Flatparse

Associated Types

type Rep (EGenericSum e) :: Type -> Type

Methods

from :: EGenericSum e -> Rep (EGenericSum e) x

to :: Rep (EGenericSum e) x -> EGenericSum e

Show e => Show (EGenericSum e)

Defined in Binrep.Get.Flatparse

Methods

showsPrec :: Int -> EGenericSum e -> ShowS

show :: EGenericSum e -> String

showList :: [EGenericSum e] -> ShowS

Eq e => Eq (EGenericSum e)

Defined in Binrep.Get.Flatparse

Methods

(==) :: EGenericSum e -> EGenericSum e -> Bool

(/=) :: EGenericSum e -> EGenericSum e -> Bool

type Rep (EGenericSum e)

Defined in Binrep.Get.Flatparse

type Rep (EGenericSum e) = D1 ('MetaData "EGenericSum" "Binrep.Get.Flatparse" "binrep-0.5.0-inplace" 'False) (C1 ('MetaCons "EGenericSumTag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 e)) :+: C1 ('MetaCons "EGenericSumTagNoMatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

eBase :: EBase -> Getter a

getEBase :: Getter a -> EBase -> Getter a

getGenericNonSum :: forall {cd} {f} {asserts} a. (Generic a, Rep a ~ D1 cd f, GTraverseNonSum cd (Parser E) f, asserts ~ '['NoEmpty, 'NoSum], ApplyGCAsserts asserts f) => Getter a

getGenericSum :: forall {cd} {f} {asserts} pt a. (Generic a, Rep a ~ D1 cd f, GTraverseSum 'SumOnly cd (Parser E) f, Get pt, asserts ~ '['NoEmpty, 'NeedSum], ApplyGCAsserts asserts f) => PfxTagCfg pt -> Getter a