WebGear.OpenApi.Trait.Path

OpenApi implementation of path traits.

Orphan instances

Get (OpenApiHandler m :: Type -> Type -> Type) Path Request

Methods

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

Get (OpenApiHandler m :: Type -> Type -> Type) PathEnd Request

Methods

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

(KnownSymbol tag, ToSchema val) => Get (OpenApiHandler m :: Type -> Type -> Type) (PathVar tag val) Request

Methods

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