Endpoints.hs

{-# LANGUAGE DeriveGeneric, DataKinds, TypeOperators #-}

module Endpoints
( JsonToolsApi
, MinifyJob (..), MinifyRes (..)
, FormatJob (..), FormatRes (..)
, FilterJob (..), FilterRes (..)
, DiffJob (..), DiffRes (..)
) where


import Data.Text.Lazy (Text)
import Data.Aeson (Value,FromJSON,ToJSON)
import GHC.Generics (Generic)
import Servant.API ((:>),(:<|>),ReqBody,Post,JSON)



type JsonToolsApi = "minify" :> ReqBody '[JSON] MinifyJob :> Post '[JSON] MinifyRes
               :<|> "format" :> ReqBody '[JSON] FormatJob :> Post '[JSON] FormatRes
               :<|> "filter" :> ReqBody '[JSON] FilterJob :> Post '[JSON] FilterRes
               :<|> "diff"   :> ReqBody '[JSON] DiffJob   :> Post '[JSON] DiffRes
--             :<|> "all"    :> ReqBody '[JSON] _         :> Post '[JSON] _


newtype MinifyJob = MinifyJob { minifyPayload :: Value } deriving (Eq,Show,Generic)
newtype MinifyRes = MinifyRes { minifiedText :: Text} deriving (Eq,Show,Generic)

newtype FormatJob = FormatJob { formatPayload :: Value } deriving (Eq,Show,Generic)
newtype FormatRes = FormatRes { formattedText :: Text} deriving (Eq,Show,Generic)


data FilterJob = FilterJob { filterPayload :: Value
                           , filterKeys :: [Text]
                           } deriving (Eq,Show,Generic)

newtype FilterRes = FilterRes { filterResult :: Value } deriving (Eq,Show,Generic)


data DiffJob = DiffJob { diffPayloadA :: Value
                       , diffPayloadB :: Value
                       } deriving (Eq,Show,Generic)

data DiffRes = DiffRes { diffDeletions :: Value
                       , diffAdditions :: Value
                       } deriving (Eq,Show,Generic)


instance FromJSON MinifyJob
instance FromJSON FormatJob
instance FromJSON FilterJob
instance FromJSON DiffJob

instance ToJSON MinifyRes
instance ToJSON FormatRes
instance ToJSON FilterRes
instance ToJSON DiffRes