Data.Bond.Internal.Imports

Documentation

class BondEnum a where

Bond enumeration class containing utility functions.

Minimal complete definition

toName, fromName

Methods

toName :: a -> Maybe Text

Convert constant value to name.

fromName :: Text -> Maybe a

Convert constant name to value.

Instances

BondEnum BondDataType

Methods

toName :: BondDataType -> Maybe Text

fromName :: Text -> Maybe BondDataType

BondEnum Modifier

Methods

toName :: Modifier -> Maybe Text

fromName :: Text -> Maybe Modifier

BondEnum ProtocolType

Methods

toName :: ProtocolType -> Maybe Text

fromName :: Text -> Maybe ProtocolType

class BondType a => BondStruct a where

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

Minimal complete definition

bondStructGetUntagged, bondStructGetBase, bondStructGetField, bondStructPut, getSchema

Methods

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

Read all struct fields in order.

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

Read base struct from stream.

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

Read field with specific ordinal.

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

Put all struct fields to stream in order.

getSchema :: Proxy a -> StructSchema

Obtain struct schema.

Instances

BondStruct TypeDef

Methods

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

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

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

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

getSchema :: Proxy * TypeDef -> StructSchema

BondStruct Variant

Methods

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

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

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

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

getSchema :: Proxy * Variant -> StructSchema

BondStruct Metadata

Methods

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

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

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

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

getSchema :: Proxy * Metadata -> StructSchema

BondStruct FieldDef

Methods

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

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

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

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

getSchema :: Proxy * FieldDef -> StructSchema

BondStruct StructDef

Methods

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

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

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

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

getSchema :: Proxy * StructDef -> StructSchema

BondStruct SchemaDef

Methods

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

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

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

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

getSchema :: Proxy * SchemaDef -> StructSchema

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

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

Minimal complete definition

bondGet, bondPut, getName, getQualifiedName, getElementType

Methods

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

Read value.

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

Write value.

getName :: Proxy a -> Text

Get name of type.

getQualifiedName :: Proxy a -> Text

Get qualified name of type.

getElementType :: Proxy a -> ElementTypeInfo

Get type description.

Instances

BondType Bool

Methods

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

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

getName :: Proxy * Bool -> Text

getQualifiedName :: Proxy * Bool -> Text

getElementType :: Proxy * Bool -> ElementTypeInfo

BondType Double

Methods

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

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

getName :: Proxy * Double -> Text

getQualifiedName :: Proxy * Double -> Text

getElementType :: Proxy * Double -> ElementTypeInfo

BondType Float

Methods

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

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

getName :: Proxy * Float -> Text

getQualifiedName :: Proxy * Float -> Text

getElementType :: Proxy * Float -> ElementTypeInfo

BondType Int8

Methods

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

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

getName :: Proxy * Int8 -> Text

getQualifiedName :: Proxy * Int8 -> Text

getElementType :: Proxy * Int8 -> ElementTypeInfo

BondType Int16

Methods

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

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

getName :: Proxy * Int16 -> Text

getQualifiedName :: Proxy * Int16 -> Text

getElementType :: Proxy * Int16 -> ElementTypeInfo

BondType Int32

Methods

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

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

getName :: Proxy * Int32 -> Text

getQualifiedName :: Proxy * Int32 -> Text

getElementType :: Proxy * Int32 -> ElementTypeInfo

BondType Int64

Methods

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

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

getName :: Proxy * Int64 -> Text

getQualifiedName :: Proxy * Int64 -> Text

getElementType :: Proxy * Int64 -> ElementTypeInfo

BondType Word8

Methods

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

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

getName :: Proxy * Word8 -> Text

getQualifiedName :: Proxy * Word8 -> Text

getElementType :: Proxy * Word8 -> ElementTypeInfo

BondType Word16

Methods

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

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

getName :: Proxy * Word16 -> Text

getQualifiedName :: Proxy * Word16 -> Text

getElementType :: Proxy * Word16 -> ElementTypeInfo

BondType Word32

Methods

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

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

getName :: Proxy * Word32 -> Text

getQualifiedName :: Proxy * Word32 -> Text

getElementType :: Proxy * Word32 -> ElementTypeInfo

BondType Word64

Methods

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

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

getName :: Proxy * Word64 -> Text

getQualifiedName :: Proxy * Word64 -> Text

getElementType :: Proxy * Word64 -> ElementTypeInfo

BondType Blob

Methods

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

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

getName :: Proxy * Blob -> Text

getQualifiedName :: Proxy * Blob -> Text

getElementType :: Proxy * Blob -> ElementTypeInfo

BondType Utf16

Methods

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

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

getName :: Proxy * Utf16 -> Text

getQualifiedName :: Proxy * Utf16 -> Text

getElementType :: Proxy * Utf16 -> ElementTypeInfo

BondType Utf8

Methods

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

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

getName :: Proxy * Utf8 -> Text

getQualifiedName :: Proxy * Utf8 -> Text

getElementType :: Proxy * Utf8 -> ElementTypeInfo

BondType BondDataType

Methods

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

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

getName :: Proxy * BondDataType -> Text

getQualifiedName :: Proxy * BondDataType -> Text

getElementType :: Proxy * BondDataType -> ElementTypeInfo

BondType Modifier

Methods

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

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

getName :: Proxy * Modifier -> Text

getQualifiedName :: Proxy * Modifier -> Text

getElementType :: Proxy * Modifier -> ElementTypeInfo

BondType ProtocolType

Methods

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

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

getName :: Proxy * ProtocolType -> Text

getQualifiedName :: Proxy * ProtocolType -> Text

getElementType :: Proxy * ProtocolType -> ElementTypeInfo

BondType TypeDef

Methods

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

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

getName :: Proxy * TypeDef -> Text

getQualifiedName :: Proxy * TypeDef -> Text

getElementType :: Proxy * TypeDef -> ElementTypeInfo

BondType Variant

Methods

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

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

getName :: Proxy * Variant -> Text

getQualifiedName :: Proxy * Variant -> Text

getElementType :: Proxy * Variant -> ElementTypeInfo

BondType Metadata

Methods

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

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

getName :: Proxy * Metadata -> Text

getQualifiedName :: Proxy * Metadata -> Text

getElementType :: Proxy * Metadata -> ElementTypeInfo

BondType FieldDef

Methods

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

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

getName :: Proxy * FieldDef -> Text

getQualifiedName :: Proxy * FieldDef -> Text

getElementType :: Proxy * FieldDef -> ElementTypeInfo

BondType StructDef

Methods

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

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

getName :: Proxy * StructDef -> Text

getQualifiedName :: Proxy * StructDef -> Text

getElementType :: Proxy * StructDef -> ElementTypeInfo

BondType SchemaDef

Methods

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

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

getName :: Proxy * SchemaDef -> Text

getQualifiedName :: Proxy * SchemaDef -> Text

getElementType :: Proxy * SchemaDef -> ElementTypeInfo

BondType a => BondType [a]

Methods

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

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

getName :: Proxy * [a] -> Text

getQualifiedName :: Proxy * [a] -> Text

getElementType :: Proxy * [a] -> ElementTypeInfo

BondType a => BondType (Maybe a)

Methods

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

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

getName :: Proxy * (Maybe a) -> Text

getQualifiedName :: Proxy * (Maybe a) -> Text

getElementType :: Proxy * (Maybe a) -> ElementTypeInfo

(Ord a, BondType a) => BondType (Set a)

Methods

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

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

getName :: Proxy * (Set a) -> Text

getQualifiedName :: Proxy * (Set a) -> Text

getElementType :: Proxy * (Set a) -> ElementTypeInfo

(Eq a, Hashable a, BondType a) => BondType (HashSet a)

Methods

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

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

getName :: Proxy * (HashSet a) -> Text

getQualifiedName :: Proxy * (HashSet a) -> Text

getElementType :: Proxy * (HashSet a) -> ElementTypeInfo

BondType a => BondType (Vector a)

Methods

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

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

getName :: Proxy * (Vector a) -> Text

getQualifiedName :: Proxy * (Vector a) -> Text

getElementType :: Proxy * (Vector a) -> ElementTypeInfo

BondStruct a => BondType (Bonded a)

Methods

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

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

getName :: Proxy * (Bonded a) -> Text

getQualifiedName :: Proxy * (Bonded a) -> Text

getElementType :: Proxy * (Bonded a) -> ElementTypeInfo

(Ord k, BondType k, BondType v) => BondType (Map k v)

Methods

bondGet :: (Functor (ReaderM t), Monad (ReaderM t), Protocol t) => BondGet t (Map k v)

bondPut :: (Monad (BondPutM t), Protocol t) => Map k v -> BondPut t

getName :: Proxy * (Map k v) -> Text

getQualifiedName :: Proxy * (Map k v) -> Text

getElementType :: Proxy * (Map k v) -> ElementTypeInfo

class Hashable a

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

Minimal implementation: hashWithSalt.

Instances

Hashable Bool

Methods

hashWithSalt :: Int -> Bool -> Int

hash :: Bool -> Int

Hashable Char

Methods

hashWithSalt :: Int -> Char -> Int

hash :: Char -> Int

Hashable Double

Methods

hashWithSalt :: Int -> Double -> Int

hash :: Double -> Int

Hashable Float

Methods

hashWithSalt :: Int -> Float -> Int

hash :: Float -> Int

Hashable Int

Methods

hashWithSalt :: Int -> Int -> Int

hash :: Int -> Int

Hashable Int8

Methods

hashWithSalt :: Int -> Int8 -> Int

hash :: Int8 -> Int

Hashable Int16

Methods

hashWithSalt :: Int -> Int16 -> Int

hash :: Int16 -> Int

Hashable Int32

Methods

hashWithSalt :: Int -> Int32 -> Int

hash :: Int32 -> Int

Hashable Int64

Methods

hashWithSalt :: Int -> Int64 -> Int

hash :: Int64 -> Int

Hashable Integer

Methods

hashWithSalt :: Int -> Integer -> Int

hash :: Integer -> Int

Hashable Ordering

Methods

hashWithSalt :: Int -> Ordering -> Int

hash :: Ordering -> Int

Hashable Word

Methods

hashWithSalt :: Int -> Word -> Int

hash :: Word -> Int

Hashable Word8

Methods

hashWithSalt :: Int -> Word8 -> Int

hash :: Word8 -> Int

Hashable Word16

Methods

hashWithSalt :: Int -> Word16 -> Int

hash :: Word16 -> Int

Hashable Word32

Methods

hashWithSalt :: Int -> Word32 -> Int

hash :: Word32 -> Int

Hashable Word64

Methods

hashWithSalt :: Int -> Word64 -> Int

hash :: Word64 -> Int

Hashable TypeRep

Methods

hashWithSalt :: Int -> TypeRep -> Int

hash :: TypeRep -> Int

Hashable ()

Methods

hashWithSalt :: Int -> () -> Int

hash :: () -> Int

Hashable ByteString

Methods

hashWithSalt :: Int -> ByteString -> Int

hash :: ByteString -> Int

Hashable Scientific

Methods

hashWithSalt :: Int -> Scientific -> Int

hash :: Scientific -> Int

Hashable ByteString

Methods

hashWithSalt :: Int -> ByteString -> Int

hash :: ByteString -> Int

Hashable Text

Methods

hashWithSalt :: Int -> Text -> Int

hash :: Text -> Int

Hashable Value

Methods

hashWithSalt :: Int -> Value -> Int

hash :: Value -> Int

Hashable Text

Methods

hashWithSalt :: Int -> Text -> Int

hash :: Text -> Int

Hashable BigNat

Methods

hashWithSalt :: Int -> BigNat -> Int

hash :: BigNat -> Int

Hashable Natural

Methods

hashWithSalt :: Int -> Natural -> Int

hash :: Natural -> Int

Hashable Void

Methods

hashWithSalt :: Int -> Void -> Int

hash :: Void -> Int

Hashable Version

Methods

hashWithSalt :: Int -> Version -> Int

hash :: Version -> Int

Hashable Unique

Methods

hashWithSalt :: Int -> Unique -> Int

hash :: Unique -> Int

Hashable ThreadId

Methods

hashWithSalt :: Int -> ThreadId -> Int

hash :: ThreadId -> Int

Hashable ShortByteString

Methods

hashWithSalt :: Int -> ShortByteString -> Int

hash :: ShortByteString -> Int

Hashable Ordinal

Methods

hashWithSalt :: Int -> Ordinal -> Int

hash :: Ordinal -> Int

Hashable Blob

Methods

hashWithSalt :: Int -> Blob -> Int

hash :: Blob -> Int

Hashable Utf16

Methods

hashWithSalt :: Int -> Utf16 -> Int

hash :: Utf16 -> Int

Hashable Utf8

Methods

hashWithSalt :: Int -> Utf8 -> Int

hash :: Utf8 -> Int

Hashable BondDataType

Methods

hashWithSalt :: Int -> BondDataType -> Int

hash :: BondDataType -> Int

Hashable Modifier

Methods

hashWithSalt :: Int -> Modifier -> Int

hash :: Modifier -> Int

Hashable ProtocolType

Methods

hashWithSalt :: Int -> ProtocolType -> Int

hash :: ProtocolType -> Int

Hashable a => Hashable [a]

Methods

hashWithSalt :: Int -> [a] -> Int

hash :: [a] -> Int

Hashable a => Hashable (Maybe a)

Methods

hashWithSalt :: Int -> Maybe a -> Int

hash :: Maybe a -> Int

Hashable a => Hashable (Ratio a)

Methods

hashWithSalt :: Int -> Ratio a -> Int

hash :: Ratio a -> Int

Hashable a => Hashable (Min a)

Methods

hashWithSalt :: Int -> Min a -> Int

hash :: Min a -> Int

Hashable a => Hashable (Max a)

Methods

hashWithSalt :: Int -> Max a -> Int

hash :: Max a -> Int

Hashable a => Hashable (First a)

Methods

hashWithSalt :: Int -> First a -> Int

hash :: First a -> Int

Hashable a => Hashable (Last a)

Methods

hashWithSalt :: Int -> Last a -> Int

hash :: Last a -> Int

Hashable a => Hashable (WrappedMonoid a)

Methods

hashWithSalt :: Int -> WrappedMonoid a -> Int

hash :: WrappedMonoid a -> Int

Hashable a => Hashable (Option a)

Methods

hashWithSalt :: Int -> Option a -> Int

hash :: Option a -> Int

Hashable a => Hashable (NonEmpty a)

Methods

hashWithSalt :: Int -> NonEmpty a -> Int

hash :: NonEmpty a -> Int

Hashable (Fixed a)

Methods

hashWithSalt :: Int -> Fixed a -> Int

hash :: Fixed a -> Int

Hashable (StableName a)

Methods

hashWithSalt :: Int -> StableName a -> Int

hash :: StableName a -> Int

Hashable a => Hashable (HashSet a)

Methods

hashWithSalt :: Int -> HashSet a -> Int

hash :: HashSet a -> Int

(Hashable a, Hashable b) => Hashable (Either a b)

Methods

hashWithSalt :: Int -> Either a b -> Int

hash :: Either a b -> Int

(Hashable a1, Hashable a2) => Hashable (a1, a2)

Methods

hashWithSalt :: Int -> (a1, a2) -> Int

hash :: (a1, a2) -> Int

(Hashable k, Hashable v) => Hashable (HashMap k v)

Methods

hashWithSalt :: Int -> HashMap k v -> Int

hash :: HashMap k v -> Int

(Hashable a, Hashable b) => Hashable (Arg a b)

Methods

hashWithSalt :: Int -> Arg a b -> Int

hash :: Arg a b -> Int

(Hashable a1, Hashable a2, Hashable a3) => Hashable (a1, a2, a3)

Methods

hashWithSalt :: Int -> (a1, a2, a3) -> Int

hash :: (a1, a2, a3) -> Int

(Hashable a1, Hashable a2, Hashable a3, Hashable a4) => Hashable (a1, a2, a3, a4)

Methods

hashWithSalt :: Int -> (a1, a2, a3, a4) -> Int

hash :: (a1, a2, a3, a4) -> Int

(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5) => Hashable (a1, a2, a3, a4, a5)

Methods

hashWithSalt :: Int -> (a1, a2, a3, a4, a5) -> Int

hash :: (a1, a2, a3, a4, a5) -> Int

(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5, Hashable a6) => Hashable (a1, a2, a3, a4, a5, a6)

Methods

hashWithSalt :: Int -> (a1, a2, a3, a4, a5, a6) -> Int

hash :: (a1, a2, a3, a4, a5, a6) -> Int

(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5, Hashable a6, Hashable a7) => Hashable (a1, a2, a3, a4, a5, a6, a7)

Methods

hashWithSalt :: Int -> (a1, a2, a3, a4, a5, a6, a7) -> Int

hash :: (a1, a2, a3, a4, a5, a6, a7) -> Int

class IsString a where

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

Minimal complete definition

fromString

Methods

fromString :: String -> a

Instances

IsString ByteString

Methods

fromString :: String -> ByteString

IsString ByteString

Methods

fromString :: String -> ByteString

IsString Value

Methods

fromString :: String -> Value

IsString Utf16

Methods

fromString :: String -> Utf16

IsString Utf8

Methods

fromString :: String -> Utf8

(~) * a Char => IsString [a]

Methods

fromString :: String -> [a]

IsString a => IsString (Identity a)

Methods

fromString :: String -> Identity a

IsString (Seq Char)

Methods

fromString :: String -> Seq Char

(~) * a Char => IsString (DList a)

Methods

fromString :: String -> DList a

IsString a => IsString (Const * a b)

Methods

fromString :: String -> Const * a b

IsString a => IsString (Tagged k s a)

Methods

fromString :: String -> Tagged k s a

class NFData a

A class of types that can be fully evaluated.

Since: 1.1.0.0

Instances

NFData Bool

Methods

rnf :: Bool -> ()

NFData Char

Methods

rnf :: Char -> ()

NFData Double

Methods

rnf :: Double -> ()

NFData Float

Methods

rnf :: Float -> ()

NFData Int

Methods

rnf :: Int -> ()

NFData Int8

Methods

rnf :: Int8 -> ()

NFData Int16

Methods

rnf :: Int16 -> ()

NFData Int32

Methods

rnf :: Int32 -> ()

NFData Int64

Methods

rnf :: Int64 -> ()

NFData Integer

Methods

rnf :: Integer -> ()

NFData Word

Methods

rnf :: Word -> ()

NFData Word8

Methods

rnf :: Word8 -> ()

NFData Word16

Methods

rnf :: Word16 -> ()

NFData Word32

Methods

rnf :: Word32 -> ()

NFData Word64

Methods

rnf :: Word64 -> ()

NFData CallStack

Since: 1.4.2.0

Methods

rnf :: CallStack -> ()

NFData TypeRep

NOTE: Only defined for base-4.8.0.0 and later

Since: 1.4.0.0

Methods

rnf :: TypeRep -> ()

NFData ()

Methods

rnf :: () -> ()

NFData TyCon

NOTE: Only defined for base-4.8.0.0 and later

Since: 1.4.0.0

Methods

rnf :: TyCon -> ()

NFData ByteString

Methods

rnf :: ByteString -> ()

NFData Scientific

Methods

rnf :: Scientific -> ()

NFData Number

Methods

rnf :: Number -> ()

NFData ByteString

Methods

rnf :: ByteString -> ()

NFData UTCTime

Methods

rnf :: UTCTime -> ()

NFData JSONPathElement

Methods

rnf :: JSONPathElement -> ()

NFData Value

Methods

rnf :: Value -> ()

NFData Natural

Since: 1.4.0.0

Methods

rnf :: Natural -> ()

NFData Void

Defined as rnf = absurd.

Since: 1.4.0.0

Methods

rnf :: Void -> ()

NFData Version

Since: 1.3.0.0

Methods

rnf :: Version -> ()

NFData Unique

Since: 1.4.0.0

Methods

rnf :: Unique -> ()

NFData ThreadId

Since: 1.4.0.0

Methods

rnf :: ThreadId -> ()

NFData ExitCode

Since: 1.4.2.0

Methods

rnf :: ExitCode -> ()

NFData CChar

Since: 1.4.0.0

Methods

rnf :: CChar -> ()

NFData CSChar

Since: 1.4.0.0

Methods

rnf :: CSChar -> ()

NFData CUChar

Since: 1.4.0.0

Methods

rnf :: CUChar -> ()

NFData CShort

Since: 1.4.0.0

Methods

rnf :: CShort -> ()

NFData CUShort

Since: 1.4.0.0

Methods

rnf :: CUShort -> ()

NFData CInt

Since: 1.4.0.0

Methods

rnf :: CInt -> ()

NFData CUInt

Since: 1.4.0.0

Methods

rnf :: CUInt -> ()

NFData CLong

Since: 1.4.0.0

Methods

rnf :: CLong -> ()

NFData CULong

Since: 1.4.0.0

Methods

rnf :: CULong -> ()

NFData CLLong

Since: 1.4.0.0

Methods

rnf :: CLLong -> ()

NFData CULLong

Since: 1.4.0.0

Methods

rnf :: CULLong -> ()

NFData CFloat

Since: 1.4.0.0

Methods

rnf :: CFloat -> ()

NFData CDouble

Since: 1.4.0.0

Methods

rnf :: CDouble -> ()

NFData CPtrdiff

Since: 1.4.0.0

Methods

rnf :: CPtrdiff -> ()

NFData CSize

Since: 1.4.0.0

Methods

rnf :: CSize -> ()

NFData CWchar

Since: 1.4.0.0

Methods

rnf :: CWchar -> ()

NFData CSigAtomic

Since: 1.4.0.0

Methods

rnf :: CSigAtomic -> ()

NFData CClock

Since: 1.4.0.0

Methods

rnf :: CClock -> ()

NFData CTime

Since: 1.4.0.0

Methods

rnf :: CTime -> ()

NFData CUSeconds

Since: 1.4.0.0

Methods

rnf :: CUSeconds -> ()

NFData CSUSeconds

Since: 1.4.0.0

Methods

rnf :: CSUSeconds -> ()

NFData CFile

Since: 1.4.0.0

Methods

rnf :: CFile -> ()

NFData CFpos

Since: 1.4.0.0

Methods

rnf :: CFpos -> ()

NFData CJmpBuf

Since: 1.4.0.0

Methods

rnf :: CJmpBuf -> ()

NFData CIntPtr

Since: 1.4.0.0

Methods

rnf :: CIntPtr -> ()

NFData CUIntPtr

Since: 1.4.0.0

Methods

rnf :: CUIntPtr -> ()

NFData CIntMax

Since: 1.4.0.0

Methods

rnf :: CIntMax -> ()

NFData CUIntMax

Since: 1.4.0.0

Methods

rnf :: CUIntMax -> ()

NFData All

Since: 1.4.0.0

Methods

rnf :: All -> ()

NFData Any

Since: 1.4.0.0

Methods

rnf :: Any -> ()

NFData Fingerprint

Since: 1.4.0.0

Methods

rnf :: Fingerprint -> ()

NFData SrcLoc

Since: 1.4.2.0

Methods

rnf :: SrcLoc -> ()

NFData IntSet

Methods

rnf :: IntSet -> ()

NFData LocalTime

Methods

rnf :: LocalTime -> ()

NFData ZonedTime

Methods

rnf :: ZonedTime -> ()

NFData TimeOfDay

Methods

rnf :: TimeOfDay -> ()

NFData NominalDiffTime

Methods

rnf :: NominalDiffTime -> ()

NFData Day

Methods

rnf :: Day -> ()

NFData Ordinal

Methods

rnf :: Ordinal -> ()

NFData Blob

Methods

rnf :: Blob -> ()

NFData Utf16

Methods

rnf :: Utf16 -> ()

NFData Utf8

Methods

rnf :: Utf8 -> ()

NFData BondDataType

Methods

rnf :: BondDataType -> ()

NFData Struct

Methods

rnf :: Struct -> ()

NFData Value

Methods

rnf :: Value -> ()

NFData Modifier

Methods

rnf :: Modifier -> ()

NFData ProtocolType

Methods

rnf :: ProtocolType -> ()

NFData TypeDef

Methods

rnf :: TypeDef -> ()

NFData Variant

Methods

rnf :: Variant -> ()

NFData Metadata

Methods

rnf :: Metadata -> ()

NFData FieldDef

Methods

rnf :: FieldDef -> ()

NFData StructDef

Methods

rnf :: StructDef -> ()

NFData SchemaDef

Methods

rnf :: SchemaDef -> ()

NFData a => NFData [a]

Methods

rnf :: [a] -> ()

NFData a => NFData (Maybe a)

Methods

rnf :: Maybe a -> ()

NFData a => NFData (Ratio a)

Methods

rnf :: Ratio a -> ()

NFData (Ptr a)

Since: 1.4.2.0

Methods

rnf :: Ptr a -> ()

NFData (FunPtr a)

Since: 1.4.2.0

Methods

rnf :: FunPtr a -> ()

NFData a => NFData (IResult a)

Methods

rnf :: IResult a -> ()

NFData a => NFData (Result a)

Methods

rnf :: Result a -> ()

NFData a => NFData (Identity a)

Since: 1.4.0.0

Methods

rnf :: Identity a -> ()

NFData a => NFData (Min a)

Since: 1.4.2.0

Methods

rnf :: Min a -> ()

NFData a => NFData (Max a)

Since: 1.4.2.0

Methods

rnf :: Max a -> ()

NFData a => NFData (First a)

Since: 1.4.2.0

Methods

rnf :: First a -> ()

NFData a => NFData (Last a)

Since: 1.4.2.0

Methods

rnf :: Last a -> ()

NFData m => NFData (WrappedMonoid m)

Since: 1.4.2.0

Methods

rnf :: WrappedMonoid m -> ()

NFData a => NFData (Option a)

Since: 1.4.2.0

Methods

rnf :: Option a -> ()

NFData a => NFData (NonEmpty a)

Since: 1.4.2.0

Methods

rnf :: NonEmpty a -> ()

NFData (Fixed a)

Since: 1.3.0.0

Methods

rnf :: Fixed a -> ()

NFData a => NFData (Complex a)

Methods

rnf :: Complex a -> ()

NFData (StableName a)

Since: 1.4.0.0

Methods

rnf :: StableName a -> ()

NFData a => NFData (ZipList a)

Since: 1.4.0.0

Methods

rnf :: ZipList a -> ()

NFData a => NFData (Dual a)

Since: 1.4.0.0

Methods

rnf :: Dual a -> ()

NFData a => NFData (Sum a)

Since: 1.4.0.0

Methods

rnf :: Sum a -> ()

NFData a => NFData (Product a)

Since: 1.4.0.0

Methods

rnf :: Product a -> ()

NFData a => NFData (First a)

Since: 1.4.0.0

Methods

rnf :: First a -> ()

NFData a => NFData (Last a)

Since: 1.4.0.0

Methods

rnf :: Last a -> ()

NFData (IORef a)

NOTE: Only strict in the reference and not the referenced value.

Since: 1.4.2.0

Methods

rnf :: IORef a -> ()

NFData a => NFData (Down a)

Since: 1.4.0.0

Methods

rnf :: Down a -> ()

NFData (MVar a)

NOTE: Only strict in the reference and not the referenced value.

Since: 1.4.2.0

Methods

rnf :: MVar a -> ()

NFData a => NFData (Digit a)

Methods

rnf :: Digit a -> ()

NFData a => NFData (Node a)

Methods

rnf :: Node a -> ()

NFData a => NFData (Elem a)

Methods

rnf :: Elem a -> ()

NFData a => NFData (FingerTree a)

Methods

rnf :: FingerTree a -> ()

NFData a => NFData (IntMap a)

Methods

rnf :: IntMap a -> ()

NFData a => NFData (Tree a)

Methods

rnf :: Tree a -> ()

NFData a => NFData (Seq a)

Methods

rnf :: Seq a -> ()

NFData a => NFData (Set a)

Methods

rnf :: Set a -> ()

NFData a => NFData (DList a)

Methods

rnf :: DList a -> ()

NFData a => NFData (HashSet a)

Methods

rnf :: HashSet a -> ()

NFData a => NFData (Vector a)

Methods

rnf :: Vector a -> ()

NFData (Vector a)

Methods

rnf :: Vector a -> ()

NFData (Vector a)

Methods

rnf :: Vector a -> ()

NFData (Vector a)

Methods

rnf :: Vector a -> ()

NFData a => NFData (Bonded a)

Methods

rnf :: Bonded a -> ()

NFData (a -> b)

This instance is for convenience and consistency with seq. This assumes that WHNF is equivalent to NF for functions.

Since: 1.3.0.0

Methods

rnf :: (a -> b) -> ()

(NFData a, NFData b) => NFData (Either a b)

Methods

rnf :: Either a b -> ()

(NFData a, NFData b) => NFData (a, b)

Methods

rnf :: (a, b) -> ()

(NFData k, NFData v) => NFData (HashMap k v)

Methods

rnf :: HashMap k v -> ()

(NFData k, NFData a) => NFData (Map k a)

Methods

rnf :: Map k a -> ()

(NFData a, NFData b) => NFData (Array a b)

Methods

rnf :: Array a b -> ()

(NFData i, NFData r) => NFData (IResult i r)

Methods

rnf :: IResult i r -> ()

(NFData a, NFData b) => NFData (Arg a b)

Since: 1.4.2.0

Methods

rnf :: Arg a b -> ()

NFData (Proxy k a)

Since: 1.4.0.0

Methods

rnf :: Proxy k a -> ()

NFData (STRef s a)

NOTE: Only strict in the reference and not the referenced value.

Since: 1.4.2.0

Methods

rnf :: STRef s a -> ()

(NFData k, NFData v) => NFData (Leaf k v)

Methods

rnf :: Leaf k v -> ()

NFData (MVector s a)

Methods

rnf :: MVector s a -> ()

NFData (MVector s a)

Methods

rnf :: MVector s a -> ()

NFData (MVector s a)

Methods

rnf :: MVector s a -> ()

(NFData a, NFData b, NFData c) => NFData (a, b, c)

Methods

rnf :: (a, b, c) -> ()

NFData a => NFData (Const k a b)

Since: 1.4.0.0

Methods

rnf :: Const k a b -> ()

NFData b => NFData (Tagged k s b)

Methods

rnf :: Tagged k s b -> ()

(NFData a, NFData b, NFData c, NFData d) => NFData (a, b, c, d)

Methods

rnf :: (a, b, c, d) -> ()

(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5) => NFData (a1, a2, a3, a4, a5)

Methods

rnf :: (a1, a2, a3, a4, a5) -> ()

(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6) => NFData (a1, a2, a3, a4, a5, a6)

Methods

rnf :: (a1, a2, a3, a4, a5, a6) -> ()

(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6, NFData a7) => NFData (a1, a2, a3, a4, a5, a6, a7)

Methods

rnf :: (a1, a2, a3, a4, a5, a6, a7) -> ()

(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6, NFData a7, NFData a8) => NFData (a1, a2, a3, a4, a5, a6, a7, a8)

Methods

rnf :: (a1, a2, a3, a4, a5, a6, a7, a8) -> ()

(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6, NFData a7, NFData a8, NFData a9) => NFData (a1, a2, a3, a4, a5, a6, a7, a8, a9)

Methods

rnf :: (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> ()

class Protocol t where

Bond serialization protocol, implements all operations.

Minimal complete definition

bondPutStruct, bondPutBaseStruct, bondGetStruct, bondGetBaseStruct, bondPutField, bondPutDefNothingField, bondPutBool, bondPutUInt8, bondPutUInt16, bondPutUInt32, bondPutUInt64, bondPutInt8, bondPutInt16, bondPutInt32, bondPutInt64, bondPutFloat, bondPutDouble, bondPutString, bondPutWString, bondPutBlob, bondPutList, bondPutVector, bondPutHashSet, bondPutSet, bondPutMap, bondPutNullable, bondPutBonded, bondGetBool, bondGetUInt8, bondGetUInt16, bondGetUInt32, bondGetUInt64, bondGetInt8, bondGetInt16, bondGetInt32, bondGetInt64, bondGetFloat, bondGetDouble, bondGetString, bondGetWString, bondGetBlob, bondGetList, bondGetVector, bondGetHashSet, bondGetSet, bondGetMap, bondGetNullable, bondGetDefNothing, bondGetBonded

Associated Types

type ReaderM t :: * -> *

type WriterM t :: * -> *

Methods

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

Serialize top-level struct

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

Serialize base struct

bondGetStruct :: BondStruct a => BondGet t a

Deserialize top-level struct

bondGetBaseStruct :: BondStruct a => BondGet t a

Deserialize base struct

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

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

bondPutBool :: Bool -> BondPut t

bondPutUInt8 :: Word8 -> BondPut t

bondPutUInt16 :: Word16 -> BondPut t

bondPutUInt32 :: Word32 -> BondPut t

bondPutUInt64 :: Word64 -> BondPut t

bondPutInt8 :: Int8 -> BondPut t

bondPutInt16 :: Int16 -> BondPut t

bondPutInt32 :: Int32 -> BondPut t

bondPutInt64 :: Int64 -> BondPut t

bondPutFloat :: Float -> BondPut t

bondPutDouble :: Double -> BondPut t

bondPutString :: Utf8 -> BondPut t

bondPutWString :: Utf16 -> BondPut t

bondPutBlob :: Blob -> BondPut t

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

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

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

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

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

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

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

bondGetBool :: BondGet t Bool

bondGetUInt8 :: BondGet t Word8

bondGetUInt16 :: BondGet t Word16

bondGetUInt32 :: BondGet t Word32

bondGetUInt64 :: BondGet t Word64

bondGetInt8 :: BondGet t Int8

bondGetInt16 :: BondGet t Int16

bondGetInt32 :: BondGet t Int32

bondGetInt64 :: BondGet t Int64

bondGetFloat :: BondGet t Float

bondGetDouble :: BondGet t Double

bondGetString :: BondGet t Utf8

bondGetWString :: BondGet t Utf16

bondGetBlob :: BondGet t Blob

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

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

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

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

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

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

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

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

Instances

Protocol CompactBinaryV1Proto

Associated Types

type ReaderM CompactBinaryV1Proto :: * -> *

type WriterM CompactBinaryV1Proto :: * -> *

Methods

bondPutStruct :: BondStruct a => a -> BondPut CompactBinaryV1Proto

bondPutBaseStruct :: BondStruct a => a -> BondPut CompactBinaryV1Proto

bondGetStruct :: BondStruct a => BondGet CompactBinaryV1Proto a

bondGetBaseStruct :: BondStruct a => BondGet CompactBinaryV1Proto a

bondPutField :: (BondType a, BondStruct b) => Proxy * b -> Ordinal -> a -> BondPut CompactBinaryV1Proto

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

bondPutBool :: Bool -> BondPut CompactBinaryV1Proto

bondPutUInt8 :: Word8 -> BondPut CompactBinaryV1Proto

bondPutUInt16 :: Word16 -> BondPut CompactBinaryV1Proto

bondPutUInt32 :: Word32 -> BondPut CompactBinaryV1Proto

bondPutUInt64 :: Word64 -> BondPut CompactBinaryV1Proto

bondPutInt8 :: Int8 -> BondPut CompactBinaryV1Proto

bondPutInt16 :: Int16 -> BondPut CompactBinaryV1Proto

bondPutInt32 :: Int32 -> BondPut CompactBinaryV1Proto

bondPutInt64 :: Int64 -> BondPut CompactBinaryV1Proto

bondPutFloat :: Float -> BondPut CompactBinaryV1Proto

bondPutDouble :: Double -> BondPut CompactBinaryV1Proto

bondPutString :: Utf8 -> BondPut CompactBinaryV1Proto

bondPutWString :: Utf16 -> BondPut CompactBinaryV1Proto

bondPutBlob :: Blob -> BondPut CompactBinaryV1Proto

bondPutList :: BondType a => [a] -> BondPut CompactBinaryV1Proto

bondPutVector :: BondType a => Vector a -> BondPut CompactBinaryV1Proto

bondPutHashSet :: BondType a => HashSet a -> BondPut CompactBinaryV1Proto

bondPutSet :: BondType a => Set a -> BondPut CompactBinaryV1Proto

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

bondPutNullable :: BondType a => Maybe a -> BondPut CompactBinaryV1Proto

bondPutBonded :: BondStruct a => Bonded a -> BondPut CompactBinaryV1Proto

bondGetBool :: BondGet CompactBinaryV1Proto Bool

bondGetUInt8 :: BondGet CompactBinaryV1Proto Word8

bondGetUInt16 :: BondGet CompactBinaryV1Proto Word16

bondGetUInt32 :: BondGet CompactBinaryV1Proto Word32

bondGetUInt64 :: BondGet CompactBinaryV1Proto Word64

bondGetInt8 :: BondGet CompactBinaryV1Proto Int8

bondGetInt16 :: BondGet CompactBinaryV1Proto Int16

bondGetInt32 :: BondGet CompactBinaryV1Proto Int32

bondGetInt64 :: BondGet CompactBinaryV1Proto Int64

bondGetFloat :: BondGet CompactBinaryV1Proto Float

bondGetDouble :: BondGet CompactBinaryV1Proto Double

bondGetString :: BondGet CompactBinaryV1Proto Utf8

bondGetWString :: BondGet CompactBinaryV1Proto Utf16

bondGetBlob :: BondGet CompactBinaryV1Proto Blob

bondGetList :: BondType a => BondGet CompactBinaryV1Proto [a]

bondGetVector :: BondType a => BondGet CompactBinaryV1Proto (Vector a)

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

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

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

bondGetNullable :: BondType a => BondGet CompactBinaryV1Proto (Maybe a)

bondGetDefNothing :: BondType a => BondGet CompactBinaryV1Proto (Maybe a)

bondGetBonded :: BondStruct a => BondGet CompactBinaryV1Proto (Bonded a)

Protocol CompactBinaryProto

Associated Types

type ReaderM CompactBinaryProto :: * -> *

type WriterM CompactBinaryProto :: * -> *

Methods

bondPutStruct :: BondStruct a => a -> BondPut CompactBinaryProto

bondPutBaseStruct :: BondStruct a => a -> BondPut CompactBinaryProto

bondGetStruct :: BondStruct a => BondGet CompactBinaryProto a

bondGetBaseStruct :: BondStruct a => BondGet CompactBinaryProto a

bondPutField :: (BondType a, BondStruct b) => Proxy * b -> Ordinal -> a -> BondPut CompactBinaryProto

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

bondPutBool :: Bool -> BondPut CompactBinaryProto

bondPutUInt8 :: Word8 -> BondPut CompactBinaryProto

bondPutUInt16 :: Word16 -> BondPut CompactBinaryProto

bondPutUInt32 :: Word32 -> BondPut CompactBinaryProto

bondPutUInt64 :: Word64 -> BondPut CompactBinaryProto

bondPutInt8 :: Int8 -> BondPut CompactBinaryProto

bondPutInt16 :: Int16 -> BondPut CompactBinaryProto

bondPutInt32 :: Int32 -> BondPut CompactBinaryProto

bondPutInt64 :: Int64 -> BondPut CompactBinaryProto

bondPutFloat :: Float -> BondPut CompactBinaryProto

bondPutDouble :: Double -> BondPut CompactBinaryProto

bondPutString :: Utf8 -> BondPut CompactBinaryProto

bondPutWString :: Utf16 -> BondPut CompactBinaryProto

bondPutBlob :: Blob -> BondPut CompactBinaryProto

bondPutList :: BondType a => [a] -> BondPut CompactBinaryProto

bondPutVector :: BondType a => Vector a -> BondPut CompactBinaryProto

bondPutHashSet :: BondType a => HashSet a -> BondPut CompactBinaryProto

bondPutSet :: BondType a => Set a -> BondPut CompactBinaryProto

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

bondPutNullable :: BondType a => Maybe a -> BondPut CompactBinaryProto

bondPutBonded :: BondStruct a => Bonded a -> BondPut CompactBinaryProto

bondGetBool :: BondGet CompactBinaryProto Bool

bondGetUInt8 :: BondGet CompactBinaryProto Word8

bondGetUInt16 :: BondGet CompactBinaryProto Word16

bondGetUInt32 :: BondGet CompactBinaryProto Word32

bondGetUInt64 :: BondGet CompactBinaryProto Word64

bondGetInt8 :: BondGet CompactBinaryProto Int8

bondGetInt16 :: BondGet CompactBinaryProto Int16

bondGetInt32 :: BondGet CompactBinaryProto Int32

bondGetInt64 :: BondGet CompactBinaryProto Int64

bondGetFloat :: BondGet CompactBinaryProto Float

bondGetDouble :: BondGet CompactBinaryProto Double

bondGetString :: BondGet CompactBinaryProto Utf8

bondGetWString :: BondGet CompactBinaryProto Utf16

bondGetBlob :: BondGet CompactBinaryProto Blob

bondGetList :: BondType a => BondGet CompactBinaryProto [a]

bondGetVector :: BondType a => BondGet CompactBinaryProto (Vector a)

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

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

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

bondGetNullable :: BondType a => BondGet CompactBinaryProto (Maybe a)

bondGetDefNothing :: BondType a => BondGet CompactBinaryProto (Maybe a)

bondGetBonded :: BondStruct a => BondGet CompactBinaryProto (Bonded a)

Protocol FastBinaryProto

Associated Types

type ReaderM FastBinaryProto :: * -> *

type WriterM FastBinaryProto :: * -> *

Methods

bondPutStruct :: BondStruct a => a -> BondPut FastBinaryProto

bondPutBaseStruct :: BondStruct a => a -> BondPut FastBinaryProto

bondGetStruct :: BondStruct a => BondGet FastBinaryProto a

bondGetBaseStruct :: BondStruct a => BondGet FastBinaryProto a

bondPutField :: (BondType a, BondStruct b) => Proxy * b -> Ordinal -> a -> BondPut FastBinaryProto

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

bondPutBool :: Bool -> BondPut FastBinaryProto

bondPutUInt8 :: Word8 -> BondPut FastBinaryProto

bondPutUInt16 :: Word16 -> BondPut FastBinaryProto

bondPutUInt32 :: Word32 -> BondPut FastBinaryProto

bondPutUInt64 :: Word64 -> BondPut FastBinaryProto

bondPutInt8 :: Int8 -> BondPut FastBinaryProto

bondPutInt16 :: Int16 -> BondPut FastBinaryProto

bondPutInt32 :: Int32 -> BondPut FastBinaryProto

bondPutInt64 :: Int64 -> BondPut FastBinaryProto

bondPutFloat :: Float -> BondPut FastBinaryProto

bondPutDouble :: Double -> BondPut FastBinaryProto

bondPutString :: Utf8 -> BondPut FastBinaryProto

bondPutWString :: Utf16 -> BondPut FastBinaryProto

bondPutBlob :: Blob -> BondPut FastBinaryProto

bondPutList :: BondType a => [a] -> BondPut FastBinaryProto

bondPutVector :: BondType a => Vector a -> BondPut FastBinaryProto

bondPutHashSet :: BondType a => HashSet a -> BondPut FastBinaryProto

bondPutSet :: BondType a => Set a -> BondPut FastBinaryProto

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

bondPutNullable :: BondType a => Maybe a -> BondPut FastBinaryProto

bondPutBonded :: BondStruct a => Bonded a -> BondPut FastBinaryProto

bondGetBool :: BondGet FastBinaryProto Bool

bondGetUInt8 :: BondGet FastBinaryProto Word8

bondGetUInt16 :: BondGet FastBinaryProto Word16

bondGetUInt32 :: BondGet FastBinaryProto Word32

bondGetUInt64 :: BondGet FastBinaryProto Word64

bondGetInt8 :: BondGet FastBinaryProto Int8

bondGetInt16 :: BondGet FastBinaryProto Int16

bondGetInt32 :: BondGet FastBinaryProto Int32

bondGetInt64 :: BondGet FastBinaryProto Int64

bondGetFloat :: BondGet FastBinaryProto Float

bondGetDouble :: BondGet FastBinaryProto Double

bondGetString :: BondGet FastBinaryProto Utf8

bondGetWString :: BondGet FastBinaryProto Utf16

bondGetBlob :: BondGet FastBinaryProto Blob

bondGetList :: BondType a => BondGet FastBinaryProto [a]

bondGetVector :: BondType a => BondGet FastBinaryProto (Vector a)

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

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

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

bondGetNullable :: BondType a => BondGet FastBinaryProto (Maybe a)

bondGetDefNothing :: BondType a => BondGet FastBinaryProto (Maybe a)

bondGetBonded :: BondStruct a => BondGet FastBinaryProto (Bonded a)

Protocol JsonProto

Associated Types

type ReaderM JsonProto :: * -> *

type WriterM JsonProto :: * -> *

Methods

bondPutStruct :: BondStruct a => a -> BondPut JsonProto

bondPutBaseStruct :: BondStruct a => a -> BondPut JsonProto

bondGetStruct :: BondStruct a => BondGet JsonProto a

bondGetBaseStruct :: BondStruct a => BondGet JsonProto a

bondPutField :: (BondType a, BondStruct b) => Proxy * b -> Ordinal -> a -> BondPut JsonProto

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

bondPutBool :: Bool -> BondPut JsonProto

bondPutUInt8 :: Word8 -> BondPut JsonProto

bondPutUInt16 :: Word16 -> BondPut JsonProto

bondPutUInt32 :: Word32 -> BondPut JsonProto

bondPutUInt64 :: Word64 -> BondPut JsonProto

bondPutInt8 :: Int8 -> BondPut JsonProto

bondPutInt16 :: Int16 -> BondPut JsonProto

bondPutInt32 :: Int32 -> BondPut JsonProto

bondPutInt64 :: Int64 -> BondPut JsonProto

bondPutFloat :: Float -> BondPut JsonProto

bondPutDouble :: Double -> BondPut JsonProto

bondPutString :: Utf8 -> BondPut JsonProto

bondPutWString :: Utf16 -> BondPut JsonProto

bondPutBlob :: Blob -> BondPut JsonProto

bondPutList :: BondType a => [a] -> BondPut JsonProto

bondPutVector :: BondType a => Vector a -> BondPut JsonProto

bondPutHashSet :: BondType a => HashSet a -> BondPut JsonProto

bondPutSet :: BondType a => Set a -> BondPut JsonProto

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

bondPutNullable :: BondType a => Maybe a -> BondPut JsonProto

bondPutBonded :: BondStruct a => Bonded a -> BondPut JsonProto

bondGetBool :: BondGet JsonProto Bool

bondGetUInt8 :: BondGet JsonProto Word8

bondGetUInt16 :: BondGet JsonProto Word16

bondGetUInt32 :: BondGet JsonProto Word32

bondGetUInt64 :: BondGet JsonProto Word64

bondGetInt8 :: BondGet JsonProto Int8

bondGetInt16 :: BondGet JsonProto Int16

bondGetInt32 :: BondGet JsonProto Int32

bondGetInt64 :: BondGet JsonProto Int64

bondGetFloat :: BondGet JsonProto Float

bondGetDouble :: BondGet JsonProto Double

bondGetString :: BondGet JsonProto Utf8

bondGetWString :: BondGet JsonProto Utf16

bondGetBlob :: BondGet JsonProto Blob

bondGetList :: BondType a => BondGet JsonProto [a]

bondGetVector :: BondType a => BondGet JsonProto (Vector a)

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

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

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

bondGetNullable :: BondType a => BondGet JsonProto (Maybe a)

bondGetDefNothing :: BondType a => BondGet JsonProto (Maybe a)

bondGetBonded :: BondStruct a => BondGet JsonProto (Bonded a)

Protocol SimpleBinaryV1Proto

Associated Types

type ReaderM SimpleBinaryV1Proto :: * -> *

type WriterM SimpleBinaryV1Proto :: * -> *

Methods

bondPutStruct :: BondStruct a => a -> BondPut SimpleBinaryV1Proto

bondPutBaseStruct :: BondStruct a => a -> BondPut SimpleBinaryV1Proto

bondGetStruct :: BondStruct a => BondGet SimpleBinaryV1Proto a

bondGetBaseStruct :: BondStruct a => BondGet SimpleBinaryV1Proto a

bondPutField :: (BondType a, BondStruct b) => Proxy * b -> Ordinal -> a -> BondPut SimpleBinaryV1Proto

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

bondPutBool :: Bool -> BondPut SimpleBinaryV1Proto

bondPutUInt8 :: Word8 -> BondPut SimpleBinaryV1Proto

bondPutUInt16 :: Word16 -> BondPut SimpleBinaryV1Proto

bondPutUInt32 :: Word32 -> BondPut SimpleBinaryV1Proto

bondPutUInt64 :: Word64 -> BondPut SimpleBinaryV1Proto

bondPutInt8 :: Int8 -> BondPut SimpleBinaryV1Proto

bondPutInt16 :: Int16 -> BondPut SimpleBinaryV1Proto

bondPutInt32 :: Int32 -> BondPut SimpleBinaryV1Proto

bondPutInt64 :: Int64 -> BondPut SimpleBinaryV1Proto

bondPutFloat :: Float -> BondPut SimpleBinaryV1Proto

bondPutDouble :: Double -> BondPut SimpleBinaryV1Proto

bondPutString :: Utf8 -> BondPut SimpleBinaryV1Proto

bondPutWString :: Utf16 -> BondPut SimpleBinaryV1Proto

bondPutBlob :: Blob -> BondPut SimpleBinaryV1Proto

bondPutList :: BondType a => [a] -> BondPut SimpleBinaryV1Proto

bondPutVector :: BondType a => Vector a -> BondPut SimpleBinaryV1Proto

bondPutHashSet :: BondType a => HashSet a -> BondPut SimpleBinaryV1Proto

bondPutSet :: BondType a => Set a -> BondPut SimpleBinaryV1Proto

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

bondPutNullable :: BondType a => Maybe a -> BondPut SimpleBinaryV1Proto

bondPutBonded :: BondStruct a => Bonded a -> BondPut SimpleBinaryV1Proto

bondGetBool :: BondGet SimpleBinaryV1Proto Bool

bondGetUInt8 :: BondGet SimpleBinaryV1Proto Word8

bondGetUInt16 :: BondGet SimpleBinaryV1Proto Word16

bondGetUInt32 :: BondGet SimpleBinaryV1Proto Word32

bondGetUInt64 :: BondGet SimpleBinaryV1Proto Word64

bondGetInt8 :: BondGet SimpleBinaryV1Proto Int8

bondGetInt16 :: BondGet SimpleBinaryV1Proto Int16

bondGetInt32 :: BondGet SimpleBinaryV1Proto Int32

bondGetInt64 :: BondGet SimpleBinaryV1Proto Int64

bondGetFloat :: BondGet SimpleBinaryV1Proto Float

bondGetDouble :: BondGet SimpleBinaryV1Proto Double

bondGetString :: BondGet SimpleBinaryV1Proto Utf8

bondGetWString :: BondGet SimpleBinaryV1Proto Utf16

bondGetBlob :: BondGet SimpleBinaryV1Proto Blob

bondGetList :: BondType a => BondGet SimpleBinaryV1Proto [a]

bondGetVector :: BondType a => BondGet SimpleBinaryV1Proto (Vector a)

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

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

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

bondGetNullable :: BondType a => BondGet SimpleBinaryV1Proto (Maybe a)

bondGetDefNothing :: BondType a => BondGet SimpleBinaryV1Proto (Maybe a)

bondGetBonded :: BondStruct a => BondGet SimpleBinaryV1Proto (Bonded a)

Protocol SimpleBinaryProto

Associated Types

type ReaderM SimpleBinaryProto :: * -> *

type WriterM SimpleBinaryProto :: * -> *

Methods

bondPutStruct :: BondStruct a => a -> BondPut SimpleBinaryProto

bondPutBaseStruct :: BondStruct a => a -> BondPut SimpleBinaryProto

bondGetStruct :: BondStruct a => BondGet SimpleBinaryProto a

bondGetBaseStruct :: BondStruct a => BondGet SimpleBinaryProto a

bondPutField :: (BondType a, BondStruct b) => Proxy * b -> Ordinal -> a -> BondPut SimpleBinaryProto

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

bondPutBool :: Bool -> BondPut SimpleBinaryProto

bondPutUInt8 :: Word8 -> BondPut SimpleBinaryProto

bondPutUInt16 :: Word16 -> BondPut SimpleBinaryProto

bondPutUInt32 :: Word32 -> BondPut SimpleBinaryProto

bondPutUInt64 :: Word64 -> BondPut SimpleBinaryProto

bondPutInt8 :: Int8 -> BondPut SimpleBinaryProto

bondPutInt16 :: Int16 -> BondPut SimpleBinaryProto

bondPutInt32 :: Int32 -> BondPut SimpleBinaryProto

bondPutInt64 :: Int64 -> BondPut SimpleBinaryProto

bondPutFloat :: Float -> BondPut SimpleBinaryProto

bondPutDouble :: Double -> BondPut SimpleBinaryProto

bondPutString :: Utf8 -> BondPut SimpleBinaryProto

bondPutWString :: Utf16 -> BondPut SimpleBinaryProto

bondPutBlob :: Blob -> BondPut SimpleBinaryProto

bondPutList :: BondType a => [a] -> BondPut SimpleBinaryProto

bondPutVector :: BondType a => Vector a -> BondPut SimpleBinaryProto

bondPutHashSet :: BondType a => HashSet a -> BondPut SimpleBinaryProto

bondPutSet :: BondType a => Set a -> BondPut SimpleBinaryProto

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

bondPutNullable :: BondType a => Maybe a -> BondPut SimpleBinaryProto

bondPutBonded :: BondStruct a => Bonded a -> BondPut SimpleBinaryProto

bondGetBool :: BondGet SimpleBinaryProto Bool

bondGetUInt8 :: BondGet SimpleBinaryProto Word8

bondGetUInt16 :: BondGet SimpleBinaryProto Word16

bondGetUInt32 :: BondGet SimpleBinaryProto Word32

bondGetUInt64 :: BondGet SimpleBinaryProto Word64

bondGetInt8 :: BondGet SimpleBinaryProto Int8

bondGetInt16 :: BondGet SimpleBinaryProto Int16

bondGetInt32 :: BondGet SimpleBinaryProto Int32

bondGetInt64 :: BondGet SimpleBinaryProto Int64

bondGetFloat :: BondGet SimpleBinaryProto Float

bondGetDouble :: BondGet SimpleBinaryProto Double

bondGetString :: BondGet SimpleBinaryProto Utf8

bondGetWString :: BondGet SimpleBinaryProto Utf16

bondGetBlob :: BondGet SimpleBinaryProto Blob

bondGetList :: BondType a => BondGet SimpleBinaryProto [a]

bondGetVector :: BondType a => BondGet SimpleBinaryProto (Vector a)

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

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

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

bondGetNullable :: BondType a => BondGet SimpleBinaryProto (Maybe a)

bondGetDefNothing :: BondType a => BondGet SimpleBinaryProto (Maybe a)

bondGetBonded :: BondStruct a => BondGet SimpleBinaryProto (Bonded a)

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