WebGear.OpenApi.Handler

An implementation of Handler to generate OpenApi documentation from WebGear API specifications.

Documentation

newtype OpenApiHandler m a b

A handler that captured OpenApi documentation of API specifications.

Constructors

OpenApiHandler

Fields

• openApiDoc :: Tree DocNode

Instances

ArrowError RouteMismatch (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep)

Defined in WebGear.OpenApi.Handler

Methods

raise :: OpenApiHandler m RouteMismatch b

handle :: OpenApiHandler m e b -> OpenApiHandler m (e, RouteMismatch) b -> OpenApiHandler m e b

tryInUnless :: OpenApiHandler m e b -> OpenApiHandler m (e, b) c -> OpenApiHandler m (e, RouteMismatch) c -> OpenApiHandler m e c

newError :: OpenApiHandler m e b -> OpenApiHandler m e (Either RouteMismatch b)

Category (OpenApiHandler m :: k2 -> k2 -> TYPE LiftedRep)

Defined in WebGear.OpenApi.Handler

Methods

id :: forall (a :: k). OpenApiHandler m a a

(.) :: forall (b :: k) (c :: k) (a :: k). OpenApiHandler m b c -> OpenApiHandler m a b -> OpenApiHandler m a c

Arrow (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep)

Defined in WebGear.OpenApi.Handler

Methods

arr :: (b -> c) -> OpenApiHandler m b c

first :: OpenApiHandler m b c -> OpenApiHandler m (b, d) (c, d)

second :: OpenApiHandler m b c -> OpenApiHandler m (d, b) (d, c)

(***) :: OpenApiHandler m b c -> OpenApiHandler m b' c' -> OpenApiHandler m (b, b') (c, c')

(&&&) :: OpenApiHandler m b c -> OpenApiHandler m b c' -> OpenApiHandler m b (c, c')

ArrowChoice (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep)

Defined in WebGear.OpenApi.Handler

Methods

left :: OpenApiHandler m b c -> OpenApiHandler m (Either b d) (Either c d)

right :: OpenApiHandler m b c -> OpenApiHandler m (Either d b) (Either d c)

(+++) :: OpenApiHandler m b c -> OpenApiHandler m b' c' -> OpenApiHandler m (Either b b') (Either c c')

(|||) :: OpenApiHandler m b d -> OpenApiHandler m c d -> OpenApiHandler m (Either b c) d

ArrowPlus (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep)

Defined in WebGear.OpenApi.Handler

Methods

(<+>) :: OpenApiHandler m b c -> OpenApiHandler m b c -> OpenApiHandler m b c

ArrowZero (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep)

Defined in WebGear.OpenApi.Handler

Methods

zeroArrow :: OpenApiHandler m b c

Monad m => Handler (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) m

Defined in WebGear.OpenApi.Handler

Methods

arrM :: (a -> m b) -> OpenApiHandler m a b

consumeRoute :: OpenApiHandler m RoutePath a -> OpenApiHandler m () a

setDescription :: Description -> OpenApiHandler m a a

setSummary :: Summary -> OpenApiHandler m a a

Get (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) Method Request

Defined in WebGear.OpenApi.Trait.Method

Methods

getTrait :: forall (ts :: [Type]). Method -> OpenApiHandler m (Linked ts Request) (Either (Absence Method Request) (Attribute Method Request))

Get (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) Path Request

Defined in WebGear.OpenApi.Trait.Path

Methods

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

Get (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) PathEnd Request

Defined in WebGear.OpenApi.Trait.Path

Methods

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

Set (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) Status Response

Defined in WebGear.OpenApi.Trait.Status

Methods

setTrait :: forall (ts :: [Type]). Status -> (Linked ts Response -> Response -> Attribute Status Response -> Linked (Status ': ts) Response) -> OpenApiHandler m (Linked ts Response, Attribute Status Response) (Linked (Status ': ts) Response)

ToSchema val => Get (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (Body val) Request

Defined in WebGear.OpenApi.Trait.Body

Methods

getTrait :: forall (ts :: [Type]). Body val -> OpenApiHandler m (Linked ts Request) (Either (Absence (Body val) Request) (Attribute (Body val) Request))

ToSchema val => Get (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (JSONBody val) Request

Defined in WebGear.OpenApi.Trait.Body

Methods

getTrait :: forall (ts :: [Type]). JSONBody val -> OpenApiHandler m (Linked ts Request) (Either (Absence (JSONBody val) Request) (Attribute (JSONBody val) Request))

ToSchema val => Set (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (Body val) Response

Defined in WebGear.OpenApi.Trait.Body

Methods

setTrait :: forall (ts :: [Type]). Body val -> (Linked ts Response -> Response -> Attribute (Body val) Response -> Linked (Body val ': ts) Response) -> OpenApiHandler m (Linked ts Response, Attribute (Body val) Response) (Linked (Body val ': ts) Response)

ToSchema val => Set (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (JSONBody val) Response

Defined in WebGear.OpenApi.Trait.Body

Methods

setTrait :: forall (ts :: [Type]). JSONBody val -> (Linked ts Response -> Response -> Attribute (JSONBody val) Response -> Linked (JSONBody val ': ts) Response) -> OpenApiHandler m (Linked ts Response, Attribute (JSONBody val) Response) (Linked (JSONBody val ': ts) Response)

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

Defined in WebGear.OpenApi.Trait.Path

Methods

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

(KnownSymbol name, ToSchema val, TraitAbsence (Header 'Optional ps name val) Request) => Get (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (Header 'Optional ps name val) Request

Defined in WebGear.OpenApi.Trait.Header

Methods

getTrait :: forall (ts :: [Type]). Header 'Optional ps name val -> OpenApiHandler m (Linked ts Request) (Either (Absence (Header 'Optional ps name val) Request) (Attribute (Header 'Optional ps name val) Request))

(KnownSymbol name, ToSchema val, TraitAbsence (Header 'Required ps name val) Request) => Get (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (Header 'Required ps name val) Request

Defined in WebGear.OpenApi.Trait.Header

Methods

getTrait :: forall (ts :: [Type]). Header 'Required ps name val -> OpenApiHandler m (Linked ts Request) (Either (Absence (Header 'Required ps name val) Request) (Attribute (Header 'Required ps name val) Request))

(KnownSymbol name, ToSchema val, TraitAbsence (QueryParam 'Optional ps name val) Request) => Get (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (QueryParam 'Optional ps name val) Request

Defined in WebGear.OpenApi.Trait.QueryParam

Methods

getTrait :: forall (ts :: [Type]). QueryParam 'Optional ps name val -> OpenApiHandler m (Linked ts Request) (Either (Absence (QueryParam 'Optional ps name val) Request) (Attribute (QueryParam 'Optional ps name val) Request))

(KnownSymbol name, ToSchema val, TraitAbsence (QueryParam 'Required ps name val) Request) => Get (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (QueryParam 'Required ps name val) Request

Defined in WebGear.OpenApi.Trait.QueryParam

Methods

getTrait :: forall (ts :: [Type]). QueryParam 'Required ps name val -> OpenApiHandler m (Linked ts Request) (Either (Absence (QueryParam 'Required ps name val) Request) (Attribute (QueryParam 'Required ps name val) Request))

(KnownSymbol name, ToSchema val, Trait (Header 'Optional ps name val) Response) => Set (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (Header 'Optional ps name val) Response

Defined in WebGear.OpenApi.Trait.Header

Methods

setTrait :: forall (ts :: [Type]). Header 'Optional ps name val -> (Linked ts Response -> Response -> Attribute (Header 'Optional ps name val) Response -> Linked (Header 'Optional ps name val ': ts) Response) -> OpenApiHandler m (Linked ts Response, Attribute (Header 'Optional ps name val) Response) (Linked (Header 'Optional ps name val ': ts) Response)

(KnownSymbol name, ToSchema val, Trait (Header 'Required ps name val) Response) => Set (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (Header 'Required ps name val) Response

Defined in WebGear.OpenApi.Trait.Header

Methods

setTrait :: forall (ts :: [Type]). Header 'Required ps name val -> (Linked ts Response -> Response -> Attribute (Header 'Required ps name val) Response -> Linked (Header 'Required ps name val ': ts) Response) -> OpenApiHandler m (Linked ts Response, Attribute (Header 'Required ps name val) Response) (Linked (Header 'Required ps name val ': ts) Response)

(TraitAbsence (BasicAuth' x scheme m e a) Request, KnownSymbol scheme) => Get (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (BasicAuth' x scheme m e a) Request

Defined in WebGear.OpenApi.Trait.Auth.Basic

Methods

getTrait :: forall (ts :: [Type]). BasicAuth' x scheme m e a -> OpenApiHandler m (Linked ts Request) (Either (Absence (BasicAuth' x scheme m e a) Request) (Attribute (BasicAuth' x scheme m e a) Request))

(TraitAbsence (JWTAuth' x scheme m e a) Request, KnownSymbol scheme) => Get (OpenApiHandler m :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep) (JWTAuth' x scheme m e a) Request

Defined in WebGear.OpenApi.Trait.Auth.JWT

Methods

getTrait :: forall (ts :: [Type]). JWTAuth' x scheme m e a -> OpenApiHandler m (Linked ts Request) (Either (Absence (JWTAuth' x scheme m e a) Request) (Attribute (JWTAuth' x scheme m e a) Request))

data DocNode

Different types of documentation elements captured by the handler

Constructors

DocSecurityScheme Text SecurityScheme

DocRequestBody (Definitions Schema) RequestBody

DocResponseBody (Definitions Schema) MediaType MediaTypeObject

DocRequestHeader Param

DocResponseHeader HeaderName Header

DocMethod StdMethod

DocPathElem Text

DocPathVar Param

DocQueryParam Param

DocStatus Status

DocSummary Summary

DocDescription Description

Instances

Show DocNode

Defined in WebGear.OpenApi.Handler

Methods

showsPrec :: Int -> DocNode -> ShowS

show :: DocNode -> String

showList :: [DocNode] -> ShowS

data Tree a

A tree where internal nodes have one or two children.

Instances

Show a => Show (Tree a)

Defined in WebGear.OpenApi.Handler

Methods

showsPrec :: Int -> Tree a -> ShowS

show :: Tree a -> String

showList :: [Tree a] -> ShowS

singletonNode :: a -> Tree a

Generate a tree with a single node

nullNode :: Tree a

Generate an empty tree

toOpenApi :: OpenApiHandler m a b -> OpenApi

Generate OpenApi documentation from a handler