SimpleParser.Examples.Direct.Ast

Parses Sexp-formatted ASTs

Documentation

data AstLabel

Constructors

AstLabelEmbedText !TextLabel

AstLabelCtorList

AstLabelCtorHead

AstLabelCtorBody !Text

AstLabelCustom !Text

Instances

Show AstLabel

Defined in SimpleParser.Examples.Direct.Ast

Methods

showsPrec :: Int -> AstLabel -> ShowS

show :: AstLabel -> String

showList :: [AstLabel] -> ShowS

Eq AstLabel

Defined in SimpleParser.Examples.Direct.Ast

Methods

(==) :: AstLabel -> AstLabel -> Bool

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

EmbedTextLabel AstLabel

Defined in SimpleParser.Examples.Direct.Ast

Methods

embedTextLabel :: TextLabel -> AstLabel

ExplainLabel AstLabel

Defined in SimpleParser.Examples.Direct.Ast

Methods

explainLabel :: AstLabel -> Builder

explainLabelText :: AstLabel -> Text

type AstParserC s = (TextualStream s, Chunk s ~ Text)

type AstParserM s e a = Parser AstLabel s e a

data CtorRes e a

Constructors

CtorResFail !String

CtorResErr !e

CtorResVal !a

Instances

MonadError e (CtorRes e)

Defined in SimpleParser.Examples.Direct.Ast

Methods

throwError :: e -> CtorRes e a

catchError :: CtorRes e a -> (e -> CtorRes e a) -> CtorRes e a

MonadFail (CtorRes e)

Defined in SimpleParser.Examples.Direct.Ast

Methods

fail :: String -> CtorRes e a

Foldable (CtorRes e)

Defined in SimpleParser.Examples.Direct.Ast

Methods

fold :: Monoid m => CtorRes e m -> m

foldMap :: Monoid m => (a -> m) -> CtorRes e a -> m

foldMap' :: Monoid m => (a -> m) -> CtorRes e a -> m

foldr :: (a -> b -> b) -> b -> CtorRes e a -> b

foldr' :: (a -> b -> b) -> b -> CtorRes e a -> b

foldl :: (b -> a -> b) -> b -> CtorRes e a -> b

foldl' :: (b -> a -> b) -> b -> CtorRes e a -> b

foldr1 :: (a -> a -> a) -> CtorRes e a -> a

foldl1 :: (a -> a -> a) -> CtorRes e a -> a

toList :: CtorRes e a -> [a]

null :: CtorRes e a -> Bool

length :: CtorRes e a -> Int

elem :: Eq a => a -> CtorRes e a -> Bool

maximum :: Ord a => CtorRes e a -> a

minimum :: Ord a => CtorRes e a -> a

sum :: Num a => CtorRes e a -> a

product :: Num a => CtorRes e a -> a

Traversable (CtorRes e)

Defined in SimpleParser.Examples.Direct.Ast

Methods

traverse :: Applicative f => (a -> f b) -> CtorRes e a -> f (CtorRes e b)

sequenceA :: Applicative f => CtorRes e (f a) -> f (CtorRes e a)

mapM :: Monad m => (a -> m b) -> CtorRes e a -> m (CtorRes e b)

sequence :: Monad m => CtorRes e (m a) -> m (CtorRes e a)

Applicative (CtorRes e)

Defined in SimpleParser.Examples.Direct.Ast

Methods

pure :: a -> CtorRes e a

(<*>) :: CtorRes e (a -> b) -> CtorRes e a -> CtorRes e b

liftA2 :: (a -> b -> c) -> CtorRes e a -> CtorRes e b -> CtorRes e c

(*>) :: CtorRes e a -> CtorRes e b -> CtorRes e b

(<*) :: CtorRes e a -> CtorRes e b -> CtorRes e a

Functor (CtorRes e)

Defined in SimpleParser.Examples.Direct.Ast

Methods

fmap :: (a -> b) -> CtorRes e a -> CtorRes e b

(<$) :: a -> CtorRes e b -> CtorRes e a

Monad (CtorRes e)

Defined in SimpleParser.Examples.Direct.Ast

Methods

(>>=) :: CtorRes e a -> (a -> CtorRes e b) -> CtorRes e b

(>>) :: CtorRes e a -> CtorRes e b -> CtorRes e b

return :: a -> CtorRes e a

(Show e, Show a) => Show (CtorRes e a)

Defined in SimpleParser.Examples.Direct.Ast

Methods

showsPrec :: Int -> CtorRes e a -> ShowS

show :: CtorRes e a -> String

showList :: [CtorRes e a] -> ShowS

(Eq e, Eq a) => Eq (CtorRes e a)

Defined in SimpleParser.Examples.Direct.Ast

Methods

(==) :: CtorRes e a -> CtorRes e a -> Bool

(/=) :: CtorRes e a -> CtorRes e a -> Bool

(Ord e, Ord a) => Ord (CtorRes e a)

Defined in SimpleParser.Examples.Direct.Ast

Methods

compare :: CtorRes e a -> CtorRes e a -> Ordering

(<) :: CtorRes e a -> CtorRes e a -> Bool

(<=) :: CtorRes e a -> CtorRes e a -> Bool

(>) :: CtorRes e a -> CtorRes e a -> Bool

(>=) :: CtorRes e a -> CtorRes e a -> Bool

max :: CtorRes e a -> CtorRes e a -> CtorRes e a

min :: CtorRes e a -> CtorRes e a -> CtorRes e a

data Ctor s e t where

Constructors

Ctor0 :: CtorRes e t -> Ctor s e t

Ctor1 :: (a -> CtorRes e t) -> AstParserM s e a -> Ctor s e t

Ctor2 :: (a -> b -> CtorRes e t) -> AstParserM s e a -> AstParserM s e b -> Ctor s e t

Ctor3 :: (a -> b -> c -> CtorRes e t) -> AstParserM s e a -> AstParserM s e b -> AstParserM s e c -> Ctor s e t

Ctor4 :: (a -> b -> c -> d -> CtorRes e t) -> AstParserM s e a -> AstParserM s e b -> AstParserM s e c -> AstParserM s e d -> Ctor s e t

Ctor5 :: (a -> b -> c -> d -> x -> CtorRes e t) -> AstParserM s e a -> AstParserM s e b -> AstParserM s e c -> AstParserM s e d -> AstParserM s e x -> Ctor s e t

CtorN :: (Seq a -> CtorRes e t) -> AstParserM s e a -> Ctor s e t

type CtorDefns s e t = Map Text (Ctor s e t)

astParser :: AstParserC s => AstParserM s e t -> (AstParserM s e t -> CtorDefns s e t) -> AstParserM s e t

lexAstParser :: AstParserC s => AstParserM s e a -> AstParserM s e a

identAstParser :: AstParserC s => Maybe AstLabel -> AstParserM s e Text