Data.Sexp

S-Expressions are represented by Sexp. Conversions of arbitrary types to and from Sexp are done via the Sexpable type class.

The default implementation of Sexpable's toSexp and fromSexp require the type to have a Data instance. In other words, if a type is representable (which most types are), it is also Sexpable.

 data MyType = Foo { unFoo :: Int }
             deriving ( Data, Show, Typeable )

instance Sexpable MyType

S-Expressions

data Sexp

A ByteString-based S-Expression. Conceptually, a Sexp is either an single atom represented by a ByteString, or a list of Sexp.

Constructors

List [Sexp]

Atom ByteString

Instances

Eq Sexp

Show Sexp

class Sexpable a where

Type class for things that can be converted to and from S-Expressions.

Methods

toSexp :: a -> Sexp

fromSexp :: (Monad m, Applicative m) => Sexp -> m a

Instances

Sexpable Bool

Sexpable Double

Sexpable Int

Sexpable Integer

Sexpable ByteString

Sexpable ByteString

Helpers

escape :: ByteString -> ByteString

unescape :: ByteString -> ByteString

The inverse of escape.