From ba57d2000895ca223825f785f1cebe2c9d76ebef Mon Sep 17 00:00:00 2001
From: Andrew Gibiansky <andrew.gibiansky@gmail.com>
Date: Tue, 5 Apr 2016 17:30:50 -0700
Subject: [PATCH] Add ReflectMethod instances for OPTIONS, TRACE, and CONNECT

---
 servant/src/Servant/API/Verbs.hs | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/servant/src/Servant/API/Verbs.hs b/servant/src/Servant/API/Verbs.hs
index 1369d9f3..1b898ea6 100644
--- a/servant/src/Servant/API/Verbs.hs
+++ b/servant/src/Servant/API/Verbs.hs
@@ -14,7 +14,9 @@ import           GHC.Generics              (Generic)
 import           GHC.TypeLits              (Nat)
 import           Network.HTTP.Types.Method (Method, StdMethod (..),
                                             methodDelete, methodGet, methodHead,
-                                            methodPatch, methodPost, methodPut)
+                                            methodPatch, methodPost, methodPut,
+                                            methodTrace, methodConnect,
+                                            methodOptions)
 
 -- | @Verb@ is a general type for representing HTTP verbs (a.k.a. methods). For
 -- convenience, type synonyms for each verb with a 200 response code are
@@ -167,3 +169,12 @@ instance ReflectMethod 'PATCH where
 
 instance ReflectMethod 'HEAD where
     reflectMethod _ = methodHead
+
+instance ReflectMethod 'OPTIONS where
+    reflectMethod _ = methodOptions
+
+instance ReflectMethod 'TRACE where
+    reflectMethod _ = methodTrace
+
+instance ReflectMethod 'CONNECT where
+    reflectMethod _ = methodConnect