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

Methods

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

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

Data Base_md

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

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

Methods

showsPrec :: Int -> Base_md -> ShowS

show :: Base_md -> String

showList :: [Base_md] -> ShowS

Pretty Base_md

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.

Methods

get_md_header :: Base_md -> Base_md

replace_md_header :: Base_md -> Base_md -> Base_md

Pads1 () Void Base_md

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

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

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)

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.

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

Minimal complete definition

get_md_header, replace_md_header

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.

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.

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')