From a805783f4bb2868e63ba49a911775fff30df5a07 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Thu, 18 Feb 2016 15:04:19 +0100 Subject: Introduced Range --- client/src/Thermoprint/Client.hs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'client/src/Thermoprint/Client.hs') diff --git a/client/src/Thermoprint/Client.hs b/client/src/Thermoprint/Client.hs index 80045dd..2b99e7e 100644 --- a/client/src/Thermoprint/Client.hs +++ b/client/src/Thermoprint/Client.hs @@ -45,10 +45,8 @@ data Client m = Client { printers :: EitherT ServantError m (Map PrinterId PrinterStatus) -- ^ List all printers , jobs :: Maybe PrinterId - -> Maybe JobId - -> Maybe JobId - -> Maybe UTCTime - -> Maybe UTCTime + -> Maybe (Range (JobId)) + -> Maybe (Range (UTCTime)) -> EitherT ServantError m (Seq (JobId, UTCTime, JobStatus)) -- ^ @jobs p minId maxId minTime maxTime@ lists a selection of jobs , jobCreate :: Maybe PrinterId -> Printout -> EitherT ServantError m JobId @@ -79,6 +77,7 @@ data Client m = Client } withArgs :: (x -> a :<|> b) -> ((x -> a) :<|> (x -> b)) +-- ^ Undo factoring of APIs withArgs subAPI = (\(a :<|> _) -> a) . subAPI :<|> (\(_ :<|> b) -> b) . subAPI mkClient :: (IO :~> m) -- ^ A monad functor ('Nat') used to make the api functions work in any monad which can be constructed from 'IO' -- cgit v1.2.3