- data Req
- data Rsp
- type User = String
- type Email = String
- type TheoremId = Int
- formatJSON :: JSON a => a -> ([Header], String)
- formatText :: String -> ([Header], String)
- formatHaskell :: Show a => a -> ([Header], String)
- maybeRead :: Read a => String -> Maybe a
Requests from client to server.
|NewUser User Email|
New user: username, email.
Send response in JSON.
|Inference User (Inference TheoremId)|
Submit an inference. Server will validate the inference and return a theorem.
Request a theorem's assumptions.
Request a theorem's conclusion.
|TheoremSearch Term Int|
Search for a theorem similar to a term. Return a list of ids starting at the given index.
Responses to client requests.
A warning to clients that the associated
Server did not recognize
No acknowledge with reason.
A unique id. Usually a
A list of unique ids.
A list of terms.
HTTP headers and body for shown Haskell type transfer.