WebGear.Swagger.Trait.Path

Swagger implementation of path traits.

Orphan instances

Get (SwaggerHandler m :: Type -> Type -> Type) Path

Methods

getTrait :: forall (ts :: [Type]). Prerequisite Path ts => Path -> SwaggerHandler m (With Request ts) (Either (Absence Path) (Attribute Path Request))

Get (SwaggerHandler m :: Type -> Type -> Type) PathEnd

Methods

getTrait :: forall (ts :: [Type]). Prerequisite PathEnd ts => PathEnd -> SwaggerHandler m (With Request ts) (Either (Absence PathEnd) (Attribute PathEnd Request))

KnownSymbol tag => Get (SwaggerHandler m :: Type -> Type -> Type) (PathVar tag val)

Methods

getTrait :: forall (ts :: [Type]). Prerequisite (PathVar tag val) ts => PathVar tag val -> SwaggerHandler m (With Request ts) (Either (Absence (PathVar tag val)) (Attribute (PathVar tag val) Request))