SimpleParser.Examples.Sexp

Documentation

newtype Sexp

Constructors

Sexp

Fields

• unSexp :: SexpF Sexp

Instances

Eq Sexp

Defined in SimpleParser.Examples.Sexp

Methods

(==) :: Sexp -> Sexp -> Bool

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

Show Sexp

Defined in SimpleParser.Examples.Sexp

Methods

showsPrec :: Int -> Sexp -> ShowS

show :: Sexp -> String

showList :: [Sexp] -> ShowS

data SexpF a

Constructors

SexpAtom !Atom

SexpList !(Seq a)

Instances

Functor SexpF

Defined in SimpleParser.Examples.Sexp

Methods

fmap :: (a -> b) -> SexpF a -> SexpF b

(<$) :: a -> SexpF b -> SexpF a

Foldable SexpF

Defined in SimpleParser.Examples.Sexp

Methods

fold :: Monoid m => SexpF m -> m

foldMap :: Monoid m => (a -> m) -> SexpF a -> m

foldMap' :: Monoid m => (a -> m) -> SexpF a -> m

foldr :: (a -> b -> b) -> b -> SexpF a -> b

foldr' :: (a -> b -> b) -> b -> SexpF a -> b

foldl :: (b -> a -> b) -> b -> SexpF a -> b

foldl' :: (b -> a -> b) -> b -> SexpF a -> b

foldr1 :: (a -> a -> a) -> SexpF a -> a

foldl1 :: (a -> a -> a) -> SexpF a -> a

toList :: SexpF a -> [a]

null :: SexpF a -> Bool

length :: SexpF a -> Int

elem :: Eq a => a -> SexpF a -> Bool

maximum :: Ord a => SexpF a -> a

minimum :: Ord a => SexpF a -> a

sum :: Num a => SexpF a -> a

product :: Num a => SexpF a -> a

Traversable SexpF

Defined in SimpleParser.Examples.Sexp

Methods

traverse :: Applicative f => (a -> f b) -> SexpF a -> f (SexpF b)

sequenceA :: Applicative f => SexpF (f a) -> f (SexpF a)

mapM :: Monad m => (a -> m b) -> SexpF a -> m (SexpF b)

sequence :: Monad m => SexpF (m a) -> m (SexpF a)

Eq a => Eq (SexpF a)

Defined in SimpleParser.Examples.Sexp

Methods

(==) :: SexpF a -> SexpF a -> Bool

(/=) :: SexpF a -> SexpF a -> Bool

Show a => Show (SexpF a)

Defined in SimpleParser.Examples.Sexp

Methods

showsPrec :: Int -> SexpF a -> ShowS

show :: SexpF a -> String

showList :: [SexpF a] -> ShowS

data Atom

Constructors

AtomIdent !Text

AtomString !Text

AtomInt !Integer

AtomSci !Scientific

Instances

Eq Atom

Defined in SimpleParser.Examples.Sexp

Methods

(==) :: Atom -> Atom -> Bool

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

Show Atom

Defined in SimpleParser.Examples.Sexp

Methods

showsPrec :: Int -> Atom -> ShowS

show :: Atom -> String

showList :: [Atom] -> ShowS

data SexpLabel

Constructors

SexpLabelIdentStart

SexpLabelEmbedText !TextLabel

SexpLabelCustom !Text

Instances

Eq SexpLabel

Defined in SimpleParser.Examples.Sexp

Methods

(==) :: SexpLabel -> SexpLabel -> Bool

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

Show SexpLabel

Defined in SimpleParser.Examples.Sexp

Methods

showsPrec :: Int -> SexpLabel -> ShowS

show :: SexpLabel -> String

showList :: [SexpLabel] -> ShowS

EmbedTextLabel SexpLabel

Defined in SimpleParser.Examples.Sexp

Methods

embedTextLabel :: TextLabel -> SexpLabel

ExplainLabel SexpLabel

Defined in SimpleParser.Examples.Sexp

Methods

explainLabel :: SexpLabel -> Builder

explainLabelText :: SexpLabel -> Text

type SexpParserC s = TextualStream s

type SexpParserM s a = Parser SexpLabel s Void a

sexpParser :: SexpParserC s => SexpParserM s Sexp

recSexpParser :: SexpParserC s => SexpParserM s a -> SexpParserM s (SexpF a)