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

type EOF = ()

End of File

type EOR = ()

End of Record

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)