Testables (p.forester.5.0.doc.forester.test.Forester

Forester: A language for scientific hypertext
- README
- README.nix
- Developing Forester
- Library forester.compiler
  - Forester_compiler
- Library forester.core
  - Forester_core
- Library forester.frontend
  - Forester_frontend
- Library forester.human_datetime
  - Human_datetime
- Library forester.language_server
  - Forester_lsp
- Library forester.parser
  - Forester_parser
- Library forester.prelude
  - Forester_prelude
- Library forester.search
  - Forester_search
- Library forester.server
  - Forester_server
- Library forester.test
  - Forester_test
    - Test_env
    - Testables
- Library forester.xml_names
  - Forester_xml_names
- Sources

Sourcetype 'a bwd = 'a Bwd.bwd =

| Emp
| Snoc of 'a bwd * 'a

val pp_bwd : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a bwd ->
  Ppx_deriving_runtime.unit

Source

val show_bwd : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  'a bwd ->
  Ppx_deriving_runtime.string

Sourcetype backtrace = Asai.Diagnostic.backtrace Bwd.bwd

Sourcetype severity = Asai.Diagnostic.severity =

| Hint
| Info
| Warning
| Error
| Bug

Source

val pp_severity : 
  Ppx_deriving_runtime.Format.formatter ->
  severity ->
  Ppx_deriving_runtime.unit

Sourceval show_severity : severity -> Ppx_deriving_runtime.string

Source

val pp_loctext : 
  Format.formatter ->
  Asai.Diagnostic.text Asai.Range.located ->
  unit

Sourcetype 'a diagnostic = 'a Asai.Diagnostic.t = {

severity : Asai.Diagnostic.severity;
message : 'a;
explanation : Asai.Diagnostic.loctext;
backtrace : Asai.Diagnostic.backtrace;
extra_remarks : Asai.Diagnostic.loctext Bwd.bwd;

}

Source

val pp_diagnostic : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a diagnostic ->
  Ppx_deriving_runtime.unit

Source

val show_diagnostic : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  'a diagnostic ->
  Ppx_deriving_runtime.string

Sourceval message : Forester_core.Reporter.Message.t Alcotest.testable

Sourceval delim : Forester_core.delim Alcotest.testable

Sourceval code : Forester_core.Code.t Alcotest.testable

Sourceval code_node : Forester_core.Code.node Alcotest.testable

Sourceval syn_node : Forester_core.Syn.node Alcotest.testable

Sourceval syn : Forester_core.Syn.t Alcotest.testable

Sourceval eval_result : Forester_compiler.Eval.result Alcotest.testable

Sourceval path : Forester_core.Trie.path Alcotest.testable

Sourceval data : Forester_core.Syn.resolver_data Alcotest.testable

Sourceval diagnostic : Forester_core.Reporter.Message.t diagnostic Alcotest.testable

Sourceval uri : Forester_core.URI.t Alcotest.testable

Sourceval config : Forester_core.Config.t Alcotest.testable

Sourceval document : Lsp.Text_document.t Alcotest.testable

Sourceval tree : Forester_core.Code.tree Alcotest.testable

Sourceval result : Forester_compiler.Eval.result Alcotest.testable

Sourceval content : Forester_core.Types.content Alcotest.testable

Sourceval action : Forester_compiler.Action.t Alcotest.testable

Sourceval completion_type : Forester_lsp.Completion.completion Alcotest.testable