Language.Sexp

Parse and print

decode :: ByteString -> Either String Sexp

Deserialise a Sexp from a string

decodeMany :: ByteString -> Either String [Sexp]

Deserialise potentially multiple Sexp from a string

encode :: Sexp -> ByteString

Serialise a Sexp into a compact string

format :: Sexp -> ByteString

Serialise a Sexp into a pretty-printed string

Type

type Sexp = Fix SexpF

pattern Atom :: Atom -> Sexp

pattern Number :: Scientific -> Sexp

pattern Symbol :: Text -> Sexp

pattern String :: Text -> Sexp

pattern ParenList :: [Sexp] -> Sexp

pattern BracketList :: [Sexp] -> Sexp

pattern BraceList :: [Sexp] -> Sexp

pattern Modified :: Prefix -> Sexp -> Sexp

Internal types

data SexpF e

S-expression functor

Constructors

AtomF !Atom

ParenListF [e]

BracketListF [e]

BraceListF [e]

ModifiedF !Prefix e

Instances

Functor SexpF

Methods

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

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

Foldable SexpF

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

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

Methods

liftEq :: (a -> b -> Bool) -> SexpF a -> SexpF b -> Bool

Generic (SexpF e)

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))

Methods

rnf :: Fix (Compose * * (LocatedBy Position) SexpF) -> ()

NFData (Fix SexpF)

Methods

rnf :: Fix SexpF -> ()

type Rep (SexpF e)

type Rep (SexpF e) = D1 * (MetaData "SexpF" "Language.Sexp.Types" "sexp-grammar-2.0.0-7H6WbiqRhQHGwWvTncrSQw" False) ((:+:) * ((:+:) * (C1 * (MetaCons "AtomF" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Atom))) (C1 * (MetaCons "ParenListF" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [e])))) ((:+:) * (C1 * (MetaCons "BracketListF" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [e]))) ((:+:) * (C1 * (MetaCons "BraceListF" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [e]))) (C1 * (MetaCons "ModifiedF" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Prefix)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * e)))))))

data Atom

S-expression atom type

Constructors

AtomNumber !Scientific

AtomString !Text

AtomSymbol !Text

Instances

Eq Atom

Methods

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

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

Ord Atom

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

Methods

showsPrec :: Int -> Atom -> ShowS

show :: Atom -> String

showList :: [Atom] -> ShowS

Generic Atom

Associated Types

type Rep Atom :: * -> *

Methods

from :: Atom -> Rep Atom x

to :: Rep Atom x -> Atom

NFData Atom

Methods

rnf :: Atom -> ()

type Rep Atom

type Rep Atom = D1 * (MetaData "Atom" "Language.Sexp.Types" "sexp-grammar-2.0.0-7H6WbiqRhQHGwWvTncrSQw" False) ((:+:) * (C1 * (MetaCons "AtomNumber" PrefixI False) (S1 * (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 * Scientific))) ((:+:) * (C1 * (MetaCons "AtomString" PrefixI False) (S1 * (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 * Text))) (C1 * (MetaCons "AtomSymbol" PrefixI False) (S1 * (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 * Text)))))

data Prefix

S-expression quotation type

Constructors

Quote

Backtick

Comma

CommaAt

Hash

Instances

Eq Prefix

Methods

(==) :: Prefix -> Prefix -> Bool

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

Ord Prefix

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

Methods

showsPrec :: Int -> Prefix -> ShowS

show :: Prefix -> String

showList :: [Prefix] -> ShowS

Generic Prefix

Associated Types

type Rep Prefix :: * -> *

Methods

from :: Prefix -> Rep Prefix x

to :: Rep Prefix x -> Prefix

NFData Prefix

Methods

rnf :: Prefix -> ()

type Rep Prefix

type Rep Prefix = D1 * (MetaData "Prefix" "Language.Sexp.Types" "sexp-grammar-2.0.0-7H6WbiqRhQHGwWvTncrSQw" 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

Methods

showsPrec :: Int -> Sexp -> ShowS

show :: Sexp -> String

showList :: [Sexp] -> ShowS