Calamity.HTTP.Internal.Route

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

Documentation

mkRouteBuilder :: RouteBuilder '[]

giveID :: forall k ids. Typeable k => Snowflake k -> RouteBuilder ids -> RouteBuilder ('(k, 'Satisfied) ': ids)

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

data RouteBuilder (idState :: [(Type, RouteRequirement)])

data RouteRequirement

Instances

Eq RouteRequirement

Defined in Calamity.HTTP.Internal.Route

Methods

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

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

Show RouteRequirement

Defined in Calamity.HTTP.Internal.Route

Methods

showsPrec :: Int -> RouteRequirement -> ShowS

show :: RouteRequirement -> String

showList :: [RouteRequirement] -> ShowS

Generic RouteRequirement

Defined in Calamity.HTTP.Internal.Route

Associated Types

type Rep RouteRequirement :: Type -> Type

Methods

from :: RouteRequirement -> Rep RouteRequirement x

to :: Rep RouteRequirement x -> RouteRequirement

type Rep RouteRequirement

Defined in Calamity.HTTP.Internal.Route

type Rep RouteRequirement = D1 ('MetaData "RouteRequirement" "Calamity.HTTP.Internal.Route" "calamity-0.1.10.1-inplace" 'False) (C1 ('MetaCons "NotNeeded" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Required" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Satisfied" 'PrefixI 'False) (U1 :: Type -> Type)))

data Route

Instances

Eq Route

Defined in Calamity.HTTP.Internal.Route

Methods

(==) :: Route -> Route -> Bool

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

Show Route

Defined in Calamity.HTTP.Internal.Route

Methods

showsPrec :: Int -> Route -> ShowS

show :: Route -> String

showList :: [Route] -> ShowS

Generic Route

Defined in Calamity.HTTP.Internal.Route

Associated Types

type Rep Route :: Type -> Type

Methods

from :: Route -> Rep Route x

to :: Rep Route x -> Route

Hashable Route

Defined in Calamity.HTTP.Internal.Route

Methods

hashWithSalt :: Int -> Route -> Int

hash :: Route -> Int

type Rep Route

Defined in Calamity.HTTP.Internal.Route

type Rep Route = D1 ('MetaData "Route" "Calamity.HTTP.Internal.Route" "calamity-0.1.10.1-inplace" 'False) (C1 ('MetaCons "Route" 'PrefixI 'True) ((S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "key") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "channelID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Snowflake Channel))) :*: S1 ('MetaSel ('Just "guildID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Snowflake Guild))))))

newtype S

Constructors

S Text

Instances

RouteFragmentable S ids

Defined in Calamity.HTTP.Internal.Route

Associated Types

type ConsRes S ids

Methods

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

type ConsRes S ids

Defined in Calamity.HTTP.Internal.Route

type ConsRes S ids = RouteBuilder ids

data ID a

Constructors

ID

Instances

Typeable a => RouteFragmentable (ID a) ids

Defined in Calamity.HTTP.Internal.Route

Associated Types

type ConsRes (ID a) ids

Methods

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

type ConsRes (ID a) ids

Defined in Calamity.HTTP.Internal.Route

type ConsRes (ID a) ids

class Typeable a => RouteFragmentable a ids where

Associated Types

type ConsRes a ids

Methods

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

Instances

RouteFragmentable S ids

Defined in Calamity.HTTP.Internal.Route

Associated Types

type ConsRes S ids

Methods

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

Typeable a => RouteFragmentable (ID a) ids

Defined in Calamity.HTTP.Internal.Route

Associated Types

type ConsRes (ID a) ids

Methods

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