Functor SexpF Source #
Instance details Defined in Language.Sexp.Types Methods fmap :: (a -> b) -> SexpF a -> SexpF b # (<$) :: a -> SexpF b -> SexpF a #
Show Sexp #
Instance details Defined in Language.Sexp.Located Methods showsPrec :: Int -> Sexp -> ShowS # show :: Sexp -> String # showList :: [Sexp] -> ShowS #
Show Sexp #
Instance details Defined in Language.Sexp Methods showsPrec :: Int -> Sexp -> ShowS # show :: Sexp -> String # showList :: [Sexp] -> ShowS #
Foldable SexpF Source #
Instance details Defined in Language.Sexp.Types Methods fold :: Monoid m => SexpF m -> 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 Language.Sexp.Types 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) #
Eq1 SexpF Source #
Instance details Defined in Language.Sexp.Types Methods liftEq :: (a -> b -> Bool) -> SexpF a -> SexpF b -> Bool #
Generic (SexpF e) Source #
Instance details Defined in Language.Sexp.Types Associated Types type Rep (SexpF e) :: * -> * # Methods from :: SexpF e -> Rep (SexpF e) x # to :: Rep (SexpF e) x -> SexpF e #
NFData (Fix (Compose (LocatedBy Position) SexpF)) Source #
Instance details Defined in Language.Sexp.Types Methods rnf :: Fix (Compose (LocatedBy Position) SexpF) -> () #
NFData (Fix SexpF) Source #
Instance details Defined in Language.Sexp.Types Methods rnf :: Fix SexpF -> () #
Pretty (Fix SexpF) #
Instance details Defined in Language.Sexp.Pretty Methods pretty :: Fix SexpF -> Doc ann # prettyList :: [Fix SexpF] -> Doc ann #
type Rep (SexpF e) Source #
Instance details Defined in Language.Sexp.Types type Rep (SexpF e) = D1 (MetaData "SexpF" "Language.Sexp.Types" "sexp-grammar-2.0.1-mlr1oiuTYAJrcfHK2CqYr" False) ((C1 (MetaCons "AtomF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Atom)) :+: C1 (MetaCons "ParenListF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [e]))) :+: (C1 (MetaCons "BracketListF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [e])) :+: (C1 (MetaCons "BraceListF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [e])) :+: C1 (MetaCons "ModifiedF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Prefix) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 e)))))

data Atom Source #

S-expression atom type

Constructors

AtomNumber !Scientific
AtomString !Text
AtomSymbol !Text

Instances

Eq Atom Source #
Instance details Defined in Language.Sexp.Types Methods (==) :: Atom -> Atom -> Bool # (/=) :: Atom -> Atom -> Bool #
Ord Atom Source #
Instance details Defined in Language.Sexp.Types Methods compare :: Atom -> Atom -> Ordering # (<) :: Atom -> Atom -> Bool # (<=) :: Atom -> Atom -> Bool # (>) :: Atom -> Atom -> Bool # (>=) :: Atom -> Atom -> Bool # max :: Atom -> Atom -> Atom # min :: Atom -> Atom -> Atom #
Show Atom Source #
Instance details Defined in Language.Sexp.Types Methods showsPrec :: Int -> Atom -> ShowS # show :: Atom -> String # showList :: [Atom] -> ShowS #
Generic Atom Source #
Instance details Defined in Language.Sexp.Types Associated Types type Rep Atom :: * -> * # Methods from :: Atom -> Rep Atom x # to :: Rep Atom x -> Atom #
NFData Atom Source #
Instance details Defined in Language.Sexp.Types Methods rnf :: Atom -> () #
Pretty Atom #
Instance details Defined in Language.Sexp.Pretty Methods pretty :: Atom -> Doc ann # prettyList :: [Atom] -> Doc ann #
type Rep Atom Source #
Instance details Defined in Language.Sexp.Types type Rep Atom = D1 (MetaData "Atom" "Language.Sexp.Types" "sexp-grammar-2.0.1-mlr1oiuTYAJrcfHK2CqYr" False) (C1 (MetaCons "AtomNumber" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Scientific)) :+: (C1 (MetaCons "AtomString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Text)) :+: C1 (MetaCons "AtomSymbol" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Text))))

data Prefix Source #

S-expression quotation type

Constructors

Quote
Backtick
Comma
CommaAt
Hash

Instances

Eq Prefix Source #
Instance details Defined in Language.Sexp.Types Methods (==) :: Prefix -> Prefix -> Bool # (/=) :: Prefix -> Prefix -> Bool #
Ord Prefix Source #
Instance details Defined in Language.Sexp.Types Methods compare :: Prefix -> Prefix -> Ordering # (<) :: Prefix -> Prefix -> Bool # (<=) :: Prefix -> Prefix -> Bool # (>) :: Prefix -> Prefix -> Bool # (>=) :: Prefix -> Prefix -> Bool # max :: Prefix -> Prefix -> Prefix # min :: Prefix -> Prefix -> Prefix #
Show Prefix Source #
Instance details Defined in Language.Sexp.Types Methods showsPrec :: Int -> Prefix -> ShowS # show :: Prefix -> String # showList :: [Prefix] -> ShowS #
Generic Prefix Source #
Instance details Defined in Language.Sexp.Types Associated Types type Rep Prefix :: * -> * # Methods from :: Prefix -> Rep Prefix x # to :: Rep Prefix x -> Prefix #
NFData Prefix Source #
Instance details Defined in Language.Sexp.Types Methods rnf :: Prefix -> () #
type Rep Prefix Source #
Instance details Defined in Language.Sexp.Types type Rep Prefix = D1 (MetaData "Prefix" "Language.Sexp.Types" "sexp-grammar-2.0.1-mlr1oiuTYAJrcfHK2CqYr" False) ((C1 (MetaCons "Quote" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "Backtick" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "Comma" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "CommaAt" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "Hash" PrefixI False) (U1 :: -> *))))

Orphan instances

Show Sexp Source #
Instance details Methods showsPrec :: Int -> Sexp -> ShowS # show :: Sexp -> String # showList :: [Sexp] -> ShowS #