arachne.http.config
Utilities for working with HTTP entities in a configuration
endpoints
(endpoints cfg segment-eid)
Return the EIDs of all endpoints that are children of the given route segment.
find-endpoint-handlers
(find-endpoint-handlers cfg server-eid)
Given a server eid, find the eids of all endpoint handlers in that server
route-path
(route-path cfg segment-eid)
Build a route path string for the given route segment eid.
route-rules
Datalog rule to recursively associate parent and child route segments in a routing tree.
Provided rules are:
- (routes ?ancestor ?descendant) - Link a route with all its parent, ancestor and child routes.
- (endpoints ?route ?endpoint) - Link a route with all endpoints that are transitively or directly attached to it.
route-segments
(route-segments cfg segment-eid)
Return an ordered list of segment eids between the root server and the given route segment
servers
(servers cfg)
Find the eids of all the servers in the given configuration