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 Source #
Instance details Defined in Language.Sexp.Located Methods showsPrec :: Int -> Sexp -> ShowS # show :: Sexp -> String # showList :: [Sexp] -> ShowS #
Show Sexp Source #
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 # 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 #
NFData1 SexpF Source #
Instance details Defined in Language.Sexp.Types Methods liftRnf :: (a -> ()) -> SexpF a -> () #
Generic (SexpF e) Source #
Instance details Defined in Language.Sexp.Types Associated Types type Rep (SexpF e) :: Type -> Type # Methods from :: SexpF e -> Rep (SexpF e) x # to :: Rep (SexpF e) x -> SexpF e #
Pretty (Fix SexpF) Source #
Instance details Defined in Language.Sexp.Pretty Methods pretty :: Fix SexpF -> Doc ann # prettyList :: [Fix SexpF] -> Doc ann #
NFData1 (Compose (LocatedBy Position) SexpF) Source #
Instance details Defined in Language.Sexp.Types Methods liftRnf :: (a -> ()) -> Compose (LocatedBy Position) SexpF a -> () #
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.3.0-JCnumEn9wOUGbR0nPzOSB9" '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

Instances details

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 :: Type -> Type # 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 Source #
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.3.0-JCnumEn9wOUGbR0nPzOSB9" '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

Instances details

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 :: Type -> Type # 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.3.0-JCnumEn9wOUGbR0nPzOSB9" 'False) ((C1 ('MetaCons "Quote" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Backtick" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Comma" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CommaAt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Hash" 'PrefixI 'False) (U1 :: Type -> Type))))

Orphan instances

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