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

Defined in B9.Content.ErlTerms

Methods

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

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

Data SimpleErlangTerm

Defined in B9.Content.ErlTerms

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

Defined in B9.Content.ErlTerms

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

Defined in B9.Content.ErlTerms

Methods

readsPrec :: Int -> ReadS SimpleErlangTerm

readList :: ReadS [SimpleErlangTerm]

readPrec :: ReadPrec SimpleErlangTerm

readListPrec :: ReadPrec [SimpleErlangTerm]

Show SimpleErlangTerm

Defined in B9.Content.ErlTerms

Methods

showsPrec :: Int -> SimpleErlangTerm -> ShowS

show :: SimpleErlangTerm -> String

showList :: [SimpleErlangTerm] -> ShowS

Generic SimpleErlangTerm

Defined in B9.Content.ErlTerms

Associated Types

type Rep SimpleErlangTerm :: Type -> Type

Methods

from :: SimpleErlangTerm -> Rep SimpleErlangTerm x

to :: Rep SimpleErlangTerm x -> SimpleErlangTerm

Arbitrary SimpleErlangTerm

Defined in B9.Content.ErlTerms

Methods

arbitrary :: Gen SimpleErlangTerm

shrink :: SimpleErlangTerm -> [SimpleErlangTerm]

Hashable SimpleErlangTerm

Defined in B9.Content.ErlTerms

Methods

hashWithSalt :: Int -> SimpleErlangTerm -> Int

hash :: SimpleErlangTerm -> Int

Binary SimpleErlangTerm

Defined in B9.Content.ErlTerms

Methods

put :: SimpleErlangTerm -> Put

get :: Get SimpleErlangTerm

putList :: [SimpleErlangTerm] -> Put

NFData SimpleErlangTerm

Defined in B9.Content.ErlTerms

Methods

rnf :: SimpleErlangTerm -> ()

type Rep SimpleErlangTerm

Defined in B9.Content.ErlTerms

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

arbitraryErlSimpleAtom :: Gen SimpleErlangTerm

arbitraryErlString :: Gen SimpleErlangTerm

arbitraryErlNumber :: Gen SimpleErlangTerm

arbitraryErlNatural :: Gen SimpleErlangTerm

arbitraryErlFloat :: Gen SimpleErlangTerm

arbitraryErlNameChar :: Gen Char