Safe Haskell	None
Language	Haskell2010

B9.Artifact.Content.ErlTerms

Description

Erlang term parser and pretty printer.

Documentation

parseErlTerm :: String -> Text -> Either String SimpleErlangTerm Source #

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

erlTermParser :: Parser SimpleErlangTerm Source #

renderErlTerm :: SimpleErlangTerm -> Text Source #

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

data SimpleErlangTerm Source #

Simplified Erlang term representation.

Constructors

ErlString String
ErlFloat Double
ErlNatural Integer
ErlAtom String
ErlChar Char
ErlBinary String
ErlList [SimpleErlangTerm]
ErlTuple [SimpleErlangTerm]

Instances

Eq SimpleErlangTerm Source #
Instance details Defined in B9.Artifact.Content.ErlTerms Methods (==) :: SimpleErlangTerm -> SimpleErlangTerm -> Bool # (/=) :: SimpleErlangTerm -> SimpleErlangTerm -> Bool #
Data SimpleErlangTerm Source #
Instance details Defined in B9.Artifact.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 Source #
Instance details Defined in B9.Artifact.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 Source #
Instance details Defined in B9.Artifact.Content.ErlTerms Methods readsPrec :: Int -> ReadS SimpleErlangTerm # readList :: ReadS [SimpleErlangTerm] # readPrec :: ReadPrec SimpleErlangTerm # readListPrec :: ReadPrec [SimpleErlangTerm] #
Show SimpleErlangTerm Source #
Instance details Defined in B9.Artifact.Content.ErlTerms Methods showsPrec :: Int -> SimpleErlangTerm -> ShowS # show :: SimpleErlangTerm -> String # showList :: [SimpleErlangTerm] -> ShowS #
Generic SimpleErlangTerm Source #
Instance details Defined in B9.Artifact.Content.ErlTerms Associated Types type Rep SimpleErlangTerm :: Type -> Type # Methods from :: SimpleErlangTerm -> Rep SimpleErlangTerm x # to :: Rep SimpleErlangTerm x -> SimpleErlangTerm #
Arbitrary SimpleErlangTerm Source #
Instance details Defined in B9.Artifact.Content.ErlTerms Methods arbitrary :: Gen SimpleErlangTerm # shrink :: SimpleErlangTerm -> [SimpleErlangTerm] #
Hashable SimpleErlangTerm Source #
Instance details Defined in B9.Artifact.Content.ErlTerms Methods hashWithSalt :: Int -> SimpleErlangTerm -> Int # hash :: SimpleErlangTerm -> Int #
Binary SimpleErlangTerm Source #
Instance details Defined in B9.Artifact.Content.ErlTerms Methods put :: SimpleErlangTerm -> Put # get :: Get SimpleErlangTerm # putList :: [SimpleErlangTerm] -> Put #
NFData SimpleErlangTerm Source #
Instance details Defined in B9.Artifact.Content.ErlTerms Methods rnf :: SimpleErlangTerm -> () #
type Rep SimpleErlangTerm Source #
Instance details Defined in B9.Artifact.Content.ErlTerms type Rep SimpleErlangTerm = D1 (MetaData "SimpleErlangTerm" "B9.Artifact.Content.ErlTerms" "b9-1.1.0-inplace" 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 Source #

arbitraryErlString :: Gen SimpleErlangTerm Source #

arbitraryErlNumber :: Gen SimpleErlangTerm Source #

arbitraryErlNatural :: Gen SimpleErlangTerm Source #

arbitraryErlFloat :: Gen SimpleErlangTerm Source #

arbitraryErlNameChar :: Gen Char Source #