{-# LANGUAGE GADTs #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE MultiWayIf #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE OverloadedStrings #-}
module Discord.Internal.Rest.ApplicationInfo
( FullApplicationRequest(..)
) where
import Network.HTTP.Req ((/:))
import qualified Network.HTTP.Req as R
import Discord.Internal.Rest.Prelude
import Discord.Internal.Types
instance Request (FullApplicationRequest a) where
majorRoute :: FullApplicationRequest a -> String
majorRoute = FullApplicationRequest a -> String
forall a. FullApplicationRequest a -> String
applicationMajorRoute
jsonRequest :: FullApplicationRequest a -> JsonRequest
jsonRequest = FullApplicationRequest a -> JsonRequest
forall a. FullApplicationRequest a -> JsonRequest
applicationJsonRequest
data FullApplicationRequest a where
GetCurrentApplication :: FullApplicationRequest FullApplication
applicationMajorRoute :: FullApplicationRequest a -> String
applicationMajorRoute :: forall a. FullApplicationRequest a -> String
applicationMajorRoute FullApplicationRequest a
c = case FullApplicationRequest a
c of
(FullApplicationRequest a
GetCurrentApplication) -> String
"application "
applications :: R.Url 'R.Https
applications :: Url 'Https
applications = Url 'Https
baseUrl Url 'Https -> Text -> Url 'Https
forall (scheme :: Scheme). Url scheme -> Text -> Url scheme
/: Text
"applications"
applicationJsonRequest :: FullApplicationRequest r -> JsonRequest
applicationJsonRequest :: forall a. FullApplicationRequest a -> JsonRequest
applicationJsonRequest FullApplicationRequest r
c = case FullApplicationRequest r
c of
(FullApplicationRequest r
GetCurrentApplication) -> Url 'Https -> Option 'Https -> JsonRequest
Get (Url 'Https
applications Url 'Https -> Text -> Url 'Https
forall (scheme :: Scheme). Url scheme -> Text -> Url scheme
/: Text
"@me") Option 'Https
forall a. Monoid a => a
mempty