Language.Pads.Errors

Documentation

data ErrMsg

Errors which can be encountered at runtime when parsing a Pads type

Constructors

FoundWhenExpecting String String

MissingLiteral String

ExtraBeforeLiteral String

LineError String

Insufficient Int Int

RegexMatchFail String

TransformToDstFail String String String

TransformToSrcFail String String String

UnderlyingTypedefFail

PredicateFailure

ExtraStuffBeforeTy String String

FileError String String

BitWidthError Int Int

Instances

Eq ErrMsg

Methods

(==) :: ErrMsg -> ErrMsg -> Bool

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

Data ErrMsg

Methods

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

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

toConstr :: ErrMsg -> Constr

dataTypeOf :: ErrMsg -> DataType

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

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

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

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

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

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

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

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

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

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

Ord ErrMsg

Methods

compare :: ErrMsg -> ErrMsg -> Ordering

(<) :: ErrMsg -> ErrMsg -> Bool

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

(>) :: ErrMsg -> ErrMsg -> Bool

(>=) :: ErrMsg -> ErrMsg -> Bool

max :: ErrMsg -> ErrMsg -> ErrMsg

min :: ErrMsg -> ErrMsg -> ErrMsg

Show ErrMsg

Methods

showsPrec :: Int -> ErrMsg -> ShowS

show :: ErrMsg -> String

showList :: [ErrMsg] -> ShowS

Pretty ErrMsg

Pretty printer for Pads runtime error messages.

Methods

ppr :: ErrMsg -> Doc

pprPrec :: Int -> ErrMsg -> Doc

pprList :: [ErrMsg] -> Doc

data ErrInfo

Error information relating back to the source input

Constructors

ErrInfo

Fields

• msg :: ErrMsg
• position :: Maybe Span

Instances

Eq ErrInfo

Methods

(==) :: ErrInfo -> ErrInfo -> Bool

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

Data ErrInfo

Methods

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

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

toConstr :: ErrInfo -> Constr

dataTypeOf :: ErrInfo -> DataType

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

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

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

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

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

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

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

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

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

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

Ord ErrInfo

Methods

compare :: ErrInfo -> ErrInfo -> Ordering

(<) :: ErrInfo -> ErrInfo -> Bool

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

(>) :: ErrInfo -> ErrInfo -> Bool

(>=) :: ErrInfo -> ErrInfo -> Bool

max :: ErrInfo -> ErrInfo -> ErrInfo

min :: ErrInfo -> ErrInfo -> ErrInfo

Show ErrInfo

Methods

showsPrec :: Int -> ErrInfo -> ShowS

show :: ErrInfo -> String

showList :: [ErrInfo] -> ShowS

Pretty ErrInfo

Pretty printer for reporting where in the source text a parse error occured.

Methods

ppr :: ErrInfo -> Doc

pprPrec :: Int -> ErrInfo -> Doc

pprList :: [ErrInfo] -> Doc

mergeErrInfo :: ErrInfo -> ErrInfo -> ErrInfo

Always just pick the first error message

maybeMergeErrInfo :: Maybe ErrInfo -> Maybe ErrInfo -> Maybe ErrInfo

Merge errors in the Maybe monad