Idris2Doc : TyTTP.HTTP.Routing

TyTTP.HTTP.Routing

(source)

Definitions

options : Alternative m => (Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')) -> Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')
Visibility: export
get : Alternative m => (Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')) -> Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')
Visibility: export
head : Alternative m => (Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')) -> Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')
Visibility: export
post : Alternative m => (Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')) -> Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')
Visibility: export
put : Alternative m => (Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')) -> Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')
Visibility: export
delete : Alternative m => (Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')) -> Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')
Visibility: export
trace : Alternative m => (Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')) -> Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')
Visibility: export
connect : Alternative m => (Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')) -> Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')
Visibility: export
other : Alternative m => String -> (Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')) -> Context Method u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')
Visibility: export
contentType : Alternative m => HasContentType h1 => Mime -> (Context me u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')) -> Context me u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')
Visibility: export
json : Alternative m => HasContentType h1 => (Context me u v h1 s h2 a b -> m (Context me' p' v' h1 s' h2' a' b')) -> Context me u v h1 s h2 a b -> m (Context me' p' v' h1 s' h2' a' b')
Visibility: export
text : Alternative m => HasContentType h1 => (Context me u v h1 s h2 a b -> m (Context me' p' v' h1 s' h2' a' b')) -> Context me u v h1 s h2 a b -> m (Context me' p' v' h1 s' h2' a' b')
Visibility: export
binary : Alternative m => HasContentType h1 => (Context me u v h1 s h2 a b -> m (Context me' p' v' h1 s' h2' a' b')) -> Context me u v h1 s h2 a b -> m (Context me' p' v' h1 s' h2' a' b')
Visibility: export