Bytezap.Parser.Struct.Generic

Documentation

class GParseBase tag where

Associated Types

type GParseBaseSt tag :: ZeroBitType

The state token of the parser.

type GParseBaseC tag a :: Constraint

type GParseBaseE tag :: Type

type GParseBaseLenTF tag :: Type ~> Natural

Defunctionalization symbol for a type family turning Types into Naturals. (Needed as we can't partially apply type families.)

Methods

gParseBase :: GParseBaseC tag a => ParserT (GParseBaseSt tag) (GParseBaseE tag) a

class GParse tag gf where

Methods

gParse :: ParserT (GParseBaseSt tag) (GParseBaseE tag) (gf p)

Instances

GParse (tag :: k1) (U1 :: k2 -> Type)

Wow, look! Nothing!

Defined in Bytezap.Parser.Struct.Generic

Methods

gParse :: forall (p :: k10). ParserT (GParseBaseSt tag) (GParseBaseE tag) (U1 p)

(GParse tag l, GParse tag r, GParseBase tag, lenL ~ GTFoldMapCAddition (GParseBaseLenTF tag) l, KnownNat lenL) => GParse (tag :: k1) (l :*: r :: k2 -> Type)

Defined in Bytezap.Parser.Struct.Generic

Methods

gParse :: forall (p :: k10). ParserT (GParseBaseSt tag) (GParseBaseE tag) ((l :*: r) p)

GParse tag gf => GParse (tag :: k1) (C1 cc gf :: k2 -> Type)

Defined in Bytezap.Parser.Struct.Generic

Methods

gParse :: forall (p :: k10). ParserT (GParseBaseSt tag) (GParseBaseE tag) (C1 cc gf p)

GParse tag gf => GParse (tag :: k1) (D1 cd gf :: k2 -> Type)

Defined in Bytezap.Parser.Struct.Generic

Methods

gParse :: forall (p :: k10). ParserT (GParseBaseSt tag) (GParseBaseE tag) (D1 cd gf p)

(GParseBase tag, GParseBaseC tag a) => GParse (tag :: k1) (S1 c (Rec0 a) :: k2 -> Type)

Defined in Bytezap.Parser.Struct.Generic

Methods

gParse :: forall (p :: k10). ParserT (GParseBaseSt tag) (GParseBaseE tag) (S1 c (Rec0 a) p)