First steps towards extending the servant language with webdav/caldav verbs

Caldav.hs

{-# LANGUAGE DataKinds, OverloadedStrings #-}
module Servant.Caldav where

import Servant.API

data CaldavMethod =
    PROPFIND
  | PROPPATCH
  | MKCOL
  | MKCALENDAR
  | REPORT
  -- ...

instance ReflectMethod 'PROPFIND where
  reflectMethod _ = "PROPFIND"

instance ReflectMethod 'PROPPATCH where
  reflectMethod _ = "PROPPATCH"

instance ReflectMethod 'MKCOL where
  reflectMethod _ = "MKCOL"

instance ReflectMethod 'MKCALENDAR where
  reflectMethod _ = "MKCALENDAR"

instance ReflectMethod 'REPORT where
  reflectMethod _ = "REPORT"

type Propfind   = Verb 'PROPFIND   200
type Proppatch  = Verb 'PROPPATCH  200
type Mkcol      = Verb 'MKCOL      201
type Mkcalendar = Verb 'MKCALENDAR 201
type Report     = Verb 'REPORT     200