Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data ParseResult e s a = ParseResult {
- prValue :: !(ParseValue e a)
- prState :: !s
- data ParseValue e a
- = ParseError !e
- | ParseSuccess !a
- parseSuccessResult :: a -> s -> ParseResult e s a
- parseErrorResult :: e -> s -> ParseResult e s a
- parseValue :: (e -> r) -> (a -> r) -> ParseValue e a -> r
Documentation
data ParseResult e s a Source #
Strict pair of parse result and state at the time it was yielded.
ParseResult | |
|
Instances
Functor (ParseResult e s) Source # | |
Defined in SimpleParser.Result fmap :: (a -> b) -> ParseResult e s a -> ParseResult e s b # (<$) :: a -> ParseResult e s b -> ParseResult e s a # | |
Foldable (ParseResult e s) Source # | |
Defined in SimpleParser.Result fold :: Monoid m => ParseResult e s m -> m # foldMap :: Monoid m => (a -> m) -> ParseResult e s a -> m # foldMap' :: Monoid m => (a -> m) -> ParseResult e s a -> m # foldr :: (a -> b -> b) -> b -> ParseResult e s a -> b # foldr' :: (a -> b -> b) -> b -> ParseResult e s a -> b # foldl :: (b -> a -> b) -> b -> ParseResult e s a -> b # foldl' :: (b -> a -> b) -> b -> ParseResult e s a -> b # foldr1 :: (a -> a -> a) -> ParseResult e s a -> a # foldl1 :: (a -> a -> a) -> ParseResult e s a -> a # toList :: ParseResult e s a -> [a] # null :: ParseResult e s a -> Bool # length :: ParseResult e s a -> Int # elem :: Eq a => a -> ParseResult e s a -> Bool # maximum :: Ord a => ParseResult e s a -> a # minimum :: Ord a => ParseResult e s a -> a # sum :: Num a => ParseResult e s a -> a # product :: Num a => ParseResult e s a -> a # | |
Traversable (ParseResult e s) Source # | |
Defined in SimpleParser.Result traverse :: Applicative f => (a -> f b) -> ParseResult e s a -> f (ParseResult e s b) # sequenceA :: Applicative f => ParseResult e s (f a) -> f (ParseResult e s a) # mapM :: Monad m => (a -> m b) -> ParseResult e s a -> m (ParseResult e s b) # sequence :: Monad m => ParseResult e s (m a) -> m (ParseResult e s a) # | |
(Eq e, Eq a, Eq s) => Eq (ParseResult e s a) Source # | |
Defined in SimpleParser.Result (==) :: ParseResult e s a -> ParseResult e s a -> Bool # (/=) :: ParseResult e s a -> ParseResult e s a -> Bool # | |
(Show e, Show a, Show s) => Show (ParseResult e s a) Source # | |
Defined in SimpleParser.Result showsPrec :: Int -> ParseResult e s a -> ShowS # show :: ParseResult e s a -> String # showList :: [ParseResult e s a] -> ShowS # |
data ParseValue e a Source #
Strict Either
for parse results.
ParseError !e | |
ParseSuccess !a |
Instances
parseSuccessResult :: a -> s -> ParseResult e s a Source #
parseErrorResult :: e -> s -> ParseResult e s a Source #
parseValue :: (e -> r) -> (a -> r) -> ParseValue e a -> r Source #