Safe Haskell	Safe-Inferred
Language	Haskell2010

SimpleParser.Examples.Lexed.Sexp

Description

Parses S-expressions but lexes first

Documentation

newtype Sexp Source #

Constructors

Sexp
Fields unSexp :: SexpF Sexp

Instances

Instances details

Show Sexp Source #
Instance details Defined in SimpleParser.Examples.Common.Sexp Methods showsPrec :: Int -> Sexp -> ShowS # show :: Sexp -> String # showList :: [Sexp] -> ShowS #
Eq Sexp Source #
Instance details Defined in SimpleParser.Examples.Common.Sexp Methods (==) :: Sexp -> Sexp -> Bool # (/=) :: Sexp -> Sexp -> Bool #

data SexpF a Source #

Constructors

SexpAtom !Atom
SexpList !(Seq a)

Instances

Instances details

Foldable SexpF Source #
Instance details Defined in SimpleParser.Examples.Common.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 Source #
Instance details Defined in SimpleParser.Examples.Common.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) #
Functor SexpF Source #
Instance details Defined in SimpleParser.Examples.Common.Sexp Methods fmap :: (a -> b) -> SexpF a -> SexpF b # (<$) :: a -> SexpF b -> SexpF a #
Show a => Show (SexpF a) Source #
Instance details Defined in SimpleParser.Examples.Common.Sexp Methods showsPrec :: Int -> SexpF a -> ShowS # show :: SexpF a -> String # showList :: [SexpF a] -> ShowS #
Eq a => Eq (SexpF a) Source #
Instance details Defined in SimpleParser.Examples.Common.Sexp Methods (==) :: SexpF a -> SexpF a -> Bool # (/=) :: SexpF a -> SexpF a -> Bool #

data Atom Source #

Constructors

AtomIdent !Text
AtomString !Text
AtomInt !Integer
AtomSci !Scientific

Instances

Instances details

Show Atom Source #
Instance details Defined in SimpleParser.Examples.Common.Sexp Methods showsPrec :: Int -> Atom -> ShowS # show :: Atom -> String # showList :: [Atom] -> ShowS #
Eq Atom Source #
Instance details Defined in SimpleParser.Examples.Common.Sexp Methods (==) :: Atom -> Atom -> Bool # (/=) :: Atom -> Atom -> Bool #
TextBuildable Atom Source #
Instance details Defined in SimpleParser.Examples.Common.Sexp Methods buildText :: Atom -> Builder Source #

data SexpTokLabel Source #

Constructors

SexpTokLabelIdentStart
SexpTokLabelEmbedText !TextLabel

Instances

Instances details

Show SexpTokLabel Source #
Instance details Defined in SimpleParser.Examples.Lexed.Sexp Methods showsPrec :: Int -> SexpTokLabel -> ShowS # show :: SexpTokLabel -> String # showList :: [SexpTokLabel] -> ShowS #
Eq SexpTokLabel Source #
Instance details Defined in SimpleParser.Examples.Lexed.Sexp Methods (==) :: SexpTokLabel -> SexpTokLabel -> Bool # (/=) :: SexpTokLabel -> SexpTokLabel -> Bool #
EmbedTextLabel SexpTokLabel Source #
Instance details Defined in SimpleParser.Examples.Lexed.Sexp Methods embedTextLabel :: TextLabel -> SexpTokLabel Source #
ExplainLabel SexpTokLabel Source #
Instance details Defined in SimpleParser.Examples.Lexed.Sexp Methods explainLabel :: SexpTokLabel -> Builder Source # explainLabelText :: SexpTokLabel -> Text Source #

type SexpTokParserC s = (PosStream s, TextualStream s) Source #

type SexpTokParserM s a = Parser SexpTokLabel s Void a Source #

sexpTokParser :: SexpTokParserC s => SexpTokParserM s SexpTok Source #

type SexpParserC s = (Stream s, Token s ~ SexpTok) Source #

type SexpParserM s a = Parser Void s Void a Source #

sexpParser :: SexpParserC s => SexpParserM s Sexp Source #

runSexpParser :: (Typeable s, Typeable (Token s), Typeable (Chunk s), Typeable (Pos s), Show s, Show (Token s), Show (Chunk s), Show (Pos s), SexpTokParserC s, MonadThrow m) => s -> m Sexp Source #