Network.JSONRPC

Introduction

This JSON-RPC library is fully-compatible with JSON-RPC 2.0 and 1.0. It provides an interface that combines a JSON-RPC client and server. It can set and keep track of request ids to parse responses. There is support for sending and receiving notifications. You may use any underlying transport. Basic TCP client and server provided.

A JSON-RPC application using this interface is considered to be peer-to-peer, as it can send and receive all types of JSON-RPC message independent of whether it originated the connection.

Establish JSON-RPC context

type JSONRPCT = ReaderT Session

runJSONRPCT

Arguments

:: (MonadLoggerIO m, MonadUnliftIO m)

=> Ver

JSON-RPC version

-> Bool

Ignore incoming requests/notifs

-> ConduitT ByteString Void m ()

Sink to send messages

-> ConduitT () ByteString m ()

Source to receive messages from

-> JSONRPCT m a

JSON-RPC action

-> m a

Output of action

Create JSON-RPC session around conduits from transport layer. When context exits session disappears.

Conduits for encoding/decoding

decodeConduit :: MonadLogger m => Ver -> ConduitT ByteString (Either Response Value) m ()

Conduit to decode incoming messages. Left Response indicates a response to send back to sender if parsing JSON fails.

encodeConduit :: (ToJSON j, MonadLogger m) => ConduitT j ByteString m ()

Communicate with remote party

receiveRequest :: MonadLoggerIO m => JSONRPCT m (Maybe Request)

Receive requests from remote endpoint. Returns Nothing if incoming channel is closed or has never been opened. Will reject incoming request if sent in a batch.

receiveBatchRequest :: MonadLoggerIO m => JSONRPCT m (Maybe BatchRequest)

Receive batch of requests. Will also accept single requests.

sendResponse :: MonadLoggerIO m => Response -> JSONRPCT m ()

Send response message. Do not use to respond to a batch of requests.

sendBatchResponse :: MonadLoggerIO m => BatchResponse -> JSONRPCT m ()

Send batch of responses. Use to respond to a batch of requests.

sendRequest :: (MonadLoggerIO m, ToJSON q, ToRequest q, FromResponse r) => q -> JSONRPCT m (Maybe (Either ErrorObj r))

Returns Nothing if did not receive response, could not parse it, or request is a notification. Just Left contains the error object returned by server if any. Just Right means response was received just right.

sendBatchRequest :: (MonadLoggerIO m, ToJSON q, ToRequest q, FromResponse r) => [q] -> JSONRPCT m [Maybe (Either ErrorObj r)]

Send multiple requests in a batch. If only a single request, do not put it in a batch.

Transports

Client

jsonrpcTCPClient

Arguments

:: (MonadLoggerIO m, MonadUnliftIO m)

=> Ver

JSON-RPC version

-> Bool

Ignore incoming requests or notifications

-> ClientSettings

Connection settings

-> JSONRPCT m a

JSON-RPC action

-> m a

Output of action

TCP client transport for JSON-RPC.

Server

jsonrpcTCPServer

Arguments

:: (MonadLoggerIO m, MonadUnliftIO m)

=> Ver

JSON-RPC version

-> Bool

Ignore incoming requests or notifications

-> ServerSettings

Connection settings

-> JSONRPCT m ()

Action to perform on connecting client thread

-> m a

TCP server transport for JSON-RPC.

Internal data and functions

type SentRequests = HashMap Id (TMVar (Maybe Response))

data Session

Constructors

Session

Fields

• inCh :: TBMChan (Either Response Value)
• outCh :: TBMChan Message
• reqCh :: Maybe (TBMChan BatchRequest)
• lastId :: TVar Id
• sentReqs :: TVar SentRequests
• rpcVer :: Ver
• dead :: TVar Bool

initSession :: Ver -> Bool -> STM Session

processIncoming :: (Functor m, MonadLoggerIO m) => JSONRPCT m ()

Process incoming messages. Do not use this directly unless you know what you are doing. This is an internal function.

sendMessage :: MonadLoggerIO m => Message -> JSONRPCT m ()

Send any message. Do not use this. Use the other high-level functions instead. Will not track request ids. Incoming responses to requests sent using this method will be ignored.

Requests

data Request

Constructors

Request

Fields

• getReqVer :: !Ver
• getReqMethod :: !Method
• getReqParams :: !Value
• getReqId :: !Id

Notif

Fields

• getReqVer :: !Ver
• getReqMethod :: !Method
• getReqParams :: !Value

Instances

Eq Request

Defined in Network.JSONRPC.Data

Methods

(==) :: Request -> Request -> Bool

(/=) :: Request -> Request -> Bool

Show Request

Defined in Network.JSONRPC.Data

Methods

showsPrec :: Int -> Request -> ShowS

show :: Request -> String

showList :: [Request] -> ShowS

Generic Request

Defined in Network.JSONRPC.Data

Associated Types

type Rep Request :: Type -> Type

Methods

from :: Request -> Rep Request x

to :: Rep Request x -> Request

Arbitrary Request

Defined in Network.JSONRPC.Arbitrary

Methods

arbitrary :: Gen Request

shrink :: Request -> [Request]

ToJSON Request

Defined in Network.JSONRPC.Data

Methods

toJSON :: Request -> Value

toEncoding :: Request -> Encoding

toJSONList :: [Request] -> Value

toEncodingList :: [Request] -> Encoding

FromJSON Request

Defined in Network.JSONRPC.Data

Methods

parseJSON :: Value -> Parser Request

parseJSONList :: Value -> Parser [Request]

NFData Request

Defined in Network.JSONRPC.Data

Methods

rnf :: Request -> ()

type Rep Request

Defined in Network.JSONRPC.Data

type Rep Request = D1 (MetaData "Request" "Network.JSONRPC.Data" "json-rpc-1.0.1-FKOWGatf3508CNIVKBm9kr" False) (C1 (MetaCons "Request" PrefixI True) ((S1 (MetaSel (Just "getReqVer") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Ver) :*: S1 (MetaSel (Just "getReqMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Method)) :*: (S1 (MetaSel (Just "getReqParams") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Value) :*: S1 (MetaSel (Just "getReqId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Id))) :+: C1 (MetaCons "Notif" PrefixI True) (S1 (MetaSel (Just "getReqVer") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Ver) :*: (S1 (MetaSel (Just "getReqMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Method) :*: S1 (MetaSel (Just "getReqParams") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Value))))

data BatchRequest

Constructors

BatchRequest

Fields

• getBatchRequest :: ![Request]

SingleRequest

Fields

• getSingleRequest :: !Request

Instances

Eq BatchRequest

Defined in Network.JSONRPC.Data

Methods

(==) :: BatchRequest -> BatchRequest -> Bool

(/=) :: BatchRequest -> BatchRequest -> Bool

Show BatchRequest

Defined in Network.JSONRPC.Data

Methods

showsPrec :: Int -> BatchRequest -> ShowS

show :: BatchRequest -> String

showList :: [BatchRequest] -> ShowS

Generic BatchRequest

Defined in Network.JSONRPC.Data

Associated Types

type Rep BatchRequest :: Type -> Type

Methods

from :: BatchRequest -> Rep BatchRequest x

to :: Rep BatchRequest x -> BatchRequest

Arbitrary BatchRequest

Defined in Network.JSONRPC.Arbitrary

Methods

arbitrary :: Gen BatchRequest

shrink :: BatchRequest -> [BatchRequest]

ToJSON BatchRequest

Defined in Network.JSONRPC.Data

Methods

toJSON :: BatchRequest -> Value

toEncoding :: BatchRequest -> Encoding

toJSONList :: [BatchRequest] -> Value

toEncodingList :: [BatchRequest] -> Encoding

FromJSON BatchRequest

Defined in Network.JSONRPC.Data

Methods

parseJSON :: Value -> Parser BatchRequest

parseJSONList :: Value -> Parser [BatchRequest]

NFData BatchRequest

Defined in Network.JSONRPC.Data

Methods

rnf :: BatchRequest -> ()

type Rep BatchRequest

Defined in Network.JSONRPC.Data

type Rep BatchRequest = D1 (MetaData "BatchRequest" "Network.JSONRPC.Data" "json-rpc-1.0.1-FKOWGatf3508CNIVKBm9kr" False) (C1 (MetaCons "BatchRequest" PrefixI True) (S1 (MetaSel (Just "getBatchRequest") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Request])) :+: C1 (MetaCons "SingleRequest" PrefixI True) (S1 (MetaSel (Just "getSingleRequest") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Request)))

Parsing

class FromRequest q where

Methods

parseParams :: Method -> Maybe (Value -> Parser q)

Parser for params Value in JSON-RPC request.

Instances

FromRequest ()

Defined in Network.JSONRPC.Data

Methods

parseParams :: Method -> Maybe (Value -> Parser ())

FromRequest Value

Defined in Network.JSONRPC.Data

Methods

parseParams :: Method -> Maybe (Value -> Parser Value)

fromRequest :: FromRequest q => Request -> Either ErrorObj q

Encoding

class ToRequest q where

Methods

requestMethod :: q -> Method

Method associated with request data to build a request object.

requestIsNotif :: q -> Bool

Is this request to be sent as a notification (no id, no response)?

Instances

ToRequest ()

Defined in Network.JSONRPC.Data

Methods

requestMethod :: () -> Method

requestIsNotif :: () -> Bool

ToRequest Value

Defined in Network.JSONRPC.Data

Methods

requestMethod :: Value -> Method

requestIsNotif :: Value -> Bool

buildRequest

Arguments

:: (ToJSON q, ToRequest q)

=> Ver

JSON-RPC version

-> q

Request data

-> Id

-> Request

Responses

data Response

Constructors

Response

Fields

• getResVer :: !Ver
• getResult :: !Value
• getResId :: !Id

ResponseError

Fields

• getResVer :: !Ver
• getError :: !ErrorObj
• getResId :: !Id

OrphanError

Fields

• getResVer :: !Ver
• getError :: !ErrorObj

Instances

Eq Response

Defined in Network.JSONRPC.Data

Methods

(==) :: Response -> Response -> Bool

(/=) :: Response -> Response -> Bool

Show Response

Defined in Network.JSONRPC.Data

Methods

showsPrec :: Int -> Response -> ShowS

show :: Response -> String

showList :: [Response] -> ShowS

Generic Response

Defined in Network.JSONRPC.Data

Associated Types

type Rep Response :: Type -> Type

Methods

from :: Response -> Rep Response x

to :: Rep Response x -> Response

Arbitrary Response

Defined in Network.JSONRPC.Arbitrary

Methods

arbitrary :: Gen Response

shrink :: Response -> [Response]

ToJSON Response

Defined in Network.JSONRPC.Data

Methods

toJSON :: Response -> Value

toEncoding :: Response -> Encoding

toJSONList :: [Response] -> Value

toEncodingList :: [Response] -> Encoding

FromJSON Response

Defined in Network.JSONRPC.Data

Methods

parseJSON :: Value -> Parser Response

parseJSONList :: Value -> Parser [Response]

NFData Response

Defined in Network.JSONRPC.Data

Methods

rnf :: Response -> ()

type Rep Response

Defined in Network.JSONRPC.Data

type Rep Response = D1 (MetaData "Response" "Network.JSONRPC.Data" "json-rpc-1.0.1-FKOWGatf3508CNIVKBm9kr" False) (C1 (MetaCons "Response" PrefixI True) (S1 (MetaSel (Just "getResVer") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Ver) :*: (S1 (MetaSel (Just "getResult") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Value) :*: S1 (MetaSel (Just "getResId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Id))) :+: (C1 (MetaCons "ResponseError" PrefixI True) (S1 (MetaSel (Just "getResVer") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Ver) :*: (S1 (MetaSel (Just "getError") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ErrorObj) :*: S1 (MetaSel (Just "getResId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Id))) :+: C1 (MetaCons "OrphanError" PrefixI True) (S1 (MetaSel (Just "getResVer") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Ver) :*: S1 (MetaSel (Just "getError") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ErrorObj))))

data BatchResponse

Constructors

BatchResponse

Fields

• getBatchResponse :: ![Response]

SingleResponse

Fields

• getSingleResponse :: !Response

Instances

Eq BatchResponse

Defined in Network.JSONRPC.Data

Methods

(==) :: BatchResponse -> BatchResponse -> Bool

(/=) :: BatchResponse -> BatchResponse -> Bool

Show BatchResponse

Defined in Network.JSONRPC.Data

Methods

showsPrec :: Int -> BatchResponse -> ShowS

show :: BatchResponse -> String

showList :: [BatchResponse] -> ShowS

Generic BatchResponse

Defined in Network.JSONRPC.Data

Associated Types

type Rep BatchResponse :: Type -> Type

Methods

from :: BatchResponse -> Rep BatchResponse x

to :: Rep BatchResponse x -> BatchResponse

Arbitrary BatchResponse

Defined in Network.JSONRPC.Arbitrary

Methods

arbitrary :: Gen BatchResponse

shrink :: BatchResponse -> [BatchResponse]

ToJSON BatchResponse

Defined in Network.JSONRPC.Data

Methods

toJSON :: BatchResponse -> Value

toEncoding :: BatchResponse -> Encoding

toJSONList :: [BatchResponse] -> Value

toEncodingList :: [BatchResponse] -> Encoding

FromJSON BatchResponse

Defined in Network.JSONRPC.Data

Methods

parseJSON :: Value -> Parser BatchResponse

parseJSONList :: Value -> Parser [BatchResponse]

NFData BatchResponse

Defined in Network.JSONRPC.Data

Methods

rnf :: BatchResponse -> ()

type Rep BatchResponse

Defined in Network.JSONRPC.Data

type Rep BatchResponse = D1 (MetaData "BatchResponse" "Network.JSONRPC.Data" "json-rpc-1.0.1-FKOWGatf3508CNIVKBm9kr" False) (C1 (MetaCons "BatchResponse" PrefixI True) (S1 (MetaSel (Just "getBatchResponse") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Response])) :+: C1 (MetaCons "SingleResponse" PrefixI True) (S1 (MetaSel (Just "getSingleResponse") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Response)))

Parsing

class FromResponse r where

Methods

parseResult :: Method -> Maybe (Value -> Parser r)

Parser for result Value in JSON-RPC response. Method corresponds to request to which this response answers.

Instances

FromResponse ()

Defined in Network.JSONRPC.Data

Methods

parseResult :: Method -> Maybe (Value -> Parser ())

FromResponse Value

Defined in Network.JSONRPC.Data

Methods

parseResult :: Method -> Maybe (Value -> Parser Value)

fromResponse :: FromResponse r => Method -> Response -> Maybe r

Parse a response knowing the method of the corresponding request.

Encoding

type Respond q m r = q -> m (Either ErrorObj r)

Type of function to make it easy to create a response from a request. Meant to be used in servers.

buildResponse :: (Monad m, FromRequest q, ToJSON r) => Respond q m r -> Request -> m (Maybe Response)

Create a response from a request. Use in servers.

Errors

data ErrorObj

Error object from JSON-RPC 2.0. ErrorVal for backwards compatibility.

Constructors

ErrorObj

Fields

• getErrMsg :: !String
• getErrCode :: !Int
• getErrData :: !Value

ErrorVal

Fields

• getErrData :: !Value

Instances

Eq ErrorObj

Defined in Network.JSONRPC.Data

Methods

(==) :: ErrorObj -> ErrorObj -> Bool

(/=) :: ErrorObj -> ErrorObj -> Bool

Show ErrorObj

Defined in Network.JSONRPC.Data

Methods

showsPrec :: Int -> ErrorObj -> ShowS

show :: ErrorObj -> String

showList :: [ErrorObj] -> ShowS

Generic ErrorObj

Defined in Network.JSONRPC.Data

Associated Types

type Rep ErrorObj :: Type -> Type

Methods

from :: ErrorObj -> Rep ErrorObj x

to :: Rep ErrorObj x -> ErrorObj

Arbitrary ErrorObj

Defined in Network.JSONRPC.Arbitrary

Methods

arbitrary :: Gen ErrorObj

shrink :: ErrorObj -> [ErrorObj]

ToJSON ErrorObj

Defined in Network.JSONRPC.Data

Methods

toJSON :: ErrorObj -> Value

toEncoding :: ErrorObj -> Encoding

toJSONList :: [ErrorObj] -> Value

toEncodingList :: [ErrorObj] -> Encoding

FromJSON ErrorObj

Defined in Network.JSONRPC.Data

Methods

parseJSON :: Value -> Parser ErrorObj

parseJSONList :: Value -> Parser [ErrorObj]

NFData ErrorObj

Defined in Network.JSONRPC.Data

Methods

rnf :: ErrorObj -> ()

type Rep ErrorObj

Defined in Network.JSONRPC.Data

type Rep ErrorObj = D1 (MetaData "ErrorObj" "Network.JSONRPC.Data" "json-rpc-1.0.1-FKOWGatf3508CNIVKBm9kr" False) (C1 (MetaCons "ErrorObj" PrefixI True) (S1 (MetaSel (Just "getErrMsg") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 String) :*: (S1 (MetaSel (Just "getErrCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Just "getErrData") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Value))) :+: C1 (MetaCons "ErrorVal" PrefixI True) (S1 (MetaSel (Just "getErrData") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Value)))

fromError :: ErrorObj -> String

Get a user-friendly string with the error information.

Error messages

errorParse :: ByteString -> ErrorObj

Parse error.

errorInvalid :: Value -> ErrorObj

Invalid request.

errorParams :: Value -> ErrorObj

Invalid params.

errorMethod :: Method -> ErrorObj

Method not found.

errorId :: Id -> ErrorObj

Id not recognized.

Others

data Message

Constructors

MsgRequest

Fields

• getMsgRequest :: !Request

MsgResponse

Fields

• getMsgResponse :: !Response

MsgBatch

Fields

• getBatch :: ![Message]

Instances

Eq Message

Defined in Network.JSONRPC.Data

Methods

(==) :: Message -> Message -> Bool

(/=) :: Message -> Message -> Bool

Show Message

Defined in Network.JSONRPC.Data

Methods

showsPrec :: Int -> Message -> ShowS

show :: Message -> String

showList :: [Message] -> ShowS

Generic Message

Defined in Network.JSONRPC.Data

Associated Types

type Rep Message :: Type -> Type

Methods

from :: Message -> Rep Message x

to :: Rep Message x -> Message

Arbitrary Message

Defined in Network.JSONRPC.Arbitrary

Methods

arbitrary :: Gen Message

shrink :: Message -> [Message]

ToJSON Message

Defined in Network.JSONRPC.Data

Methods

toJSON :: Message -> Value

toEncoding :: Message -> Encoding

toJSONList :: [Message] -> Value

toEncodingList :: [Message] -> Encoding

FromJSON Message

Defined in Network.JSONRPC.Data

Methods

parseJSON :: Value -> Parser Message

parseJSONList :: Value -> Parser [Message]

NFData Message

Defined in Network.JSONRPC.Data

Methods

rnf :: Message -> ()

type Rep Message

Defined in Network.JSONRPC.Data

type Rep Message = D1 (MetaData "Message" "Network.JSONRPC.Data" "json-rpc-1.0.1-FKOWGatf3508CNIVKBm9kr" False) (C1 (MetaCons "MsgRequest" PrefixI True) (S1 (MetaSel (Just "getMsgRequest") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Request)) :+: (C1 (MetaCons "MsgResponse" PrefixI True) (S1 (MetaSel (Just "getMsgResponse") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Response)) :+: C1 (MetaCons "MsgBatch" PrefixI True) (S1 (MetaSel (Just "getBatch") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Message]))))

type Method = Text

data Id

Constructors

IdInt

Fields

• getIdInt :: !Int

IdTxt

Fields

• getIdTxt :: !Text

Instances

Enum Id

Defined in Network.JSONRPC.Data

Methods

succ :: Id -> Id

pred :: Id -> Id

toEnum :: Int -> Id

fromEnum :: Id -> Int

enumFrom :: Id -> [Id]

enumFromThen :: Id -> Id -> [Id]

enumFromTo :: Id -> Id -> [Id]

enumFromThenTo :: Id -> Id -> Id -> [Id]

Eq Id

Defined in Network.JSONRPC.Data

Methods

(==) :: Id -> Id -> Bool

(/=) :: Id -> Id -> Bool

Read Id

Defined in Network.JSONRPC.Data

Methods

readsPrec :: Int -> ReadS Id

readList :: ReadS [Id]

readPrec :: ReadPrec Id

readListPrec :: ReadPrec [Id]

Show Id

Defined in Network.JSONRPC.Data

Methods

showsPrec :: Int -> Id -> ShowS

show :: Id -> String

showList :: [Id] -> ShowS

Generic Id

Defined in Network.JSONRPC.Data

Associated Types

type Rep Id :: Type -> Type

Methods

from :: Id -> Rep Id x

to :: Rep Id x -> Id

Arbitrary Id

Defined in Network.JSONRPC.Arbitrary

Methods

arbitrary :: Gen Id

shrink :: Id -> [Id]

Hashable Id

Defined in Network.JSONRPC.Data

Methods

hashWithSalt :: Int -> Id -> Int

hash :: Id -> Int

ToJSON Id

Defined in Network.JSONRPC.Data

Methods

toJSON :: Id -> Value

toEncoding :: Id -> Encoding

toJSONList :: [Id] -> Value

toEncodingList :: [Id] -> Encoding

FromJSON Id

Defined in Network.JSONRPC.Data

Methods

parseJSON :: Value -> Parser Id

parseJSONList :: Value -> Parser [Id]

NFData Id

Defined in Network.JSONRPC.Data

Methods

rnf :: Id -> ()

type Rep Id

Defined in Network.JSONRPC.Data

type Rep Id = D1 (MetaData "Id" "Network.JSONRPC.Data" "json-rpc-1.0.1-FKOWGatf3508CNIVKBm9kr" False) (C1 (MetaCons "IdInt" PrefixI True) (S1 (MetaSel (Just "getIdInt") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int)) :+: C1 (MetaCons "IdTxt" PrefixI True) (S1 (MetaSel (Just "getIdTxt") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)))

fromId :: Id -> String

Pretty display a message id. Meant for logs.

data Ver

JSON-RPC version.

Constructors

V1

JSON-RPC 1.0

V2

JSON-RPC 2.0

Instances

Eq Ver

Defined in Network.JSONRPC.Data

Methods

(==) :: Ver -> Ver -> Bool

(/=) :: Ver -> Ver -> Bool

Read Ver

Defined in Network.JSONRPC.Data

Methods

readsPrec :: Int -> ReadS Ver

readList :: ReadS [Ver]

readPrec :: ReadPrec Ver

readListPrec :: ReadPrec [Ver]

Show Ver

Defined in Network.JSONRPC.Data

Methods

showsPrec :: Int -> Ver -> ShowS

show :: Ver -> String

showList :: [Ver] -> ShowS

Generic Ver

Defined in Network.JSONRPC.Data

Associated Types

type Rep Ver :: Type -> Type

Methods

from :: Ver -> Rep Ver x

to :: Rep Ver x -> Ver

Arbitrary Ver

Defined in Network.JSONRPC.Arbitrary

Methods

arbitrary :: Gen Ver

shrink :: Ver -> [Ver]

NFData Ver

Defined in Network.JSONRPC.Data

Methods

rnf :: Ver -> ()

type Rep Ver

Defined in Network.JSONRPC.Data

type Rep Ver = D1 (MetaData "Ver" "Network.JSONRPC.Data" "json-rpc-1.0.1-FKOWGatf3508CNIVKBm9kr" False) (C1 (MetaCons "V1" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "V2" PrefixI False) (U1 :: Type -> Type))