summaryrefslogtreecommitdiff
path: root/provider/posts/thermoprint-3.lhs
blob: 9227c9753dcb774aba357e346185ff232b88b763 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
---
title: Thoughts on a network protocol for a toolset for interacting with character-oriented printers
published: 2016-01-11
tags: Thermoprint
---

This post is an annotated version of the file `spec/src/Thermoprint/API.hs` as of commit [3ad700c](git://git.yggdrasil.li/thermoprint#3ad700c).
 
> {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-}
> {-# LANGUAGE TypeOperators, DataKinds #-}
> {-# LANGUAGE OverloadedStrings #-}
> 
> module Thermoprint.API
>        ( PrinterStatus(..)
>        , JobStatus(..)
>        , ThermoprintAPI
>        , thermoprintAPI
>        , module Thermoprint.Identifiers
>        , module Thermoprint.Printout
>        ) where
> 
> import Thermoprint.Printout

See [a previous post](https://dirty-haskell.org/posts/thermoprint-2.html).

> import Thermoprint.Identifiers

`Thermoprint.Identifiers` provides some newtypes of `Integer` to add some typesafety to dealing with objects identified by autoincremented numbers

> import Servant.API
> import Servant.Docs
> import Data.Aeson

We will define our API to be compatible with [servant](https://hackage.haskell.org/package/servant)

> import Data.Set (Set)
> import Data.Sequence (Seq)

Higher performance versions of lists for our various applications

> import GHC.Generics (Generic)
> 
> import Data.Proxy (Proxy(..))
> 
> import Control.Exception (Exception)
> import Data.Typeable (Typeable)
> 
> data PrinterStatus = Busy JobId
>                    | Available
>                    deriving (Generic, Show, FromJSON, ToJSON)
> 
> data JobStatus = Queued
>                | Printing
>                | Done
>                | Failed PrintingError
>                deriving (Generic, Show, FromJSON, ToJSON)
> 
> data PrintingError = UnknownError
>                    deriving (Typeable, Generic, Show, FromJSON, ToJSON, Exception)

We expect the definiton of `PrintingError` to grow considerably while implementing a server for this API

We support the following actions through our API:

> type ThermoprintAPI = "printers" :> Get '[JSON] (Set PrinterId) -- List the identifiers of all available printers (/printers)
>                       :<|> "printer" :> Capture "printerId" PrinterId :> (
>                         ReqBody '[JSON] Printout :> Post '[JSON] JobId -- Add a new job to the bottom of the queue by sending its content (/printer:printerId)
>                         :<|> "status" :> Get '[JSON] PrinterStatus -- Query the current status of a printer (/printer:printerId/status)
>                       )
>                       :<|> "jobs" :> (
>                         QueryParam "printer" PrinterId :> QueryParam "min" JobId :> QueryParam "max" JobId :> Get '[JSON] (Seq JobId) -- List all jobs allowing for selection by printerId and pagination (/jobs?printer=*&min=*&max=*)
>                       )
>                       :<|> "job" :> Capture "jobId" JobId :> (
>                         Get '[JSON] Printout -- Get the contents of a job currently known to the server (/job:jobId)
>                         :<|> "status" :> Get '[JSON] JobStatus -- Get the status of a job (/job:jobId/status)
>                         :<|> "printer" :> Get '[JSON] PrinterId -- Find the printer a job was queued for (/job:jobId/printer)
>                         :<|> Delete '[] () -- Abort a job (which we expect to make it unknown to the server) (/job:jobId)
>                       )
>                       :<|> "drafts" :> (
>                         Get '[JSON] (Set DraftId) -- List the identifiers of all drafts known to the server (/drafts)
>                         :<|> ReqBody '[JSON] Printout :> Post '[JSON] DraftId -- Make a draft known to the server by submitting its contents (/drafts)
>                       )
>                       :<|> "draft" :> Capture "draftId" DraftId :> (
>                         ReqBody '[JSON] Printout :> Put '[] () -- Update a draft by replacing its contents (/draft:draftId)
>                         :<|> Get '[JSON] Printout -- Get the contents of a draft (/draft:draftId)
>                         :<|> Delete '[] () -- Delete a draft (/draft:draftId)
>                       )
> 
> thermoprintAPI :: Proxy ThermoprintAPI
> thermoprintAPI = Proxy

servant needs an object of type `Proxy ThermoprintAPI` in various places