Payload.Spec

data Spec apiSpec

Constructors

• Spec

data Routes (path :: Symbol) routesSpec

Constructors

• Routes

data Route (m :: Symbol) (p :: Symbol) spec

Constructors

• Route

data Guards (g :: GuardList)

Constructors

• Guards

type GET = Route "GET"

type HEAD = Route "HEAD"

type POST = Route "POST"

type PUT = Route "PUT"

type DELETE = Route "DELETE"

data GuardList :: Type

data GNil :: GuardList

data GCons :: Symbol -> GuardList -> GuardList

Operator alias for Payload.Spec.GCons (right-associative / precedence 1)

type Nil = GNil