Calamity.HTTP.Internal.Route

The route type Why I did this I don't know

Documentation

mkRouteBuilder :: RouteBuilder '[]

giveID :: forall t reqs. Typeable t => Snowflake t -> RouteBuilder reqs -> RouteBuilder ('('IDRequirement t, 'Satisfied) ': reqs)

giveParam :: forall (s :: Symbol) reqs. KnownSymbol s => Text -> RouteBuilder reqs -> RouteBuilder ('('PSRequirement s, 'Satisfied) ': reqs)

buildRoute :: forall (reqs :: [(RequirementType, RouteRequirement)]). EnsureFulfilled reqs => RouteBuilder reqs -> Route

routeKey :: Route -> RouteKey

type RouteKey = (Text, Maybe (Snowflake Channel), Maybe (Snowflake Guild))

data RouteBuilder (reqstate :: [(RequirementType, RouteRequirement)])

data RouteRequirement

Instances

Show RouteRequirement

Defined in Calamity.HTTP.Internal.Route

Methods

showsPrec :: Int -> RouteRequirement -> ShowS

show :: RouteRequirement -> String

showList :: [RouteRequirement] -> ShowS

Eq RouteRequirement

Defined in Calamity.HTTP.Internal.Route

Methods

(==) :: RouteRequirement -> RouteRequirement -> Bool

(/=) :: RouteRequirement -> RouteRequirement -> Bool

data Route

Instances

Show Route

Defined in Calamity.HTTP.Internal.Route

Methods

showsPrec :: Int -> Route -> ShowS

show :: Route -> String

showList :: [Route] -> ShowS

(k ~ A_Lens, a ~ Maybe (Snowflake Channel), b ~ Maybe (Snowflake Channel)) => LabelOptic "channelID" k Route Route a b

Defined in Calamity.HTTP.Internal.Route

Methods

labelOptic :: Optic k NoIx Route Route a b

(k ~ A_Lens, a ~ Maybe (Snowflake Guild), b ~ Maybe (Snowflake Guild)) => LabelOptic "guildID" k Route Route a b

Defined in Calamity.HTTP.Internal.Route

Methods

labelOptic :: Optic k NoIx Route Route a b

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "key" k Route Route a b

Defined in Calamity.HTTP.Internal.Route

Methods

labelOptic :: Optic k NoIx Route Route a b

(k ~ A_Lens, a ~ Url 'Https, b ~ Url 'Https) => LabelOptic "path" k Route Route a b

Defined in Calamity.HTTP.Internal.Route

Methods

labelOptic :: Optic k NoIx Route Route a b

newtype S

A static string fragment of a route

Constructors

S Text

Instances

RouteFragmentable S reqs

Defined in Calamity.HTTP.Internal.Route

Associated Types

type ConsRes S reqs

Methods

(//) :: RouteBuilder reqs -> S -> ConsRes S reqs

type ConsRes S reqs

Defined in Calamity.HTTP.Internal.Route

type ConsRes S reqs = RouteBuilder reqs

data PS (s :: Symbol)

A parameterised string fragment of a route

Constructors

PS

Instances

KnownSymbol s => RouteFragmentable (PS s) reqs

Defined in Calamity.HTTP.Internal.Route

Associated Types

type ConsRes (PS s) reqs

Methods

(//) :: RouteBuilder reqs -> PS s -> ConsRes (PS s) reqs

type ConsRes (PS s) reqs

Defined in Calamity.HTTP.Internal.Route

type ConsRes (PS s) reqs

data ID a

An id fragment of a route

Constructors

ID

Instances

Typeable a => RouteFragmentable (ID a) reqs

Defined in Calamity.HTTP.Internal.Route

Associated Types

type ConsRes (ID a) reqs

Methods

(//) :: RouteBuilder reqs -> ID a -> ConsRes (ID a) reqs

type ConsRes (ID a) reqs

Defined in Calamity.HTTP.Internal.Route

type ConsRes (ID a) reqs

class Typeable a => RouteFragmentable a reqs where

Associated Types

type ConsRes a reqs

Methods

(//) :: RouteBuilder reqs -> a -> ConsRes a reqs infixl 5

Instances

RouteFragmentable S reqs

Defined in Calamity.HTTP.Internal.Route

Associated Types

type ConsRes S reqs

Methods

(//) :: RouteBuilder reqs -> S -> ConsRes S reqs

KnownSymbol s => RouteFragmentable (PS s) reqs

Defined in Calamity.HTTP.Internal.Route

Associated Types

type ConsRes (PS s) reqs

Methods

(//) :: RouteBuilder reqs -> PS s -> ConsRes (PS s) reqs

Typeable a => RouteFragmentable (ID a) reqs

Defined in Calamity.HTTP.Internal.Route

Associated Types

type ConsRes (ID a) reqs

Methods

(//) :: RouteBuilder reqs -> ID a -> ConsRes (ID a) reqs