Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Term where
- Integer Integer
- Float Double
- Atom ByteString
- Reference ByteString Word32 Word8
- Port ByteString Word32 Word8
- Pid ByteString Word32 Word32 Word8
- Tuple (Vector Term)
- Map (Vector MapEntry)
- Nil
- String ByteString
- List (Vector Term) Term
- Binary ByteString
- NewReference ByteString Word8 [Word32]
- pattern Tuple2 :: Term -> Term -> Term
- pattern Tuple3 :: Term -> Term -> Term -> Term
- pattern Tuple4 :: Term -> Term -> Term -> Term -> Term
- pattern Tuple5 :: Term -> Term -> Term -> Term -> Term -> Term
- pattern Tuple6 :: Term -> Term -> Term -> Term -> Term -> Term -> Term
- pattern Tuple7 :: Term -> Term -> Term -> Term -> Term -> Term -> Term -> Term
- pattern List1 :: Term -> Term
- pattern List2 :: Term -> Term -> Term
- pattern List3 :: Term -> Term -> Term -> Term
- pattern List4 :: Term -> Term -> Term -> Term -> Term
- pattern List5 :: Term -> Term -> Term -> Term -> Term -> Term
- pattern List6 :: Term -> Term -> Term -> Term -> Term -> Term -> Term
- pattern List7 :: Term -> Term -> Term -> Term -> Term -> Term -> Term -> Term
- pattern Map1 :: MapEntry -> Term
- pattern Map2 :: MapEntry -> MapEntry -> Term
- pattern Map3 :: MapEntry -> MapEntry -> MapEntry -> Term
- pattern Map4 :: MapEntry -> MapEntry -> MapEntry -> MapEntry -> Term
- pattern Map5 :: MapEntry -> MapEntry -> MapEntry -> MapEntry -> MapEntry -> Term
- pattern Map6 :: MapEntry -> MapEntry -> MapEntry -> MapEntry -> MapEntry -> MapEntry -> Term
- pattern Map7 :: MapEntry -> MapEntry -> MapEntry -> MapEntry -> MapEntry -> MapEntry -> MapEntry -> Term
- putTerm :: ToTerm t => t -> Put
- getTerm :: Get Term
- data MapEntry where
- class ToTerm a where
- toTerms :: ToTerm a => [a] -> Term
- class FromTerm a where
- fromTerms :: FromTerm a => Term -> Maybe [a]
- fromTermA :: (FromTerm a, Alternative m) => Term -> m a
- integer :: Integer -> Term
- data SInteger (n :: Nat) = SInteger
- float :: Double -> Term
- atom :: ByteString -> Term
- data SAtom (atom :: Symbol) = SAtom
- port :: ByteString -> Word32 -> Word8 -> Term
- pid :: ByteString -> Word32 -> Word32 -> Word8 -> Pid
- newtype Pid = MkPid Term
- tuple :: [Term] -> Term
- newtype Tuple1 a = Tuple1 a
- string :: ByteString -> Term
- list :: [Term] -> Term
- improperList :: [Term] -> Term -> Term
- ref :: ByteString -> Word8 -> [Word32] -> Term
- is_integer :: Term -> Bool
- is_float :: Term -> Bool
- is_atom :: Term -> Bool
- is_reference :: Term -> Bool
- is_port :: Term -> Bool
- is_pid :: Term -> Bool
- is_tuple :: Term -> Bool
- is_map :: Term -> Bool
- is_list :: Term -> Bool
- is_binary :: Term -> Bool
- node :: Term -> Term
- atom_name :: Term -> ByteString
- length :: Term -> Int
- element :: Int -> Term -> Term
- to_string :: Term -> Maybe ByteString
- to_integer :: Term -> Maybe Integer
- match_atom :: Term -> ByteString -> Maybe ByteString
- match_tuple :: Term -> Maybe [Term]
External Term Format
Instances
Instances
Eq MapEntry Source # | |
Ord MapEntry Source # | |
Defined in Foreign.Erlang.Term | |
Show MapEntry Source # | |
Generic MapEntry Source # | |
Binary MapEntry Source # | |
NFData MapEntry Source # | |
Defined in Foreign.Erlang.Term | |
type Rep MapEntry Source # | |
Defined in Foreign.Erlang.Term type Rep MapEntry = D1 (MetaData "MapEntry" "Foreign.Erlang.Term" "hinterface-0.8.3-FBY3hYxhgLHHXxzuoYKnyy" False) (C1 (MetaCons "MapEntry" PrefixI True) (S1 (MetaSel (Just "key") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Term) :*: S1 (MetaSel (Just "value") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Term))) |
Conversion to and from External Term Format
Instances
ToTerm Bool Source # | |
ToTerm Double Source # | |
ToTerm Integer Source # | |
ToTerm () Source # | |
Defined in Foreign.Erlang.Term | |
ToTerm String Source # | |
ToTerm Pid Source # | |
ToTerm Term Source # | |
ToTerm a => ToTerm (Maybe a) Source # | |
ToTerm a => ToTerm (NonEmpty a) Source # | |
ToTerm a => ToTerm (Tuple1 a) Source # | |
KnownSymbol atom => ToTerm (SAtom atom) Source # | |
KnownNat n => ToTerm (SInteger n) Source # | |
(ToTerm a, ToTerm b) => ToTerm (Either a b) Source # | |
(ToTerm a, ToTerm b) => ToTerm (a, b) Source # | |
Defined in Foreign.Erlang.Term | |
(ToTerm a, ToTerm b, ToTerm c) => ToTerm (a, b, c) Source # | |
Defined in Foreign.Erlang.Term | |
(ToTerm a, ToTerm b, ToTerm c, ToTerm d) => ToTerm (a, b, c, d) Source # | |
Defined in Foreign.Erlang.Term | |
(ToTerm a, ToTerm b, ToTerm c, ToTerm d, ToTerm e) => ToTerm (a, b, c, d, e) Source # | |
Defined in Foreign.Erlang.Term |
class FromTerm a where Source #
Instances
FromTerm Bool Source # | |
FromTerm Double Source # | |
FromTerm Integer Source # | |
FromTerm () Source # | |
FromTerm String Source # | |
FromTerm Pid Source # | |
FromTerm Term Source # | |
FromTerm a => FromTerm (Maybe a) Source # | |
FromTerm a => FromTerm (NonEmpty a) Source # | |
FromTerm a => FromTerm (Tuple1 a) Source # | |
KnownSymbol atom => FromTerm (SAtom atom) Source # | |
KnownNat n => FromTerm (SInteger n) Source # | |
(FromTerm a, FromTerm b) => FromTerm (Either a b) Source # | |
(FromTerm a, FromTerm b) => FromTerm (a, b) Source # | |
(FromTerm a, FromTerm b, FromTerm c) => FromTerm (a, b, c) Source # | |
(FromTerm a, FromTerm b, FromTerm c, FromTerm d) => FromTerm (a, b, c, d) Source # | |
(FromTerm a, FromTerm b, FromTerm c, FromTerm d, FromTerm e) => FromTerm (a, b, c, d, e) Source # | |
Constructors
Static numbers
data SInteger (n :: Nat) Source #
A static/constant number.
Static atoms
data SAtom (atom :: Symbol) Source #
A static/constant atom.
Instances
KnownSymbol atom => Show (SAtom atom) Source # | |
KnownSymbol atom => FromTerm (SAtom atom) Source # | |
KnownSymbol atom => ToTerm (SAtom atom) Source # | |
Tuple1 a |
Construct an improper list (if Tail is not Nil)
:: ByteString | Node name |
-> Word8 | Creation |
-> [Word32] | ID ... |
-> Term |
Construct a new reference
Recognizers
is_integer :: Term -> Bool Source #
Test if term is an integer
is_reference :: Term -> Bool Source #
Test if term is a reference
Accessors
atom_name :: Term -> ByteString Source #
Matchers
match_atom :: Term -> ByteString -> Maybe ByteString Source #