Crypto.Lol.Types.Proto

Convenient interfaces for serialization with protocol buffers.

Documentation

class Protoable a where

Conversion between Haskell types and their protocol buffer representations.

Minimal complete definition

toProto, fromProto

Associated Types

type ProtoType a

The protocol buffer type for a.

Methods

toProto :: a -> ProtoType a

Convert from a type to its protocol buffer representation.

fromProto :: MonadError String m => ProtoType a -> m a

Convert from a protocol buffer representation.

Instances

Protoable a => Protoable [a]

Associated Types

type ProtoType [a] :: *

Methods

toProto :: [a] -> ProtoType [a]

fromProto :: MonadError String m => ProtoType [a] -> m [a]

(Protoable a, Protoable b) => Protoable (a, b)

Associated Types

type ProtoType (a, b) :: *

Methods

toProto :: (a, b) -> ProtoType (a, b)

fromProto :: MonadError String m => ProtoType (a, b) -> m (a, b)

(Fact m, Reflects k q Double) => Protoable (CT m (RRq k q Double))

Associated Types

type ProtoType (CT m (RRq k q Double)) :: *

Methods

toProto :: CT m (RRq k q Double) -> ProtoType (CT m (RRq k q Double))

fromProto :: MonadError String m => ProtoType (CT m (RRq k q Double)) -> m (CT m (RRq k q Double))

(Fact m, Reflects k q Int64) => Protoable (CT m (ZqBasic k q Int64))

Associated Types

type ProtoType (CT m (ZqBasic k q Int64)) :: *

Methods

toProto :: CT m (ZqBasic k q Int64) -> ProtoType (CT m (ZqBasic k q Int64))

fromProto :: MonadError String m => ProtoType (CT m (ZqBasic k q Int64)) -> m (CT m (ZqBasic k q Int64))

(Fact m, Reflects k q Double) => Protoable (RT m (RRq k q Double))

Associated Types

type ProtoType (RT m (RRq k q Double)) :: *

Methods

toProto :: RT m (RRq k q Double) -> ProtoType (RT m (RRq k q Double))

fromProto :: MonadError String m => ProtoType (RT m (RRq k q Double)) -> m (RT m (RRq k q Double))

(Fact m, Reflects k q Int64) => Protoable (RT m (ZqBasic k q Int64))

Associated Types

type ProtoType (RT m (ZqBasic k q Int64)) :: *

Methods

toProto :: RT m (ZqBasic k q Int64) -> ProtoType (RT m (ZqBasic k q Int64))

fromProto :: MonadError String m => ProtoType (RT m (ZqBasic k q Int64)) -> m (RT m (ZqBasic k q Int64))

(Fact m, CElt t r, Protoable (UCyc t m D r)) => Protoable (Cyc t m r)

Associated Types

type ProtoType (Cyc t m r) :: *

Methods

toProto :: Cyc t m r -> ProtoType (Cyc t m r)

fromProto :: MonadError String m => ProtoType (Cyc t m r) -> m (Cyc t m r)

Protoable (t m r) => Protoable (UCyc t m D r)

Associated Types

type ProtoType (UCyc t m D r) :: *

Methods

toProto :: UCyc t m D r -> ProtoType (UCyc t m D r)

fromProto :: MonadError String m => ProtoType (UCyc t m D r) -> m (UCyc t m D r)

msgPut :: (ReflectDescriptor (ProtoType a), Wire (ProtoType a), Protoable a) => a -> ByteString

Serialize a Haskell type to its protocol buffer ByteString.

msgGet :: (ReflectDescriptor (ProtoType a), Wire (ProtoType a), Protoable a) => ByteString -> Either String (a, ByteString)

Read a protocol buffer ByteString to a Haskell type.