package p4spectec

  1. Overview
  2. Docs
P4-SpecTec: A mechanization toolchain for the P4 Programming Language

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (2)

Authors

  1. K
    KAIST PLRG

Maintainers

  1. 9
    99jaehyunlee@kaist.ac.kr

Sources

v0.1.2.tar.gz
md5=1a3bc0a385fe1ecf403c019f49aa6de6
sha512=5d20b5821f33e2a3a5419b208606f27c01511994c2b3b1e1cdf4c077056dfd0aa81682af0720e1060ee2bfb0341918fcc4c53159820205a2bc32b725e5c1a714

doc/p4spectec.domain/Domain/Mixfix/index.html

Module Domain.MixfixSource

Sourceval atom_to_yojson : atom -> Yojson.Safe.t
Sourcetype 'a t =
  1. | Arg of 'a
  2. | Atom of atom
  3. | Brack of atom * 'a t * atom
  4. | Infix of 'a t * atom * 'a t
  5. | Seq of 'a t list
Sourceval to_yojson : 'a. ('a -> Yojson.Safe.t) -> 'a t -> Yojson.Safe.t
Sourceval _ : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a t Ppx_deriving_yojson_runtime.error_or
Sourcetype mixop = unit t
Sourceexception Arity_mismatch of string
Sourceval mixop_to_yojson : unit t -> Yojson.Safe.t
Sourceval mixop_of_yojson : Yojson.Safe.t -> (unit t, string) result
Sourceval compare_atom : atom -> atom -> int
Sourceval compare : 'a 'b. compare_arg:('a -> 'b -> int) -> 'a t -> 'b t -> int
Sourceval eq : 'a 'b. eq_arg:('a -> 'b -> bool) -> 'a t -> 'b t -> bool
Sourceval eqs : 'a 'b. eq_arg:('a -> 'b -> bool) -> 'a t list -> 'b t list -> bool
Sourceval compare_mixop : 'a t -> 'b t -> int
Sourceval eq_mixop : 'a t -> 'b t -> bool
Sourceval fold : ('acc -> 'a -> 'acc) -> 'acc -> 'a t -> 'acc
Sourceval map : ('a -> 'b) -> 'a t -> 'b t
Sourceval map_atoms : (atom -> atom) -> 'a t -> 'a t
Sourceval iter : ('a -> unit) -> 'a t -> unit
Sourceval iter_atoms : (atom -> unit) -> 'a t -> unit
Sourceval to_string : 'a t -> string
Sourceval to_mixop : 'a t -> mixop
Sourceval arity : 'a t -> int
Sourceval atoms : 'a t -> atom list
Sourcetype atom_internal =
  1. | Atom_internal of atom
  2. | Arg_internal
Sourceval atoms_matrix : 'a t -> atom list list
Sourceval args : 'a t -> 'a list
Sourceval fill : mixop -> 'a list -> 'a t
Sourceval split : 'a t -> mixop * 'a list
Sourceval assemble : empty:'b -> space:'b -> atom:(atom -> 'b option) -> concat:('b -> 'b -> 'b) -> 'b t -> 'b
Sourceval render : string_of_atom:(atom -> string) -> string_of_arg:('a -> string) -> 'a t -> string