netkat
-
library netkat.katbb_lib
-
module Katbb_lib
-
module Ast
-
module Idd_compiler
-
module Lexer
-
module Menhir_parser
-
module Parser
-
-
-
library netkat.repl
-
module Repl
-
module Repl_katbb
-
module Repl_katbv
-
-
-
library netkat.tables
-
module Tables
-
Libraries
This package provides the following libraries (via dune):
netkat.kat
Documentation:
Kat.Ast
Generic AST for Kleene Algebra with Tests (KAT).Kat.Hom
Operations on ASTs often take the form of homomorphisms. Examples include syntax transformations, compilers, or interpreters. This module provides tools for conveniently defining such homomorphisms, eliminating boilerplate code.Kat.Optimize
Smart constructors and algebraic optimization for KAT.
Dependencies: base, idds, ppx_sexp_conv.runtime-lib, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, base_quickcheck
netkat.katbb_lib
Documentation:
Dependencies: base, idds, netkat.kat, nice_parser, ppx_sexp_conv.runtime-lib, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, base_quickcheck
netkat.katbv_lib
Documentation:
Katbv_lib.Ast
Katbv_lib.Bitstring
Katbv_lib.Compiler
Katbv_lib.Lexer
Katbv_lib.Menhir_parser
Katbv_lib.Parser
Katbv_lib.Semantics
Dependencies: base, netkat.kat, netkat.katbb_lib, netkat.tables, ppx_sexp_conv.runtime-lib, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, base_quickcheck
netkat.repl
Documentation:
Dependencies: async, core, netkat.katbb_lib, netkat.katbv_lib, idds, mparser, mparser.re, netkat.tables, ppx_sexp_conv.runtime-lib, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, base, base_quickcheck
netkat.tables
Documentation: Tables
Dependencies: base, idds, netkat.kat, printbox, printbox.html, open, tyxml, ppx_sexp_conv.runtime-lib, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, base_quickcheck