Safe Haskell	None
Language	Haskell2010

API

Contents

Orphan instances

Synopsis

api :: (PathConstraint repr Integer, ResponseConstraint repr Integer (PlainText ': ([] :: [Type])), ResponseStreamConstraint repr (Producer Integer IO ()) (PlainText ': ([] :: [Type])) NewlineFraming, Alt repr, Cat repr, HTTP_Path repr, HTTP_Response repr, HTTP_ResponseStream repr, Response repr ~# ResponseStream repr) => repr ((Integer -> ResponseArgs repr Integer (PlainText ': ([] :: [Type]))) :!: (Integer -> ResponseStreamArgs repr (Producer Integer IO ()) (PlainText ': ([] :: [Type])) NewlineFraming)) (ResponseStream repr)

Documentation

api :: (PathConstraint repr Integer, ResponseConstraint repr Integer (PlainText ': ([] :: [Type])), ResponseStreamConstraint repr (Producer Integer IO ()) (PlainText ': ([] :: [Type])) NewlineFraming, Alt repr, Cat repr, HTTP_Path repr, HTTP_Response repr, HTTP_ResponseStream repr, Response repr ~# ResponseStream repr) => repr ((Integer -> ResponseArgs repr Integer (PlainText ': ([] :: [Type]))) :!: (Integer -> ResponseStreamArgs repr (Producer Integer IO ()) (PlainText ': ([] :: [Type])) NewlineFraming)) (ResponseStream repr) Source #

Define the API, common to the client and server. Either use NoMonomorphismRestriction like here, or add an argument to api, to let the compiler infer its (complex) type. Read the executables of the client and of the server to see how to derive code from this api.

Orphan instances

MimeEncodable Integer PlainText Source #
Instance details Methods mimeEncode :: Proxy PlainText -> MimeEncoder Integer #
MimeDecodable Integer PlainText Source #
Instance details Methods mimeDecode :: Proxy PlainText -> MimeDecoder Integer #