Web.Routes.Nested.Internal

Documentation

data HTTPMethod

Constructors

GET

PUT

POST

DELETE

type family Deducible b :: Constraint

Equations

Deducible True = ()

type family NotElem x xs :: Constraint

Equations

NotElem x [] = ()

NotElem x (x : xs) = Deducible False

NotElem x (y : xs) = NotElem x xs

data ExMethods a where

Constructors

ExMNil :: ExMethods []

GETCons :: NotElem GET a => ExResponses xs -> ExMethods a -> ExMethods (GET : a)

PUTCons :: NotElem PUT a => ExResponses xs -> ExMethods a -> ExMethods (PUT : a)

POSTCons :: NotElem POST a => ExResponses xs -> ExMethods a -> ExMethods (POST : a)

DELETECons :: NotElem DELETE a => ExResponses xs -> ExMethods a -> ExMethods (DELETE : a)

data ContentType

Constructors

HTML

JSON

TEXT

data ExResponses a where

Constructors

ExRNil :: ExResponses []

HTMLCons :: NotElem HTML a => Response -> ExResponses a -> ExResponses (HTML : a)

JSONCons :: NotElem JSON a => Response -> ExResponses a -> ExResponses (JSON : a)

TEXTCons :: NotElem TEXT a => Response -> ExResponses a -> ExResponses (TEXT : a)