GetWithCookie

gistfile1.hs

data GetWithCookie (a :: *)

type Short a = EitherT (Int,String) IO a


instance HasServer (GetWithCookie a) where
  type Server (GetWithCookie a) = EitherT (Int,String) IO (a, ByteString)  -- the ByteString is the cookie
  route Proxy action request respond = do
        e <- runEitherT (action)
        respond . succeedWith $ case e of
          Right (output, bs) -> responseLBS undefined {- put the header in -}


--- And then "type MyAPI = "home" :> GetWithCookie Int" and a handler that returns a tuple with the bytestring
--- (or AuthResult)