Copyright | (c) 2011 Kathleen Fisher <kathleen.fisher@gmail.com> John Launchbury <john.launchbury@gmail.com> |
---|---|
License | MIT |
Maintainer | Karl Cronburg <karl@cs.tufts.edu> |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- data ErrMsg
- = 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
- data ErrInfo = ErrInfo {}
- mergeErrInfo :: ErrInfo -> ErrInfo -> ErrInfo
- maybeMergeErrInfo :: Maybe ErrInfo -> Maybe ErrInfo -> Maybe ErrInfo
Documentation
Errors which can be encountered at runtime when parsing a Pads type
Instances
Eq ErrMsg Source # | |
Data ErrMsg Source # | |
Defined in Language.Pads.Errors 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 Source # | |
Show ErrMsg Source # | |
Pretty ErrMsg Source # | Pretty printer for Pads runtime error messages. |
Error information relating back to the source input
Instances
Eq ErrInfo Source # | |
Data ErrInfo Source # | |
Defined in Language.Pads.Errors 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 Source # | |
Show ErrInfo Source # | |
Pretty ErrInfo Source # | Pretty printer for reporting where in the source text a parse error occured. |