netkat

A clean slate implementation of NetKAT
IN THIS PACKAGE

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:

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