| Did you know ... | Search Documentation: |
| doc_http.pl -- Documentation server |
The module library(pldoc/http) provides an embedded HTTP documentation
server that allows for browsing the documentation of all files loaded
after library(pldoc) has been loaded.
doc_enable(+Boolean)
doc_server(?Port) is det
doc_server(?Port, +Options) is detip(A,B,C,D). See tcp_host_to_address/2 for
details.allow(HostOrIP).true.The predicate doc_server/1 is defined as below, which provides a good default for development.
doc_server(Port) :-
doc_server(Port,
[ allow(localhost)
]).
doc_browser is det
doc_browser(+What) is semidetThe following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.
doc_server(?Port) is det
doc_server(?Port, +Options) is detip(A,B,C,D). See tcp_host_to_address/2 for
details.allow(HostOrIP).true.The predicate doc_server/1 is defined as below, which provides a good default for development.
doc_server(Port) :-
doc_server(Port,
[ allow(localhost)
]).
doc_browser is det
doc_browser(+What) is semidet