ContentsIndex
Org.Org.Semantic.HBase.Transform.MonadParser
Synopsis
class Monad m => MonadParser t m | m -> t where
tokenParse :: m t
class MonadParser t m => MonadLookaheadParser t m | m -> t where
tokenExamine :: m t
tokenAccept :: m ()
class (MonadZero m, MonadLookaheadParser t m) => MonadZeroParser t m | m -> t
class (MonadOr m, MonadLookaheadParser t m) => MonadOrParser t m | m -> t
class (MonadOrParser t m, MonadThrow ex m) => StoppableMonadOrParser ex t m | m -> t
fatalParserError :: MonadThrow ex m => ex -> m a
class (MonadFirst m, MonadOrParser t m) => MonadFirstParser t m | m -> t
class (MonadFirstParser t m, StoppableMonadOrParser ex t m) => StoppableMonadFirstParser ex t m | m -> t
class (Monad m, MonadParser t p) => LiftedParser t m p | p -> t, p -> m where
parserLift :: forall a . m a -> p a
matchTokenParse :: MonadZeroParser t m => (t -> Bool) -> m t
matchingListParser :: MonadOrParser t m => (t -> Bool) -> m [t]
allTokensParse :: MonadOrParser t m => m [t]
streamEndParse :: MonadOrParser t m => m ()
isTokenParse :: (MonadZeroParser t m, Eq t) => t -> m t
isntTokenParse :: (MonadZeroParser t m, Eq t) => t -> m t
isListParse :: (MonadZeroParser t m, Eq t) => [t] -> m [t]
unexpectedTokenError :: (Show t, StoppableMonadOrParser String t p) => String -> p a
mOrUnexpectedTokenError :: (Show t, StoppableMonadOrParser String t p) => String -> p a -> p a
Documentation
class Monad m => MonadParser t m | m -> t where
parses tokens t
Methods
tokenParse :: m t
Instances
MonadZero m => MonadParser t (LiftedListParser m t)
MonadZero m => MonadParser t (LookaheadListParser m t)
Monad m => MonadParser t (LookaheadStreamParser m t)
Monad m => MonadParser t (Contextual m (m t))
Monad m => MonadParser t (OrStreamParser m t)
Monad m => MonadParser t (PlusStreamParser m t)
class MonadParser t m => MonadLookaheadParser t m | m -> t where
has one-token look-ahead
Methods
tokenExamine :: m t
tokenAccept :: m ()
Instances
MonadZero m => MonadLookaheadParser t (LiftedListParser m t)
MonadZero m => MonadLookaheadParser t (LookaheadListParser m t)
Monad m => MonadLookaheadParser t (LookaheadStreamParser m t)
Monad m => MonadLookaheadParser t (OrStreamParser m t)
Monad m => MonadLookaheadParser t (PlusStreamParser m t)
class (MonadZero m, MonadLookaheadParser t m) => MonadZeroParser t m | m -> t
Instances
(MonadZero m, MonadLookaheadParser t m) => MonadZeroParser t m
class (MonadOr m, MonadLookaheadParser t m) => MonadOrParser t m | m -> t
Instances
(MonadOr m, MonadLookaheadParser t m) => MonadOrParser t m
class (MonadOrParser t m, MonadThrow ex m) => StoppableMonadOrParser ex t m | m -> t
Instances
(MonadOrParser t m, MonadThrow ex m) => StoppableMonadOrParser ex t m
fatalParserError :: MonadThrow ex m => ex -> m a
class (MonadFirst m, MonadOrParser t m) => MonadFirstParser t m | m -> t
Instances
(MonadFirst m, MonadOrParser t m) => MonadFirstParser t m
class (MonadFirstParser t m, StoppableMonadOrParser ex t m) => StoppableMonadFirstParser ex t m | m -> t
Instances
(MonadFirstParser t m, StoppableMonadOrParser ex t m) => StoppableMonadFirstParser ex t m
class (Monad m, MonadParser t p) => LiftedParser t m p | p -> t, p -> m where
Methods
parserLift :: forall a . m a -> p a
Instances
(LiftedMonad innerm m, MonadZero m) => LiftedParser t innerm (LiftedListParser m t)
MonadZero m => LiftedParser t m (LookaheadListParser m t)
Monad m => LiftedParser t m (OrStreamParser m t)
Monad m => LiftedParser t m (PlusStreamParser m t)
matchTokenParse :: MonadZeroParser t m => (t -> Bool) -> m t
matchingListParser :: MonadOrParser t m => (t -> Bool) -> m [t]
allTokensParse :: MonadOrParser t m => m [t]
streamEndParse :: MonadOrParser t m => m ()
isTokenParse :: (MonadZeroParser t m, Eq t) => t -> m t
isntTokenParse :: (MonadZeroParser t m, Eq t) => t -> m t
isListParse :: (MonadZeroParser t m, Eq t) => [t] -> m [t]
unexpectedTokenError :: (Show t, StoppableMonadOrParser String t p) => String -> p a
mOrUnexpectedTokenError :: (Show t, StoppableMonadOrParser String t p) => String -> p a -> p a
Produced by Haddock version 0.6