Idris2Doc : TyTTP.HTTP.Routing

TyTTP.HTTP.Routing

(source)

Definitions

options : Alternativem=> (ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')) ->ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')
Visibility: export
get : Alternativem=> (ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')) ->ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')
Visibility: export
head : Alternativem=> (ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')) ->ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')
Visibility: export
post : Alternativem=> (ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')) ->ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')
Visibility: export
put : Alternativem=> (ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')) ->ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')
Visibility: export
delete : Alternativem=> (ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')) ->ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')
Visibility: export
trace : Alternativem=> (ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')) ->ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')
Visibility: export
connect : Alternativem=> (ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')) ->ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')
Visibility: export
other : Alternativem=>String-> (ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')) ->ContextMethoduvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')
Visibility: export
contentType : Alternativem=>HasContentTypeh1=>Mime-> (Contextmeuvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')) ->Contextmeuvh1sh2ab->m (Contextme'p'v'h1's'h2'a'b')
Visibility: export
json : Alternativem=>HasContentTypeh1=> (Contextmeuvh1sh2ab->m (Contextme'p'v'h1s'h2'a'b')) ->Contextmeuvh1sh2ab->m (Contextme'p'v'h1s'h2'a'b')
Visibility: export
text : Alternativem=>HasContentTypeh1=> (Contextmeuvh1sh2ab->m (Contextme'p'v'h1s'h2'a'b')) ->Contextmeuvh1sh2ab->m (Contextme'p'v'h1s'h2'a'b')
Visibility: export
binary : Alternativem=>HasContentTypeh1=> (Contextmeuvh1sh2ab->m (Contextme'p'v'h1s'h2'a'b')) ->Contextmeuvh1sh2ab->m (Contextme'p'v'h1s'h2'a'b')
Visibility: export