Safe Haskell	None
Language	Haskell2010

Data.Bond.Internal.Imports

Synopsis

Documentation

class BondType a => BondStruct a where Source

Bond top-level structure, can be de/serialized on its own.

Methods

bondStructGetUntagged :: (Functor (ReaderM t), Monad (ReaderM t), Protocol t) => BondGet t a Source

Read all struct fields in order.

bondStructGetBase :: (Monad (ReaderM t), Protocol t) => a -> BondGet t a Source

Read base struct from stream.

bondStructGetField :: (Functor (ReaderM t), Monad (ReaderM t), Protocol t) => Ordinal -> a -> BondGet t a Source

Read field with specific ordinal.

bondStructPut :: (Monad (BondPutM t), Protocol t) => a -> BondPut t Source

Put all struct fields to stream in order.

getSchema :: Proxy a -> StructSchema Source

Obtain struct schema.

Instances

BondStruct Variant Source
BondStruct Metadata Source
BondStruct TypeDef Source
BondStruct FieldDef Source
BondStruct StructDef Source
BondStruct SchemaDef Source

class (Typeable a, Default a) => BondType a where Source

A type bond knows how to read and write to stream as a part of BondStruct.

Methods

bondGet :: (Functor (ReaderM t), Monad (ReaderM t), Protocol t) => BondGet t a Source

Read value.

bondPut :: (Monad (BondPutM t), Protocol t) => a -> BondPut t Source

Write value.

getName :: Proxy a -> Text Source

Get name of type.

getQualifiedName :: Proxy a -> Text Source

Get qualified name of type.

getElementType :: Proxy a -> ElementTypeInfo Source

Get type description.

Instances

BondType Bool Source
BondType Double Source
BondType Float Source
BondType Int8 Source
BondType Int16 Source
BondType Int32 Source
BondType Int64 Source
BondType Word8 Source
BondType Word16 Source
BondType Word32 Source
BondType Word64 Source
BondType Blob Source
BondType Utf16 Source
BondType Utf8 Source
BondType BondDataType Source
BondType ProtocolType Source
BondType Modifier Source
BondType Variant Source
BondType Metadata Source
BondType TypeDef Source
BondType FieldDef Source
BondType StructDef Source
BondType SchemaDef Source
BondType a => BondType [a] Source
BondType a => BondType (Maybe a) Source
(Ord a, BondType a) => BondType (Set a) Source
(Eq a, Hashable a, BondType a) => BondType (HashSet a) Source
BondType a => BondType (Vector a) Source
BondStruct a => BondType (Bonded a) Source
(Ord k, BondType k, BondType v) => BondType (Map k v) Source

class Hashable a

The class of types that can be converted to a hash value.

Minimal implementation: hashWithSalt.

Instances

Hashable Bool
Hashable Char
Hashable Double
Hashable Float
Hashable Int
Hashable Int8
Hashable Int16
Hashable Int32
Hashable Int64
Hashable Integer
Hashable Ordering
Hashable Word
Hashable Word8
Hashable Word16
Hashable Word32
Hashable Word64
Hashable TypeRep
Hashable ()
Hashable ByteString
Hashable ByteString
Hashable Scientific
Hashable Text
Hashable Value
Hashable Text
Hashable BigNat
Hashable Void
Hashable Unique
Hashable Natural
Hashable Version
Hashable ThreadId
Hashable ShortByteString
Hashable Ordinal
Hashable Blob
Hashable Utf16
Hashable Utf8
Hashable BondDataType
Hashable ProtocolType
Hashable Modifier
Hashable a => Hashable [a]
(Integral a, Hashable a) => Hashable (Ratio a)
Hashable a => Hashable (Maybe a)
Hashable (StableName a)
Hashable (Fixed a)
(Hashable a, Hashable b) => Hashable (Either a b)
(Hashable a1, Hashable a2) => Hashable (a1, a2)
(Hashable a1, Hashable a2, Hashable a3) => Hashable (a1, a2, a3)
(Hashable a1, Hashable a2, Hashable a3, Hashable a4) => Hashable (a1, a2, a3, a4)
(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5) => Hashable (a1, a2, a3, a4, a5)
(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5, Hashable a6) => Hashable (a1, a2, a3, a4, a5, a6)
(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5, Hashable a6, Hashable a7) => Hashable (a1, a2, a3, a4, a5, a6, a7)

class IsString a where

Class for string-like datastructures; used by the overloaded string extension (-XOverloadedStrings in GHC).

Methods

fromString :: String -> a

Instances

IsString ByteString
IsString ByteString
IsString Value
IsString ShortByteString
IsString Utf16
IsString Utf8
IsString [Char]
IsString (DList Char)

class Protocol t where Source

Bond serialization protocol, implements all operations.

Associated Types

type ReaderM t :: * -> * Source

type WriterM t :: * -> * Source

Methods

bondPutStruct :: BondStruct a => a -> BondPut t Source

Serialize top-level struct

bondPutBaseStruct :: BondStruct a => a -> BondPut t Source

Serialize base struct

bondGetStruct :: BondStruct a => BondGet t a Source

Deserialize top-level struct

bondGetBaseStruct :: BondStruct a => BondGet t a Source

Deserialize base struct

bondPutField :: (BondType a, BondStruct b) => Proxy b -> Ordinal -> a -> BondPut t Source

bondPutDefNothingField :: (BondType a, BondStruct b) => Proxy b -> Ordinal -> Maybe a -> BondPut t Source

bondPutBool :: Bool -> BondPut t Source

bondPutUInt8 :: Word8 -> BondPut t Source

bondPutUInt16 :: Word16 -> BondPut t Source

bondPutUInt32 :: Word32 -> BondPut t Source

bondPutUInt64 :: Word64 -> BondPut t Source

bondPutInt8 :: Int8 -> BondPut t Source

bondPutInt16 :: Int16 -> BondPut t Source

bondPutInt32 :: Int32 -> BondPut t Source

bondPutInt64 :: Int64 -> BondPut t Source

bondPutFloat :: Float -> BondPut t Source

bondPutDouble :: Double -> BondPut t Source

bondPutString :: Utf8 -> BondPut t Source

bondPutWString :: Utf16 -> BondPut t Source

bondPutBlob :: Blob -> BondPut t Source

bondPutList :: BondType a => [a] -> BondPut t Source

bondPutVector :: BondType a => Vector a -> BondPut t Source

bondPutHashSet :: BondType a => HashSet a -> BondPut t Source

bondPutSet :: BondType a => Set a -> BondPut t Source

bondPutMap :: (BondType k, BondType v) => Map k v -> BondPut t Source

bondPutNullable :: BondType a => Maybe a -> BondPut t Source

bondPutBonded :: BondStruct a => Bonded a -> BondPut t Source

bondGetBool :: BondGet t Bool Source

bondGetUInt8 :: BondGet t Word8 Source

bondGetUInt16 :: BondGet t Word16 Source

bondGetUInt32 :: BondGet t Word32 Source

bondGetUInt64 :: BondGet t Word64 Source

bondGetInt8 :: BondGet t Int8 Source

bondGetInt16 :: BondGet t Int16 Source

bondGetInt32 :: BondGet t Int32 Source

bondGetInt64 :: BondGet t Int64 Source

bondGetFloat :: BondGet t Float Source

bondGetDouble :: BondGet t Double Source

bondGetString :: BondGet t Utf8 Source

bondGetWString :: BondGet t Utf16 Source

bondGetBlob :: BondGet t Blob Source

bondGetList :: BondType a => BondGet t [a] Source

bondGetVector :: BondType a => BondGet t (Vector a) Source

bondGetHashSet :: (Eq a, Hashable a, BondType a) => BondGet t (HashSet a) Source

bondGetSet :: (Ord a, BondType a) => BondGet t (Set a) Source

bondGetMap :: (Ord k, BondType k, BondType v) => BondGet t (Map k v) Source

bondGetNullable :: BondType a => BondGet t (Maybe a) Source

bondGetDefNothing :: BondType a => BondGet t (Maybe a) Source

bondGetBonded :: BondStruct a => BondGet t (Bonded a) Source

Instances

Protocol CompactBinaryV1Proto Source
Protocol CompactBinaryProto Source
Protocol FastBinaryProto Source
Protocol JsonProto Source
Protocol SimpleBinaryV1Proto Source
Protocol SimpleBinaryProto Source

ap :: Monad m => m (a -> b) -> m a -> m b

In many situations, the liftM operations can be replaced by uses of ap, which promotes function application.

      return f `ap` x1 `ap` ... `ap` xn

is equivalent to

      liftMn f x1 x2 ... xn

asProxyTypeOf :: a -> Proxy * a -> a

asProxyTypeOf is a type-restricted version of const. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the tag of the second.

fromOrdinalList :: [Ordinal] -> OrdinalSet Source