Idris2Doc : TyTTP.Core.Response

TyTTP.Core.Response

(source)
Definitions
record Response : Type -> Type -> Type -> Type
  Totality: total
  Visibility: public export
  Constructor: 
MkResponse : s -> h -> a -> Response s h a

  Projections:
  
.body : Response s h a -> a
  
.headers : Response s h a -> h
  
.status : Response s h a -> s

  Hint: 
Functor (Response s h)
.status : Response s h a -> s
  Visibility: public export
status : Response s h a -> s
  Visibility: public export
.headers : Response s h a -> h
  Visibility: public export
headers : Response s h a -> h
  Visibility: public export
.body : Response s h a -> a
  Visibility: public export
body : Response s h a -> a
  Visibility: public export