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.

Associated Types

type ProtoType 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 Fingerprint

Defined in Crypto.Lol.Types.Proto

Associated Types

type ProtoType Fingerprint :: Type

Methods

toProto :: Fingerprint -> ProtoType Fingerprint

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

Protoable a => Protoable [a]

Defined in Crypto.Lol.Types.Proto

Associated Types

type ProtoType [a] :: Type

Methods

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

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

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

Defined in Crypto.Lol.Types.Proto

Associated Types

type ProtoType (a, b) :: Type

Methods

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

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

(Protoable (IZipVector m (RRq q Double)), ProtoType (IZipVector m (RRq q Double)) ~ KqProduct, Protoable (IZipVector m b), ProtoType (IZipVector m b) ~ KqProduct) => Protoable (IZipVector m (RRq q Double, b))

Defined in Crypto.Lol.Types.IZipVector

Associated Types

type ProtoType (IZipVector m (RRq q Double, b)) :: Type

Methods

toProto :: IZipVector m (RRq q Double, b) -> ProtoType (IZipVector m (RRq q Double, b))

fromProto :: MonadError String m0 => ProtoType (IZipVector m (RRq q Double, b)) -> m0 (IZipVector m (RRq q Double, b))

(Protoable (IZipVector m (ZqBasic q Int64)), ProtoType (IZipVector m (ZqBasic q Int64)) ~ RqProduct, Protoable (IZipVector m b), ProtoType (IZipVector m b) ~ RqProduct) => Protoable (IZipVector m (ZqBasic q Int64, b))

Defined in Crypto.Lol.Types.IZipVector

Associated Types

type ProtoType (IZipVector m (ZqBasic q Int64, b)) :: Type

Methods

toProto :: IZipVector m (ZqBasic q Int64, b) -> ProtoType (IZipVector m (ZqBasic q Int64, b))

fromProto :: MonadError String m0 => ProtoType (IZipVector m (ZqBasic q Int64, b)) -> m0 (IZipVector m (ZqBasic q Int64, b))

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

Defined in Crypto.Lol.Types.IZipVector

Associated Types

type ProtoType (IZipVector m (RRq q Double)) :: Type

Methods

toProto :: IZipVector m (RRq q Double) -> ProtoType (IZipVector m (RRq q Double))

fromProto :: MonadError String m0 => ProtoType (IZipVector m (RRq q Double)) -> m0 (IZipVector m (RRq q Double))

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

Defined in Crypto.Lol.Types.IZipVector

Associated Types

type ProtoType (IZipVector m (ZqBasic q Int64)) :: Type

Methods

toProto :: IZipVector m (ZqBasic q Int64) -> ProtoType (IZipVector m (ZqBasic q Int64))

fromProto :: MonadError String m0 => ProtoType (IZipVector m (ZqBasic q Int64)) -> m0 (IZipVector m (ZqBasic q Int64))

Fact m => Protoable (IZipVector m Double)

Defined in Crypto.Lol.Types.IZipVector

Associated Types

type ProtoType (IZipVector m Double) :: Type

Methods

toProto :: IZipVector m Double -> ProtoType (IZipVector m Double)

fromProto :: MonadError String m0 => ProtoType (IZipVector m Double) -> m0 (IZipVector m Double)

Fact m => Protoable (IZipVector m Int64)

Defined in Crypto.Lol.Types.IZipVector

Associated Types

type ProtoType (IZipVector m Int64) :: Type

Methods

toProto :: IZipVector m Int64 -> ProtoType (IZipVector m Int64)

fromProto :: MonadError String m0 => ProtoType (IZipVector m Int64) -> m0 (IZipVector m Int64)

(Fact m, CRTElt t Double, TensorPowDec t (RRq q Double), Protoable (CycRep t D m (RRq q Double))) => Protoable (Cyc t m (RRq q Double))

Defined in Crypto.Lol.Cyclotomic.Cyc

Associated Types

type ProtoType (Cyc t m (RRq q Double)) :: Type

Methods

toProto :: Cyc t m (RRq q Double) -> ProtoType (Cyc t m (RRq q Double))

fromProto :: MonadError String m0 => ProtoType (Cyc t m (RRq q Double)) -> m0 (Cyc t m (RRq q Double))

(Fact m, CRTElt t Double, Protoable (CycG t m (ZqBasic q z))) => Protoable (Cyc t m (ZqBasic q z))

Defined in Crypto.Lol.Cyclotomic.Cyc

Associated Types

type ProtoType (Cyc t m (ZqBasic q z)) :: Type

Methods

toProto :: Cyc t m (ZqBasic q z) -> ProtoType (Cyc t m (ZqBasic q z))

fromProto :: MonadError String m0 => ProtoType (Cyc t m (ZqBasic q z)) -> m0 (Cyc t m (ZqBasic q z))

(Fact m, CRTElt t Int64, Protoable (CycG t m Int64)) => Protoable (Cyc t m Int64)

Defined in Crypto.Lol.Cyclotomic.Cyc

Associated Types

type ProtoType (Cyc t m Int64) :: Type

Methods

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

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

(Fact m, CRTElt t Double, Protoable (CycG t m Double)) => Protoable (Cyc t m Double)

Defined in Crypto.Lol.Cyclotomic.Cyc

Associated Types

type ProtoType (Cyc t m Double) :: Type

Methods

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

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

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

Defined in Crypto.Lol.Cyclotomic.CycRep

Associated Types

type ProtoType (CycRep t D m r) :: Type

Methods

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

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

(Reflects e Word32, Reflects r Word32, Protoable (c s zq), ProtoType (c s zq) ~ RqProduct) => Protoable (Linear c e r s zq)

Defined in Crypto.Lol.Cyclotomic.Linear

Associated Types

type ProtoType (Linear c e r s zq) :: Type

Methods

toProto :: Linear c e r s zq -> ProtoType (Linear c e r s zq)

fromProto :: MonadError String m => ProtoType (Linear c e r s zq) -> m (Linear c e r s zq)

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.

uToString :: Utf8 -> String

uFromString :: String -> Utf8

readProtoType :: (ReflectDescriptor a, Wire a, MonadIO m, MonadError String m) => FilePath -> m a

Read a serialized protobuffer from a file.

parseProtoFile :: (ProtoReadable a, MonadIO m, MonadError String m) => FilePath -> m a

Read a protocol buffer stream at the given path and convert it to typed Haskell data.

writeProtoType :: (ReflectDescriptor a, Wire a) => FilePath -> a -> IO ()

Writes any auto-gen'd proto object to path/filename.

writeProtoFile :: (ProtoReadable a, MonadIO m) => FilePath -> a -> m ()

Write a protocol buffer stream for Haskell data to the given path.

type ProtoReadable a = (Protoable a, Wire (ProtoType a), ReflectDescriptor (ProtoType a))

Constraint synonym for end-to-end readingparsingwriting of Protoable types.