Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Serializer.Example

Contents

Synopsis

data OpCode
- = OpCode_Int
- | OpCode_Bool
data Cmd :: Type -> Type where
- Cmd_Int :: Int8 -> Cmd Int8
- Cmd_Bool :: Bool -> Cmd Bool
cmdS :: forall t. (MonadTrans t, Monad (t Get), Monad (t PutM)) => Serializer t (Some Cmd)
runG :: Serializer (ExceptT e) a -> ByteString -> Either (GetSerializerError e) a
runP :: Serializer (ExceptT e) a -> a -> Either e ByteString
data MyGetError = MyGetError_Example
data MyPutError = MyPutError_NoLongerSupported
cmdSPutError :: Serializer (ExceptT MyPutError) (Some Cmd)
cmdSGetError :: Serializer (ExceptT MyGetError) (Some Cmd)
cmdSGetFail :: (MonadTrans t, MonadFail (t Get), Monad (t PutM)) => Serializer t (Some Cmd)
cmdSPutFail :: (MonadTrans t, MonadFail (t PutM), Monad (t Get)) => Serializer t (Some Cmd)
cmdSRest :: Serializer (REST Bool e Int) (Some Cmd)
runGRest :: Serializer (REST r e s) a -> r -> s -> ByteString -> Either (GetSerializerError e) a
runPRest :: Serializer (REST r e s) a -> r -> s -> a -> Either e ByteString

Simple protocol

data OpCode Source #

OpCode used to differentiate between operations

Constructors

OpCode_Int
OpCode_Bool

Instances

Instances details

Bounded OpCode Source #
Instance details Defined in Data.Serializer.Example Methods minBound :: OpCode # maxBound :: OpCode #
Enum OpCode Source #
Instance details Defined in Data.Serializer.Example Methods succ :: OpCode -> OpCode # pred :: OpCode -> OpCode # toEnum :: Int -> OpCode # fromEnum :: OpCode -> Int # enumFrom :: OpCode -> [OpCode] # enumFromThen :: OpCode -> OpCode -> [OpCode] # enumFromTo :: OpCode -> OpCode -> [OpCode] # enumFromThenTo :: OpCode -> OpCode -> OpCode -> [OpCode] #
Generic OpCode Source #
Instance details Defined in Data.Serializer.Example Associated Types type Rep OpCode :: Type -> Type # Methods from :: OpCode -> Rep OpCode x # to :: Rep OpCode x -> OpCode #
Show OpCode Source #
Instance details Defined in Data.Serializer.Example Methods showsPrec :: Int -> OpCode -> ShowS # show :: OpCode -> String # showList :: [OpCode] -> ShowS #
Eq OpCode Source #
Instance details Defined in Data.Serializer.Example Methods (==) :: OpCode -> OpCode -> Bool # (/=) :: OpCode -> OpCode -> Bool #
Ord OpCode Source #
Instance details Defined in Data.Serializer.Example Methods compare :: OpCode -> OpCode -> Ordering # (<) :: OpCode -> OpCode -> Bool # (<=) :: OpCode -> OpCode -> Bool # (>) :: OpCode -> OpCode -> Bool # (>=) :: OpCode -> OpCode -> Bool # max :: OpCode -> OpCode -> OpCode # min :: OpCode -> OpCode -> OpCode #
type Rep OpCode Source #
Instance details Defined in Data.Serializer.Example type Rep OpCode = D1 ('MetaData "OpCode" "Data.Serializer.Example" "hnix-store-remote-0.7.0.0-3KzMSkqSXnCD71veVOrNoM" 'False) (C1 ('MetaCons "OpCode_Int" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OpCode_Bool" 'PrefixI 'False) (U1 :: Type -> Type))

data Cmd :: Type -> Type where Source #

Protocol operations

Constructors

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

Instances

Instances details

TestEquality Cmd Source #
Instance details Defined in Data.Serializer.Example Methods testEquality :: forall (a :: k) (b :: k). Cmd a -> Cmd b -> Maybe (a :~: b) #
GShow Cmd Source #
Instance details Defined in Data.Serializer.Example Methods gshowsPrec :: forall (a :: k). Int -> Cmd a -> ShowS #
Show (Cmd a) Source #
Instance details Defined in Data.Serializer.Example Methods showsPrec :: Int -> Cmd a -> ShowS # show :: Cmd a -> String # showList :: [Cmd a] -> ShowS #
Eq (Cmd a) Source #
Instance details Defined in Data.Serializer.Example Methods (==) :: Cmd a -> Cmd a -> Bool # (/=) :: Cmd a -> Cmd a -> Bool #
Arbitrary (Some Cmd) Source #
Instance details Defined in Data.Serializer.Example Methods arbitrary :: Gen (Some Cmd) # shrink :: Some Cmd -> [Some Cmd] #
Eq (Some Cmd) Source #
Instance details Defined in Data.Serializer.Example Methods (==) :: Some Cmd -> Some Cmd -> Bool # (/=) :: Some Cmd -> Some Cmd -> Bool #

Cmd Serializer

cmdS :: forall t. (MonadTrans t, Monad (t Get), Monad (t PutM)) => Serializer t (Some Cmd) Source #

Cmd Serializer

Runners

runG :: Serializer (ExceptT e) a -> ByteString -> Either (GetSerializerError e) a Source #

runGetS specialized to ExceptT e

runP :: Serializer (ExceptT e) a -> a -> Either e ByteString Source #

runPutS specialized to ExceptT e

Custom errors

data MyGetError Source #

Constructors

MyGetError_Example

Instances

Instances details

Show MyGetError Source #
Instance details Defined in Data.Serializer.Example Methods showsPrec :: Int -> MyGetError -> ShowS # show :: MyGetError -> String # showList :: [MyGetError] -> ShowS #
Eq MyGetError Source #
Instance details Defined in Data.Serializer.Example Methods (==) :: MyGetError -> MyGetError -> Bool # (/=) :: MyGetError -> MyGetError -> Bool #

data MyPutError Source #

Constructors

MyPutError_NoLongerSupported

Instances

Instances details

Show MyPutError Source #
Instance details Defined in Data.Serializer.Example Methods showsPrec :: Int -> MyPutError -> ShowS # show :: MyPutError -> String # showList :: [MyPutError] -> ShowS #
Eq MyPutError Source #
Instance details Defined in Data.Serializer.Example Methods (==) :: MyPutError -> MyPutError -> Bool # (/=) :: MyPutError -> MyPutError -> Bool #