Colorless.Client.Exchange

Documentation

data Request meta a

Constructors

Request Version Version meta (Expr a)

Instances

(ToVal meta, HasType meta, ToAst a, HasType a) => ToJSON (Request meta a)

Methods

toJSON :: Request meta a -> Value

toEncoding :: Request meta a -> Encoding

toJSONList :: [Request meta a] -> Value

toEncodingList :: [Request meta a] -> Encoding

data Response err a

Constructors

Response'Error (ResponseError err)

Response'Success a

Instances

(Eq a, Eq err) => Eq (Response err a)

Methods

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

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

(Show a, Show err) => Show (Response err a)

Methods

showsPrec :: Int -> Response err a -> ShowS

show :: Response err a -> String

showList :: [Response err a] -> ShowS

(ToVal err, HasType err, ToVal a, HasType a) => ToJSON (Response err a)

Methods

toJSON :: Response err a -> Value

toEncoding :: Response err a -> Encoding

toJSONList :: [Response err a] -> Value

toEncodingList :: [Response err a] -> Encoding

(FromVal err, HasType err, FromVal a, HasType a) => FromJSON (Response err a)

Methods

parseJSON :: Value -> Parser (Response err a)

parseJSONList :: Value -> Parser [Response err a]

data ResponseError err

Constructors

ResponseError'Service err

ResponseError'Runtime RuntimeError

Instances

Eq err => Eq (ResponseError err)

Methods

(==) :: ResponseError err -> ResponseError err -> Bool

(/=) :: ResponseError err -> ResponseError err -> Bool

Show err => Show (ResponseError err)

Methods

showsPrec :: Int -> ResponseError err -> ShowS

show :: ResponseError err -> String

showList :: [ResponseError err] -> ShowS

ToVal err => ToJSON (ResponseError err)

Methods

toJSON :: ResponseError err -> Value

toEncoding :: ResponseError err -> Encoding

toJSONList :: [ResponseError err] -> Value

toEncodingList :: [ResponseError err] -> Encoding

(FromVal err, HasType err) => FromJSON (ResponseError err)

Methods

parseJSON :: Value -> Parser (ResponseError err)

parseJSONList :: Value -> Parser [ResponseError err]