Safe Haskell	None
Language	GHC2021

Data.Serde.Internal.ISyn

Contents

debug

Description

intermediate syntax for the parser

see Data.Serde.Syn for the grammar

Synopsis

parsetop :: Parser (Derive, [ISyn])
data ISyn
- = ISynData {
  - isnam :: String
  - isflds :: [ISynFld]
  }
- | ISynNewtype {
  - isnam :: String
  - isfld1 :: INewtypePayload
  }
- | ISynAlias {
  - isnam :: String
  - isdest :: String
  }
data ISynFld = ISynFld {
- isfldnam :: String
- isfldtyp :: ViaInfo
}
data INewtypePayload
- = IField ISynFld
- | IType ViaInfo
data ViaInfo
- = Plain String
- | WithVia String String
newtype Derive = Derive {
- getderive :: [String]
}
type Parser = Parsec Void String
_testbody1 :: String

Documentation

parsetop :: Parser (Derive, [ISyn]) Source #

data ISyn Source #

intermediate representation of type definitions parsed from the input syntax. can be a data type, newtype, or type alias.

Constructors

ISynData
Fields isnam :: String isflds :: [ISynFld]
ISynNewtype
Fields isnam :: String isfld1 :: INewtypePayload
ISynAlias
Fields isnam :: String isdest :: String

Instances

Instances details

Show ISyn Source #
Instance details Defined in Data.Serde.Internal.ISyn Methods showsPrec :: Int -> ISyn -> ShowS # show :: ISyn -> String # showList :: [ISyn] -> ShowS #

data ISynFld Source #

field definition for data types and newtypes, containing a field name and its type information

Constructors

ISynFld
Fields isfldnam :: String isfldtyp :: ViaInfo

Instances

Instances details

Show ISynFld Source #
Instance details Defined in Data.Serde.Internal.ISyn Methods showsPrec :: Int -> ISynFld -> ShowS # show :: ISynFld -> String # showList :: [ISynFld] -> ShowS #

data INewtypePayload Source #

payload for newtype definitions, which can either be a field with a name and type, or just a type

Constructors

IField ISynFld
IType ViaInfo

Instances

Instances details

Show INewtypePayload Source #
Instance details Defined in Data.Serde.Internal.ISyn Methods showsPrec :: Int -> INewtypePayload -> ShowS # show :: INewtypePayload -> String # showList :: [INewtypePayload] -> ShowS #

data ViaInfo Source #

type information that may include a via clause

Constructors

Plain String
WithVia String String

Instances

Instances details

Show ViaInfo Source #
Instance details Defined in Data.Serde.Internal.ISyn Methods showsPrec :: Int -> ViaInfo -> ShowS # show :: ViaInfo -> String # showList :: [ViaInfo] -> ShowS #

newtype Derive Source #

collection of type classes to derive for all defined types

Constructors

Derive
Fields getderive :: [String]

Instances

Instances details

Show Derive Source #
Instance details Defined in Data.Serde.Internal.ISyn Methods showsPrec :: Int -> Derive -> ShowS # show :: Derive -> String # showList :: [Derive] -> ShowS #

type Parser = Parsec Void String Source #

parser type for the intermediate syntax

debug

_testbody1 :: String Source #