Safe Haskell	None
Language	Haskell2010

Network.WebSockets.RPC.Types

Contents

RPC Methods
- Categorized
Exceptions

Synopsis

Documentation

data RPCID #

Unique identifier for an RPC session

Instances

Bounded RPCID #
Methods minBound :: RPCID # maxBound :: RPCID #
Enum RPCID #
Methods succ :: RPCID -> RPCID # pred :: RPCID -> RPCID # toEnum :: Int -> RPCID # fromEnum :: RPCID -> Int # enumFrom :: RPCID -> [RPCID] # enumFromThen :: RPCID -> RPCID -> [RPCID] # enumFromTo :: RPCID -> RPCID -> [RPCID] # enumFromThenTo :: RPCID -> RPCID -> RPCID -> [RPCID] #
Eq RPCID #
Methods (==) :: RPCID -> RPCID -> Bool # (/=) :: RPCID -> RPCID -> Bool #
Data RPCID #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RPCID -> c RPCID # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RPCID # toConstr :: RPCID -> Constr # dataTypeOf :: RPCID -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c RPCID) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RPCID) # gmapT :: (forall b. Data b => b -> b) -> RPCID -> RPCID # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RPCID -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RPCID -> r # gmapQ :: (forall d. Data d => d -> u) -> RPCID -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RPCID -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RPCID -> m RPCID # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RPCID -> m RPCID # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RPCID -> m RPCID #
Num RPCID #
Methods (+) :: RPCID -> RPCID -> RPCID # (-) :: RPCID -> RPCID -> RPCID # (*) :: RPCID -> RPCID -> RPCID # negate :: RPCID -> RPCID # abs :: RPCID -> RPCID # signum :: RPCID -> RPCID # fromInteger :: Integer -> RPCID #
Ord RPCID #
Methods compare :: RPCID -> RPCID -> Ordering # (<) :: RPCID -> RPCID -> Bool # (<=) :: RPCID -> RPCID -> Bool # (>) :: RPCID -> RPCID -> Bool # (>=) :: RPCID -> RPCID -> Bool # max :: RPCID -> RPCID -> RPCID # min :: RPCID -> RPCID -> RPCID #
Read RPCID #
Methods readsPrec :: Int -> ReadS RPCID # readList :: ReadS [RPCID] # readPrec :: ReadPrec RPCID # readListPrec :: ReadPrec [RPCID] #
Show RPCID #
Methods showsPrec :: Int -> RPCID -> ShowS # show :: RPCID -> String # showList :: [RPCID] -> ShowS #
Generic RPCID #
Associated Types type Rep RPCID :: * -> * # Methods from :: RPCID -> Rep RPCID x # to :: Rep RPCID x -> RPCID #
Arbitrary RPCID #
Methods arbitrary :: Gen RPCID # shrink :: RPCID -> [RPCID] #
CoArbitrary RPCID #
Methods coarbitrary :: RPCID -> Gen b -> Gen b #
ToJSON RPCID #
Methods toJSON :: RPCID -> Value # toEncoding :: RPCID -> Encoding # toJSONList :: [RPCID] -> Value # toEncodingList :: [RPCID] -> Encoding #
FromJSON RPCID #
Methods parseJSON :: Value -> Parser RPCID # parseJSONList :: Value -> Parser [RPCID] #
type Rep RPCID #
type Rep RPCID = D1 * (MetaData "RPCID" "Network.WebSockets.RPC.Types" "websockets-rpc-0.6.0-cE3L03rBvYCWwgODDY04t" True) (C1 * (MetaCons "RPCID" PrefixI True) (S1 * (MetaSel (Just Symbol "getRPCID") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)))

getRPCID :: RPCID -> Int #

RPC Methods

data RPCIdentified a #

Constructors

RPCIdentified
Fields _ident :: !RPCID _params :: !a

Instances

Eq a => Eq (RPCIdentified a) #
Methods (==) :: RPCIdentified a -> RPCIdentified a -> Bool # (/=) :: RPCIdentified a -> RPCIdentified a -> Bool #
Data a => Data (RPCIdentified a) #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RPCIdentified a -> c (RPCIdentified a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (RPCIdentified a) # toConstr :: RPCIdentified a -> Constr # dataTypeOf :: RPCIdentified a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (RPCIdentified a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (RPCIdentified a)) # gmapT :: (forall b. Data b => b -> b) -> RPCIdentified a -> RPCIdentified a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RPCIdentified a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RPCIdentified a -> r # gmapQ :: (forall d. Data d => d -> u) -> RPCIdentified a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RPCIdentified a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RPCIdentified a -> m (RPCIdentified a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RPCIdentified a -> m (RPCIdentified a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RPCIdentified a -> m (RPCIdentified a) #
Read a => Read (RPCIdentified a) #
Methods readsPrec :: Int -> ReadS (RPCIdentified a) # readList :: ReadS [RPCIdentified a] # readPrec :: ReadPrec (RPCIdentified a) # readListPrec :: ReadPrec [RPCIdentified a] #
Show a => Show (RPCIdentified a) #
Methods showsPrec :: Int -> RPCIdentified a -> ShowS # show :: RPCIdentified a -> String # showList :: [RPCIdentified a] -> ShowS #
Generic (RPCIdentified a) #
Associated Types type Rep (RPCIdentified a) :: * -> * # Methods from :: RPCIdentified a -> Rep (RPCIdentified a) x # to :: Rep (RPCIdentified a) x -> RPCIdentified a #
Arbitrary a => Arbitrary (RPCIdentified a) #
Methods arbitrary :: Gen (RPCIdentified a) # shrink :: RPCIdentified a -> [RPCIdentified a] #
ToJSON a => ToJSON (RPCIdentified a) #
Methods toJSON :: RPCIdentified a -> Value # toEncoding :: RPCIdentified a -> Encoding # toJSONList :: [RPCIdentified a] -> Value # toEncodingList :: [RPCIdentified a] -> Encoding #
FromJSON a => FromJSON (RPCIdentified a) #
Methods parseJSON :: Value -> Parser (RPCIdentified a) # parseJSONList :: Value -> Parser [RPCIdentified a] #
type Rep (RPCIdentified a) #
type Rep (RPCIdentified a) = D1 * (MetaData "RPCIdentified" "Network.WebSockets.RPC.Types" "websockets-rpc-0.6.0-cE3L03rBvYCWwgODDY04t" False) (C1 * (MetaCons "RPCIdentified" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_ident") SourceUnpack SourceStrict DecidedStrict) (Rec0 * RPCID)) (S1 * (MetaSel (Just Symbol "_params") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * a))))

newtype Subscribe a #

Constructors

(RPCIdentified a)

newtype Supply a #

Nothing means the RPC is canceled

Constructors

Supply
Fields getSupply :: RPCIdentified (Maybe a)

Instances

Eq a => Eq (Supply a) #
Methods (==) :: Supply a -> Supply a -> Bool # (/=) :: Supply a -> Supply a -> Bool #
Data a => Data (Supply a) #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Supply a -> c (Supply a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Supply a) # toConstr :: Supply a -> Constr # dataTypeOf :: Supply a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Supply a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Supply a)) # gmapT :: (forall b. Data b => b -> b) -> Supply a -> Supply a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Supply a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Supply a -> r # gmapQ :: (forall d. Data d => d -> u) -> Supply a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Supply a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Supply a -> m (Supply a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Supply a -> m (Supply a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Supply a -> m (Supply a) #
Read a => Read (Supply a) #
Methods readsPrec :: Int -> ReadS (Supply a) # readList :: ReadS [Supply a] # readPrec :: ReadPrec (Supply a) # readListPrec :: ReadPrec [Supply a] #
Show a => Show (Supply a) #
Methods showsPrec :: Int -> Supply a -> ShowS # show :: Supply a -> String # showList :: [Supply a] -> ShowS #
Generic (Supply a) #
Associated Types type Rep (Supply a) :: * -> * # Methods from :: Supply a -> Rep (Supply a) x # to :: Rep (Supply a) x -> Supply a #
Arbitrary a => Arbitrary (Supply a) #
Methods arbitrary :: Gen (Supply a) # shrink :: Supply a -> [Supply a] #
ToJSON a => ToJSON (Supply a) #
Methods toJSON :: Supply a -> Value # toEncoding :: Supply a -> Encoding # toJSONList :: [Supply a] -> Value # toEncodingList :: [Supply a] -> Encoding #
FromJSON a => FromJSON (Supply a) #
Methods parseJSON :: Value -> Parser (Supply a) # parseJSONList :: Value -> Parser [Supply a] #
type Rep (Supply a) #
type Rep (Supply a) = D1 * (MetaData "Supply" "Network.WebSockets.RPC.Types" "websockets-rpc-0.6.0-cE3L03rBvYCWwgODDY04t" True) (C1 * (MetaCons "Supply" PrefixI True) (S1 * (MetaSel (Just Symbol "getSupply") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (RPCIdentified (Maybe a)))))

newtype Reply a #

Constructors

Reply (RPCIdentified a)

Instances

Eq a => Eq (Reply a) #
Methods (==) :: Reply a -> Reply a -> Bool # (/=) :: Reply a -> Reply a -> Bool #
Data a => Data (Reply a) #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Reply a -> c (Reply a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Reply a) # toConstr :: Reply a -> Constr # dataTypeOf :: Reply a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Reply a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Reply a)) # gmapT :: (forall b. Data b => b -> b) -> Reply a -> Reply a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Reply a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Reply a -> r # gmapQ :: (forall d. Data d => d -> u) -> Reply a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Reply a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Reply a -> m (Reply a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Reply a -> m (Reply a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Reply a -> m (Reply a) #
Read a => Read (Reply a) #
Methods readsPrec :: Int -> ReadS (Reply a) # readList :: ReadS [Reply a] # readPrec :: ReadPrec (Reply a) # readListPrec :: ReadPrec [Reply a] #
Show a => Show (Reply a) #
Methods showsPrec :: Int -> Reply a -> ShowS # show :: Reply a -> String # showList :: [Reply a] -> ShowS #
Generic (Reply a) #
Associated Types type Rep (Reply a) :: * -> * # Methods from :: Reply a -> Rep (Reply a) x # to :: Rep (Reply a) x -> Reply a #
Arbitrary a => Arbitrary (Reply a) #
Methods arbitrary :: Gen (Reply a) # shrink :: Reply a -> [Reply a] #
ToJSON a => ToJSON (Reply a) #
Methods toJSON :: Reply a -> Value # toEncoding :: Reply a -> Encoding # toJSONList :: [Reply a] -> Value # toEncodingList :: [Reply a] -> Encoding #
FromJSON a => FromJSON (Reply a) #
Methods parseJSON :: Value -> Parser (Reply a) # parseJSONList :: Value -> Parser [Reply a] #
type Rep (Reply a) #
type Rep (Reply a) = D1 * (MetaData "Reply" "Network.WebSockets.RPC.Types" "websockets-rpc-0.6.0-cE3L03rBvYCWwgODDY04t" True) (C1 * (MetaCons "Reply" PrefixI True) (S1 * (MetaSel (Just Symbol "getReply") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (RPCIdentified a))))

newtype Complete a #

Constructors

Complete (RPCIdentified a)

Instances

Eq a => Eq (Complete a) #
Methods (==) :: Complete a -> Complete a -> Bool # (/=) :: Complete a -> Complete a -> Bool #
Data a => Data (Complete a) #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Complete a -> c (Complete a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Complete a) # toConstr :: Complete a -> Constr # dataTypeOf :: Complete a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Complete a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Complete a)) # gmapT :: (forall b. Data b => b -> b) -> Complete a -> Complete a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Complete a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Complete a -> r # gmapQ :: (forall d. Data d => d -> u) -> Complete a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Complete a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Complete a -> m (Complete a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Complete a -> m (Complete a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Complete a -> m (Complete a) #
Read a => Read (Complete a) #
Methods readsPrec :: Int -> ReadS (Complete a) # readList :: ReadS [Complete a] # readPrec :: ReadPrec (Complete a) # readListPrec :: ReadPrec [Complete a] #
Show a => Show (Complete a) #
Methods showsPrec :: Int -> Complete a -> ShowS # show :: Complete a -> String # showList :: [Complete a] -> ShowS #
Generic (Complete a) #
Associated Types type Rep (Complete a) :: * -> * # Methods from :: Complete a -> Rep (Complete a) x # to :: Rep (Complete a) x -> Complete a #
Arbitrary a => Arbitrary (Complete a) #
Methods arbitrary :: Gen (Complete a) # shrink :: Complete a -> [Complete a] #
ToJSON a => ToJSON (Complete a) #
Methods toJSON :: Complete a -> Value # toEncoding :: Complete a -> Encoding # toJSONList :: [Complete a] -> Value # toEncodingList :: [Complete a] -> Encoding #
FromJSON a => FromJSON (Complete a) #
Methods parseJSON :: Value -> Parser (Complete a) # parseJSONList :: Value -> Parser [Complete a] #
type Rep (Complete a) #
type Rep (Complete a) = D1 * (MetaData "Complete" "Network.WebSockets.RPC.Types" "websockets-rpc-0.6.0-cE3L03rBvYCWwgODDY04t" True) (C1 * (MetaCons "Complete" PrefixI True) (S1 * (MetaSel (Just Symbol "getComplete") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (RPCIdentified a))))

Categorized

data ClientToServer sub sup #

Constructors

Sub (Subscribe sub)
Sup (Supply sup)
Ping

Instances

(Eq sup, Eq sub) => Eq (ClientToServer sub sup) #
Methods (==) :: ClientToServer sub sup -> ClientToServer sub sup -> Bool # (/=) :: ClientToServer sub sup -> ClientToServer sub sup -> Bool #
(Data sup, Data sub) => Data (ClientToServer sub sup) #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClientToServer sub sup -> c (ClientToServer sub sup) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ClientToServer sub sup) # toConstr :: ClientToServer sub sup -> Constr # dataTypeOf :: ClientToServer sub sup -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (ClientToServer sub sup)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ClientToServer sub sup)) # gmapT :: (forall b. Data b => b -> b) -> ClientToServer sub sup -> ClientToServer sub sup # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClientToServer sub sup -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClientToServer sub sup -> r # gmapQ :: (forall d. Data d => d -> u) -> ClientToServer sub sup -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ClientToServer sub sup -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClientToServer sub sup -> m (ClientToServer sub sup) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClientToServer sub sup -> m (ClientToServer sub sup) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClientToServer sub sup -> m (ClientToServer sub sup) #
(Read sup, Read sub) => Read (ClientToServer sub sup) #
Methods readsPrec :: Int -> ReadS (ClientToServer sub sup) # readList :: ReadS [ClientToServer sub sup] # readPrec :: ReadPrec (ClientToServer sub sup) # readListPrec :: ReadPrec [ClientToServer sub sup] #
(Show sup, Show sub) => Show (ClientToServer sub sup) #
Methods showsPrec :: Int -> ClientToServer sub sup -> ShowS # show :: ClientToServer sub sup -> String # showList :: [ClientToServer sub sup] -> ShowS #
Generic (ClientToServer sub sup) #
Associated Types type Rep (ClientToServer sub sup) :: * -> * # Methods from :: ClientToServer sub sup -> Rep (ClientToServer sub sup) x # to :: Rep (ClientToServer sub sup) x -> ClientToServer sub sup #
(Arbitrary sub, Arbitrary sup) => Arbitrary (ClientToServer sub sup) #
Methods arbitrary :: Gen (ClientToServer sub sup) # shrink :: ClientToServer sub sup -> [ClientToServer sub sup] #
(ToJSON sub, ToJSON sup) => ToJSON (ClientToServer sub sup) #
Methods toJSON :: ClientToServer sub sup -> Value # toEncoding :: ClientToServer sub sup -> Encoding # toJSONList :: [ClientToServer sub sup] -> Value # toEncodingList :: [ClientToServer sub sup] -> Encoding #
(FromJSON sub, FromJSON sup) => FromJSON (ClientToServer sub sup) #
Methods parseJSON :: Value -> Parser (ClientToServer sub sup) # parseJSONList :: Value -> Parser [ClientToServer sub sup] #
type Rep (ClientToServer sub sup) #
type Rep (ClientToServer sub sup) = D1 * (MetaData "ClientToServer" "Network.WebSockets.RPC.Types" "websockets-rpc-0.6.0-cE3L03rBvYCWwgODDY04t" False) ((:+:) * (C1 * (MetaCons "Sub" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Subscribe sub)))) ((:+:) * (C1 * (MetaCons "Sup" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Supply sup)))) (C1 * (MetaCons "Ping" PrefixI False) (U1 *))))

data ServerToClient rep com #

Constructors

Rep (Reply rep)
Com (Complete com)
Pong

Instances

(Eq com, Eq rep) => Eq (ServerToClient rep com) #
Methods (==) :: ServerToClient rep com -> ServerToClient rep com -> Bool # (/=) :: ServerToClient rep com -> ServerToClient rep com -> Bool #
(Data com, Data rep) => Data (ServerToClient rep com) #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ServerToClient rep com -> c (ServerToClient rep com) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ServerToClient rep com) # toConstr :: ServerToClient rep com -> Constr # dataTypeOf :: ServerToClient rep com -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (ServerToClient rep com)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ServerToClient rep com)) # gmapT :: (forall b. Data b => b -> b) -> ServerToClient rep com -> ServerToClient rep com # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ServerToClient rep com -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ServerToClient rep com -> r # gmapQ :: (forall d. Data d => d -> u) -> ServerToClient rep com -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ServerToClient rep com -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ServerToClient rep com -> m (ServerToClient rep com) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ServerToClient rep com -> m (ServerToClient rep com) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ServerToClient rep com -> m (ServerToClient rep com) #
(Read com, Read rep) => Read (ServerToClient rep com) #
Methods readsPrec :: Int -> ReadS (ServerToClient rep com) # readList :: ReadS [ServerToClient rep com] # readPrec :: ReadPrec (ServerToClient rep com) # readListPrec :: ReadPrec [ServerToClient rep com] #
(Show com, Show rep) => Show (ServerToClient rep com) #
Methods showsPrec :: Int -> ServerToClient rep com -> ShowS # show :: ServerToClient rep com -> String # showList :: [ServerToClient rep com] -> ShowS #
Generic (ServerToClient rep com) #
Associated Types type Rep (ServerToClient rep com) :: * -> * # Methods from :: ServerToClient rep com -> Rep (ServerToClient rep com) x # to :: Rep (ServerToClient rep com) x -> ServerToClient rep com #
(Arbitrary sub, Arbitrary sup) => Arbitrary (ServerToClient sub sup) #
Methods arbitrary :: Gen (ServerToClient sub sup) # shrink :: ServerToClient sub sup -> [ServerToClient sub sup] #
(ToJSON rep, ToJSON com) => ToJSON (ServerToClient rep com) #
Methods toJSON :: ServerToClient rep com -> Value # toEncoding :: ServerToClient rep com -> Encoding # toJSONList :: [ServerToClient rep com] -> Value # toEncodingList :: [ServerToClient rep com] -> Encoding #
(FromJSON rep, FromJSON com) => FromJSON (ServerToClient rep com) #
Methods parseJSON :: Value -> Parser (ServerToClient rep com) # parseJSONList :: Value -> Parser [ServerToClient rep com] #
type Rep (ServerToClient rep com) #
type Rep (ServerToClient rep com) = D1 * (MetaData "ServerToClient" "Network.WebSockets.RPC.Types" "websockets-rpc-0.6.0-cE3L03rBvYCWwgODDY04t" False) ((:+:) * (C1 * (MetaCons "Rep" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Reply rep)))) ((:+:) * (C1 * (MetaCons "Com" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Complete com)))) (C1 * (MetaCons "Pong" PrefixI False) (U1 *))))

Exceptions

data WebSocketRPCException #

Constructors

WebSocketRPCParseFailure [String] ByteString

Instances

Show WebSocketRPCException #
Methods showsPrec :: Int -> WebSocketRPCException -> ShowS # show :: WebSocketRPCException -> String # showList :: [WebSocketRPCException] -> ShowS #
Generic WebSocketRPCException #
Associated Types type Rep WebSocketRPCException :: * -> * # Methods from :: WebSocketRPCException -> Rep WebSocketRPCException x # to :: Rep WebSocketRPCException x -> WebSocketRPCException #
Exception WebSocketRPCException #
Methods toException :: WebSocketRPCException -> SomeException # fromException :: SomeException -> Maybe WebSocketRPCException # displayException :: WebSocketRPCException -> String #
type Rep WebSocketRPCException #
type Rep WebSocketRPCException = D1 * (MetaData "WebSocketRPCException" "Network.WebSockets.RPC.Types" "websockets-rpc-0.6.0-cE3L03rBvYCWwgODDY04t" False) (C1 * (MetaCons "WebSocketRPCParseFailure" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [String])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ByteString))))

Eq a => Eq (Subscribe a) #
Methods (==) :: Subscribe a -> Subscribe a -> Bool # (/=) :: Subscribe a -> Subscribe a -> Bool #
Data a => Data (Subscribe a) #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Subscribe a -> c (Subscribe a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Subscribe a) # toConstr :: Subscribe a -> Constr # dataTypeOf :: Subscribe a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Subscribe a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Subscribe a)) # gmapT :: (forall b. Data b => b -> b) -> Subscribe a -> Subscribe a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Subscribe a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Subscribe a -> r # gmapQ :: (forall d. Data d => d -> u) -> Subscribe a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Subscribe a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Subscribe a -> m (Subscribe a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Subscribe a -> m (Subscribe a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Subscribe a -> m (Subscribe a) #
Read a => Read (Subscribe a) #
Methods readsPrec :: Int -> ReadS (Subscribe a) # readList :: ReadS [Subscribe a] # readPrec :: ReadPrec (Subscribe a) # readListPrec :: ReadPrec [Subscribe a] #
Show a => Show (Subscribe a) #
Methods showsPrec :: Int -> Subscribe a -> ShowS # show :: Subscribe a -> String # showList :: [Subscribe a] -> ShowS #
Generic (Subscribe a) #
Associated Types type Rep (Subscribe a) :: * -> * # Methods from :: Subscribe a -> Rep (Subscribe a) x # to :: Rep (Subscribe a) x -> Subscribe a #
Arbitrary a => Arbitrary (Subscribe a) #
Methods arbitrary :: Gen (Subscribe a) # shrink :: Subscribe a -> [Subscribe a] #
ToJSON a => ToJSON (Subscribe a) #
Methods toJSON :: Subscribe a -> Value # toEncoding :: Subscribe a -> Encoding # toJSONList :: [Subscribe a] -> Value # toEncodingList :: [Subscribe a] -> Encoding #
FromJSON a => FromJSON (Subscribe a) #
Methods parseJSON :: Value -> Parser (Subscribe a) # parseJSONList :: Value -> Parser [Subscribe a] #
type Rep (Subscribe a) #
type Rep (Subscribe a) = D1 * (MetaData "Subscribe" "Network.WebSockets.RPC.Types" "websockets-rpc-0.6.0-cE3L03rBvYCWwgODDY04t" True) (C1 * (MetaCons "Subscribe" PrefixI True) (S1 * (MetaSel (Just Symbol "getSubscribe") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (RPCIdentified a))))