WebGear.Server.Trait.Path

Server implementation of the path traits.

Orphan instances

Monad m => Get (ServerHandler m) Path

Methods

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

Monad m => Get (ServerHandler m) PathEnd

Methods

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

(Monad m, FromHttpApiData val) => Get (ServerHandler m) (PathVar tag val)

Methods

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