Language.Pads.CoreBaseTypes

Documentation

type Char_md = Base_md

Metadata type for a PADS Char

char_parseM :: PadsParser (Char, Base_md)

Monadic parser for a PADS Char

char_def :: Char

Default value inserted by the parser for a PADS Char

int_parseM :: PadsParser (Int, Base_md)

Monadic parser for a PADS Int

int_def :: Int

Default value inserted by the parser for a PADS Int

integer_parseM :: PadsParser (Integer, Base_md)

Monadic parser for a PADS Integer

integer_def :: Integer

Default value inserted by the parser for a PADS Integer

float_parseM :: PadsParser (Float, Base_md)

Monadic parser for a PADS Float, e.g. "-3.1415"

float_def :: Float

Default value inserted by the parser for a PADS Float

double_parseM :: PadsParser (Double, Base_md)

Monadic parser for a textual PADS Double, e.g. "-3.1415"

double_def :: Double

Default value inserted by the parser for a PADS Float

digit_parseM :: PadsParser (Digit, Base_md)

Monadic parser for a PADS Digit according to isDigit

digit_def :: Digit

Default value inserted by the parser for a PADS Digit

string_def :: [Char]

Default value inserted by the parser for a PADS String

type StringC = String

string with end character. Ex:

StringC ','

type StringFW = String

string of fixed length

type StringVW = String

string of variable length

type StringME = String

string with matching expression. For example:

[pads| type StrME = StringME 'a+' |]

type StringSE = String

string matching given native regex. PADS uses posix regex (from the regex-posix package). For example:

[pads| StringSE <| RE "b|c" |>|]

type StringP = String

string with a predicate. For example:

[pads| type Digits = StringP Char.isDigit |]

type StringPESC = String

string predicate with escape condition

data Chunk

Chunks represent an abstraction of literal data, and allow for easy consumption and concatenation into one ByteString of data, which can be written to disk. Each BinaryChunk represents the value val .&. (2^bits - 1)

Constructors

CharChunk Char

BinaryChunk

Fields

• val :: Integer
• bits :: Int

Instances

Eq Chunk

Defined in Language.Pads.CoreBaseTypes

Methods

(==) :: Chunk -> Chunk -> Bool

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

Show CList

Defined in Language.Pads.CoreBaseTypes

Methods

showsPrec :: Int -> CList -> ShowS

show :: CList -> String

showList :: [CList] -> ShowS

Show Chunk

Defined in Language.Pads.CoreBaseTypes

Methods

showsPrec :: Int -> Chunk -> ShowS

show :: Chunk -> String

showList :: [Chunk] -> ShowS

Lift Chunk

Defined in Language.Pads.CoreBaseTypes

Methods

lift :: Chunk -> Q Exp

fromChunks :: [Chunk] -> ByteString

fromChunks provides a translation from Chunks to a list of bytes. It accomplishes this in time linear to the length of the list of Chunks. It converts each chunk into "bits" (a list of 1's and 0's), then splits that into "bytes" (lists of length 8 each) to simplify combination in non-byte- aligned cases.

type EOF = ()

End of File

type EOR = ()

End of Record

md :: Base_md

Some PADS types, PConstrain for instance, are designed to have access to parsed metadata, stored as the variable md. In parsing, metadata is created and supplied to the constraint at the correct time in the generated parsing functions. However, during generation of generation functions, no metadata exists. Providing this variable assignment prevents compile time errors of functions with predicates that refer to md, and is safe wrt parsing predicates because the md variables in their generated code are bound in lambdas.

Orphan instances

Pads1 Int Bytes Bytes_md

Methods

def1 :: Int -> Bytes

defaultMd1 :: Int -> Bytes -> Bytes_md

parsePP1 :: Int -> PadsParser (Bytes, Bytes_md)

printFL1 :: Int -> PadsPrinter (Bytes, Bytes_md)

defaultRepMd1 :: Int -> (Bytes, Bytes_md)

Pads1 () Char Base_md

Methods

def1 :: () -> Char

defaultMd1 :: () -> Char -> Base_md

parsePP1 :: () -> PadsParser (Char, Base_md)

printFL1 :: () -> PadsPrinter (Char, Base_md)

defaultRepMd1 :: () -> (Char, Base_md)

Pads1 () Double Base_md

Methods

def1 :: () -> Double

defaultMd1 :: () -> Double -> Base_md

parsePP1 :: () -> PadsParser (Double, Base_md)

printFL1 :: () -> PadsPrinter (Double, Base_md)

defaultRepMd1 :: () -> (Double, Base_md)

Pads1 () Float Base_md

Methods

def1 :: () -> Float

defaultMd1 :: () -> Float -> Base_md

parsePP1 :: () -> PadsParser (Float, Base_md)

printFL1 :: () -> PadsPrinter (Float, Base_md)

defaultRepMd1 :: () -> (Float, Base_md)

Pads1 () Int Base_md

Methods

def1 :: () -> Int

defaultMd1 :: () -> Int -> Base_md

parsePP1 :: () -> PadsParser (Int, Base_md)

printFL1 :: () -> PadsPrinter (Int, Base_md)

defaultRepMd1 :: () -> (Int, Base_md)

Pads1 () Integer Base_md

Methods

def1 :: () -> Integer

defaultMd1 :: () -> Integer -> Base_md

parsePP1 :: () -> PadsParser (Integer, Base_md)

printFL1 :: () -> PadsPrinter (Integer, Base_md)

defaultRepMd1 :: () -> (Integer, Base_md)

Pads1 () String Base_md

Methods

def1 :: () -> String

defaultMd1 :: () -> String -> Base_md

parsePP1 :: () -> PadsParser (String, Base_md)

printFL1 :: () -> PadsPrinter (String, Base_md)

defaultRepMd1 :: () -> (String, Base_md)