B9.Content.ErlTerms

Erlang term parser and pretty printer.

Documentation

parseErlTerm :: String -> ByteString -> Either String SimpleErlangTerm

Parse a subset of valid Erlang terms. It parses no maps and binaries are restricted to either empty binaries or binaries with a string. The input encoding must be restricted to ascii compatible 8-bit characters (e.g. latin-1 or UTF8).

renderErlTerm :: SimpleErlangTerm -> ByteString

Convert an abstract Erlang term to a pretty byte string preserving the encoding.

data SimpleErlangTerm

Simplified Erlang term representation.

Constructors

ErlString String

ErlFloat Double

ErlNatural Integer

ErlAtom String

ErlChar Char

ErlBinary String

ErlList [SimpleErlangTerm]

ErlTuple [SimpleErlangTerm]

Instances

Eq SimpleErlangTerm

Methods

(==) :: SimpleErlangTerm -> SimpleErlangTerm -> Bool

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

Data SimpleErlangTerm

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SimpleErlangTerm -> c SimpleErlangTerm

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SimpleErlangTerm

toConstr :: SimpleErlangTerm -> Constr

dataTypeOf :: SimpleErlangTerm -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SimpleErlangTerm)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SimpleErlangTerm)

gmapT :: (forall b. Data b => b -> b) -> SimpleErlangTerm -> SimpleErlangTerm

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SimpleErlangTerm -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SimpleErlangTerm -> r

gmapQ :: (forall d. Data d => d -> u) -> SimpleErlangTerm -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SimpleErlangTerm -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SimpleErlangTerm -> m SimpleErlangTerm

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleErlangTerm -> m SimpleErlangTerm

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleErlangTerm -> m SimpleErlangTerm

Ord SimpleErlangTerm

Methods

compare :: SimpleErlangTerm -> SimpleErlangTerm -> Ordering

(<) :: SimpleErlangTerm -> SimpleErlangTerm -> Bool

(<=) :: SimpleErlangTerm -> SimpleErlangTerm -> Bool

(>) :: SimpleErlangTerm -> SimpleErlangTerm -> Bool

(>=) :: SimpleErlangTerm -> SimpleErlangTerm -> Bool

max :: SimpleErlangTerm -> SimpleErlangTerm -> SimpleErlangTerm

min :: SimpleErlangTerm -> SimpleErlangTerm -> SimpleErlangTerm

Read SimpleErlangTerm

Methods

readsPrec :: Int -> ReadS SimpleErlangTerm

readList :: ReadS [SimpleErlangTerm]

readPrec :: ReadPrec SimpleErlangTerm

readListPrec :: ReadPrec [SimpleErlangTerm]

Show SimpleErlangTerm

Methods

showsPrec :: Int -> SimpleErlangTerm -> ShowS

show :: SimpleErlangTerm -> String

showList :: [SimpleErlangTerm] -> ShowS

Generic SimpleErlangTerm

Associated Types

type Rep SimpleErlangTerm :: * -> *

Methods

from :: SimpleErlangTerm -> Rep SimpleErlangTerm x

to :: Rep SimpleErlangTerm x -> SimpleErlangTerm

Arbitrary SimpleErlangTerm

Methods

arbitrary :: Gen SimpleErlangTerm

shrink :: SimpleErlangTerm -> [SimpleErlangTerm]

Hashable SimpleErlangTerm

Methods

hashWithSalt :: Int -> SimpleErlangTerm -> Int

hash :: SimpleErlangTerm -> Int

Binary SimpleErlangTerm

Methods

put :: SimpleErlangTerm -> Put

get :: Get SimpleErlangTerm

putList :: [SimpleErlangTerm] -> Put

NFData SimpleErlangTerm

Methods

rnf :: SimpleErlangTerm -> ()

type Rep SimpleErlangTerm

type Rep SimpleErlangTerm = D1 * (MetaData "SimpleErlangTerm" "B9.Content.ErlTerms" "b9-0.5.49-ENUvl0zvBQDTAcPpsBhj5" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "ErlString" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))) (C1 * (MetaCons "ErlFloat" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Double)))) ((:+:) * (C1 * (MetaCons "ErlNatural" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer))) (C1 * (MetaCons "ErlAtom" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))) ((:+:) * ((:+:) * (C1 * (MetaCons "ErlChar" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Char))) (C1 * (MetaCons "ErlBinary" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))) ((:+:) * (C1 * (MetaCons "ErlList" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [SimpleErlangTerm]))) (C1 * (MetaCons "ErlTuple" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [SimpleErlangTerm]))))))

arbitraryErlSimpleAtom :: Gen SimpleErlangTerm

arbitraryErlString :: Gen SimpleErlangTerm

arbitraryErlNumber :: Gen SimpleErlangTerm

arbitraryErlNatural :: Gen SimpleErlangTerm

arbitraryErlFloat :: Gen SimpleErlangTerm

arbitraryErlNameChar :: Gen Char