Modulehnix-store-remote-0.7.0.0Haskell2010

Data.Serializer.Example

4 types
10 values

Packagehnix-store-remote-0.7.0.0
Exports14
LanguageHaskell2010
LicenceApache-2.0
SourceExample.hs

Simple protocol

2 declarations

datadata OpCode

OpCode used to differentiate between operations

OpCode_Int OpCode_Bool

Instances7Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded OpCodeDefined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
Enum OpCodeDefined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
Eq OpCodeDefined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
Ord OpCodeDefined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
Show OpCodeDefined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
Generic OpCodeDefined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
type Rep OpCode = D1 ('MetaData "OpCode" "Data.Serializer.Example" "hnix-store-remote-0.7.0.0-56neYTH6eG2Bb7RHZH54fz" 'False) (C1 ('MetaCons "OpCode_Int" 'PrefixI 'False) U1 :+: C1 ('MetaCons "OpCode_Bool" 'PrefixI 'False) U1)Defined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example

datadata Cmd a where

Protocol operations

Constructors

Cmd_Int :: Int8 -> Cmd Int8
Cmd_Bool :: Bool -> Cmd Bool

Instances6TestEquality, GShow, Show, Eq, Arbitrary

TestEquality CmdDefined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
GShow CmdDefined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
Eq (Cmd a)Defined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
Show (Cmd a)Defined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
Eq (Some Cmd)Defined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
Arbitrary (Some Cmd)Defined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example

Cmd Serializer

1 declaration

valuecmdS :: (MonadTrans t, Monad (t Get), Monad (t PutM)) => Serializer t (Some Cmd)

Cmd Serializer

Runners

2 declarations

valuerunG

runGetS specialized to ExceptT e

valuerunP :: Serializer (ExceptT e) a -> a -> Either e ByteString

runPutS specialized to ExceptT e

Custom errors

2 declarations

datadata MyGetError

MyGetError_Example

Instances2Eq, Show

Eq MyGetErrorDefined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
Show MyGetErrorDefined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example

datadata MyPutError

MyPutError_NoLongerSupported

Instances2Eq, Show

Eq MyPutErrorDefined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example
Show MyPutErrorDefined in hnix-store-remote-0.7.0.0 · Data.Serializer.Example

Erroring variants of cmdS

putS with throwError and MyPutError

valuecmdSPutError :: Serializer (ExceptT MyPutError) (Some Cmd)

getS with throwError and MyGetError

valuecmdSGetError :: Serializer (ExceptT MyGetError) (Some Cmd)

getS with fail

valuecmdSGetFail :: (MonadTrans t, MonadFail (t Get), Monad (t PutM)) => Serializer t (Some Cmd)

putS with fail

valuecmdSPutFail :: (MonadTrans t, MonadFail (t PutM), Monad (t Get)) => Serializer t (Some Cmd)

Unused as PutM doesn't have MonadFail >>> serializerPutFail = cmdPutFail @(ExceptT MyGetError) No instance for (MonadFail PutM) as expected

Elaborate

3 declarations

valuecmdSRest :: Serializer (REST Bool e Int) (Some Cmd)

valuerunGRest

:: Serializer (REST r e s) a
-> r
-> s
-> ByteString
-> Either (GetSerializerError e) a

valuerunPRest :: Serializer (REST r e s) a -> r -> s -> a -> Either e ByteString