Safe Haskell	None

Data.Beamable.Internal

Synopsis

Documentation

class Beamable a whereSource

Methods

beam :: a -> Builder Source

Serialize value into Builder

unbeam :: ByteString -> (a, ByteString)Source

Deserialize next value from ByteString, also returns leftovers

typeSignR :: [String] -> a -> Word64 Source

Get value's type signature, should work fine on undefined values takes list of strings with datatypes which already been traversed workaround to support recursive datatypes. In most cases you should be passing empty list in there.

Instances

Beamable Bool
Beamable Char
Beamable Double
Beamable Float
Beamable Int
Beamable Int8
Beamable Int16
Beamable Int32
Beamable Int64
Beamable Integer
Beamable Word
Beamable Word8
Beamable Word16
Beamable Word32
Beamable Word64
Beamable ()
Beamable ByteString
Beamable ByteString
Beamable TypeSign
Beamable a => Beamable [a]
Beamable a => Beamable (Maybe a)
Beamable a => Beamable (Phantom a)
(Beamable a, Beamable b) => Beamable (Either a b)
(Beamable a, Beamable b) => Beamable (a, b)
(Beamable a, Beamable b, Beamable c) => Beamable (a, b, c)
(Beamable a, Beamable b, Beamable c, Beamable d) => Beamable (a, b, c, d)
(Beamable a, Beamable b, Beamable c, Beamable d, Beamable e) => Beamable (a, b, c, d, e)
(Beamable a, Beamable b, Beamable c, Beamable d, Beamable e, Beamable f) => Beamable (a, b, c, d, e, f)
(Beamable a, Beamable b, Beamable c, Beamable d, Beamable e, Beamable f, Beamable g) => Beamable (a, b, c, d, e, f, g)

typeSign :: Beamable a => a -> Word64 Source

Get type signature of arbitrary Beamable datatatype encoded as Word64 hash with all constructors and datatypes in it. It's preferable to use typeSign against typeSignR, because implementation of later might change.

newtype TypeSign Source

Constructors

TypeSign
Fields unTypeSign :: Word64

Instances

Eq TypeSign
Num TypeSign
Show TypeSign
Storable TypeSign
Beamable TypeSign

data Phantom a Source

Phantom a has just one possible value, like (), and is encoded as a 0-byte sequence. However, its typeSign depends on the typeSign of its parameter.

Constructors

Phantom

Instances

Enum (Phantom a)
Eq (Phantom a)
Ord (Phantom a)
Show (Phantom a)
Beamable a => Beamable (Phantom a)