Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data RPCID
- getRPCID :: RPCID -> Int
- data RPCIdentified a = RPCIdentified {}
- newtype Subscribe a = Subscribe (RPCIdentified a)
- newtype Supply a = Supply {
- getSupply :: RPCIdentified (Maybe a)
- newtype Reply a = Reply (RPCIdentified a)
- newtype Complete a = Complete (RPCIdentified a)
- data ClientToServer sub sup
- data ServerToClient rep com
- data WebSocketRPCException = WebSocketRPCParseFailure [String] ByteString
Documentation
Unique identifier for an RPC session
Bounded RPCID Source # | |
Enum RPCID Source # | |
Eq RPCID Source # | |
Data RPCID Source # | |
Num RPCID Source # | |
Ord RPCID Source # | |
Read RPCID Source # | |
Show RPCID Source # | |
Generic RPCID Source # | |
ToJSON RPCID Source # | |
FromJSON RPCID Source # | |
CoArbitrary RPCID Source # | |
Arbitrary RPCID Source # | |
type Rep RPCID Source # | |
RPC Methods
data RPCIdentified a Source #
Eq a => Eq (RPCIdentified a) Source # | |
Data a => Data (RPCIdentified a) Source # | |
Read a => Read (RPCIdentified a) Source # | |
Show a => Show (RPCIdentified a) Source # | |
Generic (RPCIdentified a) Source # | |
ToJSON a => ToJSON (RPCIdentified a) Source # | |
FromJSON a => FromJSON (RPCIdentified a) Source # | |
Arbitrary a => Arbitrary (RPCIdentified a) Source # | |
type Rep (RPCIdentified a) Source # | |
Eq a => Eq (Subscribe a) Source # | |
Data a => Data (Subscribe a) Source # | |
Read a => Read (Subscribe a) Source # | |
Show a => Show (Subscribe a) Source # | |
Generic (Subscribe a) Source # | |
ToJSON a => ToJSON (Subscribe a) Source # | |
FromJSON a => FromJSON (Subscribe a) Source # | |
Arbitrary a => Arbitrary (Subscribe a) Source # | |
type Rep (Subscribe a) Source # | |
Nothing
means the RPC is canceled
Supply | |
|
Eq a => Eq (Supply a) Source # | |
Data a => Data (Supply a) Source # | |
Read a => Read (Supply a) Source # | |
Show a => Show (Supply a) Source # | |
Generic (Supply a) Source # | |
ToJSON a => ToJSON (Supply a) Source # | |
FromJSON a => FromJSON (Supply a) Source # | |
Arbitrary a => Arbitrary (Supply a) Source # | |
type Rep (Supply a) Source # | |
Reply (RPCIdentified a) |
Eq a => Eq (Reply a) Source # | |
Data a => Data (Reply a) Source # | |
Read a => Read (Reply a) Source # | |
Show a => Show (Reply a) Source # | |
Generic (Reply a) Source # | |
ToJSON a => ToJSON (Reply a) Source # | |
FromJSON a => FromJSON (Reply a) Source # | |
Arbitrary a => Arbitrary (Reply a) Source # | |
type Rep (Reply a) Source # | |
Eq a => Eq (Complete a) Source # | |
Data a => Data (Complete a) Source # | |
Read a => Read (Complete a) Source # | |
Show a => Show (Complete a) Source # | |
Generic (Complete a) Source # | |
ToJSON a => ToJSON (Complete a) Source # | |
FromJSON a => FromJSON (Complete a) Source # | |
Arbitrary a => Arbitrary (Complete a) Source # | |
type Rep (Complete a) Source # | |
Categorized
data ClientToServer sub sup Source #
(Eq sub, Eq sup) => Eq (ClientToServer sub sup) Source # | |
(Data sub, Data sup) => Data (ClientToServer sub sup) Source # | |
(Read sub, Read sup) => Read (ClientToServer sub sup) Source # | |
(Show sub, Show sup) => Show (ClientToServer sub sup) Source # | |
Generic (ClientToServer sub sup) Source # | |
(ToJSON sub, ToJSON sup) => ToJSON (ClientToServer sub sup) Source # | |
(FromJSON sub, FromJSON sup) => FromJSON (ClientToServer sub sup) Source # | |
(Arbitrary sub, Arbitrary sup) => Arbitrary (ClientToServer sub sup) Source # | |
type Rep (ClientToServer sub sup) Source # | |
data ServerToClient rep com Source #
(Eq rep, Eq com) => Eq (ServerToClient rep com) Source # | |
(Data rep, Data com) => Data (ServerToClient rep com) Source # | |
(Read rep, Read com) => Read (ServerToClient rep com) Source # | |
(Show rep, Show com) => Show (ServerToClient rep com) Source # | |
Generic (ServerToClient rep com) Source # | |
(ToJSON rep, ToJSON com) => ToJSON (ServerToClient rep com) Source # | |
(FromJSON rep, FromJSON com) => FromJSON (ServerToClient rep com) Source # | |
(Arbitrary sub, Arbitrary sup) => Arbitrary (ServerToClient sub sup) Source # | |
type Rep (ServerToClient rep com) Source # | |