{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}


{-# LANGUAGE TypeOperators #-}

module Post where

import Data.Aeson
import Data.Hashable
import GHC.Generics (Generic)
import Servant

type Api =
  Get '[JSON] FooPost
    :<|> ReqBody '[JSON] FooPost :> Post '[JSON] ()

data FooPost = FooPost
  deriving (Eq, Show, Generic)

instance Hashable FooPost

instance ToJSON FooPost

instance FromJSON FooPost

server :: Server Api
server =
  pure FooPost
    :<|> const (pure ())