Language.Pads.MetaData

Documentation

data Base_md

Base type library support for internal (to Pads) metadata

Constructors

Base_md

Fields

• numErrors :: Int
• errInfo :: Maybe ErrInfo

Instances

Eq Base_md

Defined in Language.Pads.MetaData

Methods

(==) :: Base_md -> Base_md -> Bool

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

Data Base_md

Defined in Language.Pads.MetaData

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Base_md -> c Base_md

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Base_md

toConstr :: Base_md -> Constr

dataTypeOf :: Base_md -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Base_md)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Base_md)

gmapT :: (forall b. Data b => b -> b) -> Base_md -> Base_md

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Base_md -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Base_md -> r

gmapQ :: (forall d. Data d => d -> u) -> Base_md -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Base_md -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Base_md -> m Base_md

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Base_md -> m Base_md

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Base_md -> m Base_md

Ord Base_md

Defined in Language.Pads.MetaData

Methods

compare :: Base_md -> Base_md -> Ordering

(<) :: Base_md -> Base_md -> Bool

(<=) :: Base_md -> Base_md -> Bool

(>) :: Base_md -> Base_md -> Bool

(>=) :: Base_md -> Base_md -> Bool

max :: Base_md -> Base_md -> Base_md

min :: Base_md -> Base_md -> Base_md

Show Base_md

Defined in Language.Pads.MetaData

Methods

showsPrec :: Int -> Base_md -> ShowS

show :: Base_md -> String

showList :: [Base_md] -> ShowS

Pretty Base_md

Defined in Language.Pads.MetaData

Methods

ppr :: Base_md -> Doc

pprPrec :: Int -> Base_md -> Doc

pprList :: [Base_md] -> Doc

PadsMD Base_md

The trivial case for when the Pads parser doesn't need to add any metadata.

Defined in Language.Pads.MetaData

Methods

get_md_header :: Base_md -> Base_md

replace_md_header :: Base_md -> Base_md -> Base_md

Pads1 Int Bytes Bytes_md

Defined in Language.Pads.CoreBaseTypes

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

Defined in Language.Pads.CoreBaseTypes

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

Defined in Language.Pads.CoreBaseTypes

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

Defined in Language.Pads.CoreBaseTypes

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

Defined in Language.Pads.CoreBaseTypes

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

Defined in Language.Pads.CoreBaseTypes

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

Defined in Language.Pads.CoreBaseTypes

Methods

def1 :: () -> String

defaultMd1 :: () -> String -> Base_md

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

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

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

Pads1 () Void Base_md

Defined in Language.Pads.CoreBaseTypes

Methods

def1 :: () -> Void

defaultMd1 :: () -> Void -> Base_md

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

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

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

Pads1 () Binary Base_md

Defined in Language.Pads.CoreBaseTypes

Methods

def1 :: () -> Binary

defaultMd1 :: () -> Binary -> Base_md

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

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

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

Pads1 () Text Base_md

Defined in Language.Pads.CoreBaseTypes

Methods

def1 :: () -> Text

defaultMd1 :: () -> Text -> Base_md

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

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

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

Pads a a_md => Pads1 () (PMaybe a) (PMaybe_md a_md)

Defined in Language.Pads.BaseTypes

Methods

def1 :: () -> PMaybe a

defaultMd1 :: () -> PMaybe a -> PMaybe_md a_md

parsePP1 :: () -> PadsParser (PMaybe a, PMaybe_md a_md)

printFL1 :: () -> PadsPrinter (PMaybe a, PMaybe_md a_md)

defaultRepMd1 :: () -> (PMaybe a, PMaybe_md a_md)

Data b => PadsMD (Base_md, b)

If we have a 2-tuple where the first thing is of type Base_md, then the tuple itself is a Pads metadata instance.

Defined in Language.Pads.MetaData

Methods

get_md_header :: (Base_md, b) -> Base_md

replace_md_header :: (Base_md, b) -> Base_md -> (Base_md, b)

class Data md => PadsMD md where

Meta data type class

Methods

get_md_header :: md -> Base_md

replace_md_header :: md -> Base_md -> md

Instances

PadsMD Base_md

The trivial case for when the Pads parser doesn't need to add any metadata.

Defined in Language.Pads.MetaData

Methods

get_md_header :: Base_md -> Base_md

replace_md_header :: Base_md -> Base_md -> Base_md

Data b => PadsMD (Base_md, b)

If we have a 2-tuple where the first thing is of type Base_md, then the tuple itself is a Pads metadata instance.

Defined in Language.Pads.MetaData

Methods

get_md_header :: (Base_md, b) -> Base_md

replace_md_header :: (Base_md, b) -> Base_md -> (Base_md, b)

cleanBasePD :: Base_md

Default metadata instance with no errors being reported.

errorBasePD :: String -> String -> Base_md

Default metadata instance with a generic "file error" being reported.

mergeBaseMDs :: [Base_md] -> Base_md

Metadata merge

mkErrBasePDfromLoc :: ErrMsg -> Loc -> Base_md

Metadata for a single parse error occuring at some location Loc.

mkErrBasePD :: ErrMsg -> Maybe Span -> Base_md

Metadata for a single parse error occuring at some position Span.

pprBaseMD :: Base_md -> Doc

Pretty printer for the base metadata type.

myempty :: forall a. Data a => a

Fancy Generic magic for defining a function that produces a default value for any type so long as that type is an instance of Data. We do this by selecting the first alternative of algebraic data types and recursively filling in any nested types with default values as well. For instance:

> :set -XDeriveDataTypeable
> type Bar = (Int,Char)
> data Foo = A Bar Bar | B | C deriving (Data, Show)
> myempty :: Foo
A (0,'\NUL') (0,'\NUL')