Safe Haskell	None
Language	Haskell2010

Calamity.HTTP.Internal.Route

Description

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

Documentation

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

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

Instances

Eq RouteRequirement Source #
Instance details Defined in Calamity.HTTP.Internal.Route Methods (==) :: RouteRequirement -> RouteRequirement -> Bool # (/=) :: RouteRequirement -> RouteRequirement -> Bool #
Show RouteRequirement Source #
Instance details Defined in Calamity.HTTP.Internal.Route Methods showsPrec :: Int -> RouteRequirement -> ShowS # show :: RouteRequirement -> String # showList :: [RouteRequirement] -> ShowS #
Generic RouteRequirement Source #
Instance details 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 Source #
Instance details Defined in Calamity.HTTP.Internal.Route type Rep RouteRequirement = D1 (MetaData "RouteRequirement" "Calamity.HTTP.Internal.Route" "calamity-0.1.0.0-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)))

Instances

Eq Route Source #
Instance details Defined in Calamity.HTTP.Internal.Route Methods (==) :: Route -> Route -> Bool # (/=) :: Route -> Route -> Bool #
Show Route Source #
Instance details Defined in Calamity.HTTP.Internal.Route Methods showsPrec :: Int -> Route -> ShowS # show :: Route -> String # showList :: [Route] -> ShowS #
Generic Route Source #
Instance details 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 Source #
Instance details Defined in Calamity.HTTP.Internal.Route Methods hashWithSalt :: Int -> Route -> Int # hash :: Route -> Int #
type Rep Route Source #
Instance details Defined in Calamity.HTTP.Internal.Route type Rep Route = D1 (MetaData "Route" "Calamity.HTTP.Internal.Route" "calamity-0.1.0.0-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 Source #

Constructors

Instances

RouteFragmentable S ids Source #
Instance details Defined in Calamity.HTTP.Internal.Route Associated Types type ConsRes S ids :: Type Source # Methods (//) :: RouteBuilder ids -> S -> ConsRes S ids Source #
type ConsRes S ids Source #
Instance details Defined in Calamity.HTTP.Internal.Route type ConsRes S ids = RouteBuilder ids

Constructors

Instances

Typeable a => RouteFragmentable (ID a) ids Source #
Instance details Defined in Calamity.HTTP.Internal.Route Associated Types type ConsRes (ID a) ids :: Type Source # Methods (//) :: RouteBuilder ids -> ID a -> ConsRes (ID a) ids Source #
type ConsRes (ID a) ids Source #
Instance details Defined in Calamity.HTTP.Internal.Route type ConsRes (ID a) ids

Associated Types

Methods

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

Instances

RouteFragmentable S ids Source #
Instance details Defined in Calamity.HTTP.Internal.Route Associated Types type ConsRes S ids :: Type Source # Methods (//) :: RouteBuilder ids -> S -> ConsRes S ids Source #
Typeable a => RouteFragmentable (ID a) ids Source #
Instance details Defined in Calamity.HTTP.Internal.Route Associated Types type ConsRes (ID a) ids :: Type Source # Methods (//) :: RouteBuilder ids -> ID a -> ConsRes (ID a) ids Source #