Idris2Doc : TyTTP.Adapter.Node.Static

TyTTP.Adapter.Node.Static

(source)
Definitions
Resource : Type
  Visibility: public export
data FileServingError : Type
  Totality: total
  Visibility: public export
  Constructors:
  
StatError : Error e => e -> FileServingError
  
NotAFile : Resource -> FileServingError
StaticRequest : Type -> Type
  Visibility: public export
StaticResponse : Type -> Type
  Visibility: public export
hStatic : HasIO io => String -> (FileServingError -> StaticRequest (URL a Path s) -> io (StaticResponse (URL a Path s))) -> StaticRequest (URL a Path s) -> io (StaticResponse (URL a Path s))
  Visibility: export