[−][src]Crate hyperbole
An experimental web framework based on functional generic programming.
Modules
| body | Helpers for parsing request bodies. |
| coproduct | Module that holds Coproduct data structures, traits, and implementations |
| field | Type level fields for fun and profit. |
| hlist | Module that holds HList data structures, implementations, and typeclasses. |
| mw | Middleware combinators. |
| reply | Helpers for replying to requests. |
| test | Facilities for testing hyperbole apps. |
| tree | Compressing dynamic route trie based on httprouter. |
Macros
| Coprod | Returns a type signature for a Coproduct of the provided types |
| Hlist | Returns a type signature for an HList of the provided types |
| access | Access a named field in an anonymous record. |
| f | Expands to either the type of a named field, or a (~consty) expression that evaluates to an instantiated field. |
| hlist | Returns an |
| path | Expands to a well-typed path specification. |
| record | Expands to either the type of an anonymous record, or a (~consty) expression that evaluates to an instantiated record. |
Structs
| App | Contains routes and handlers for a given http service, as well as top-level application state. |
| Ctx | A request processing context. |
Traits
| IsCoproduct | Types that represent coproducts. |
Type Definitions
| Init | The set of request scoped state that contexts are initialized with. |
| Response | An http response. |
Attribute Macros
| record_args | An attribute macro to reduce boilerplate when writing functions that accept an hlist as an argument (handlers and middlewares). |