{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Matcha.Method where

import Network.HTTP.Types (Method)

pattern GET :: Method
pattern $mGET :: forall {r}. Method -> ((# #) -> r) -> ((# #) -> r) -> r
$bGET :: Method
GET = "GET"

pattern POST :: Method
pattern $mPOST :: forall {r}. Method -> ((# #) -> r) -> ((# #) -> r) -> r
$bPOST :: Method
POST = "POST"