sexpr-0.1.2: S-expression printer and parser




A Sexpr is an S-expressionin the style of Rivest's Canonical S-expressions. Atoms may be of any type, but String and ByteString have special support. Rivest's implementation of S-expressions is unusual in supporting MIME type hints for each atom. See



data Sexpr s Source


Functor Sexpr

The Functor instance maps over the underlying atomic contents of the S-expression. It does not map only over the top-level list, but over the fringe.

Foldable Sexpr 
Traversable Sexpr 
Eq s => Eq (Sexpr s) 
Read s => Read (Sexpr s) 
Show (Sexpr String) 
Show s => Show (Sexpr s) 

isAtom :: Sexpr a -> BoolSource

A predicate for identifying atoms, whether or not they have explicit hints.

isList :: Sexpr a -> BoolSource

A predicate for recognizing lists.

atom :: a -> Sexpr aSource

Construct an atom.

list :: [Sexpr a] -> Sexpr aSource

Construct a list.

unAtom :: Sexpr s -> sSource

Extract the content of an atom, discarding any MIME type hint.

unList :: Sexpr s -> [Sexpr s]Source

Extract the sub-S-expressions of a List. If all you intend to do is traverse or map over that list, the Functor instance of S-expressions may work just fine.

Hinted Atoms

hintedAtom :: String -> a -> Sexpr aSource

Construct an atom with a MIME type hint. hintedAtom defaultHint == atom

hint :: Sexpr a -> Maybe StringSource

Extract the hint of an atom. Lists do not have hints, but all atoms have hints.

defaultHint :: StringSource

Any atom whose hint is not specified is assumed to be text/plain; charset=iso-8859-1. This is that default value.

Character predicates to support encoding

isTokenChar :: Char -> BoolSource

Tokens may internally contain any of the characters legitimate to begin tokens, or any numeral.

isInitialTokenChar :: Char -> BoolSource

Tokens may begin with any alphabetic character or the characters in -./_:*+= ;

isQuoteableChar :: Char -> BoolSource

Only token characters and spaces don't need to be escaped when shown in the quoted syntax.