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.backend_sim/Backend_sim/State/index.html

Module Backend_sim.StateSource

module Value = Runtime.Value
module IO = Runtime.Sim.Io
Sourcetype s = Value.t * Value.t * IO.tx list
Sourcetype 'a state = s -> 'a option * s
Sourceval get : s state
Sourceval put : s -> unit state
Sourceval modify : (s -> s) -> unit state
Sourceval return : 'a -> 'a state
Sourceval bind : 'a state -> ('a -> 'b state) -> s -> 'b option * s
Sourceval (>>) : 'a state -> 'b state -> s -> 'b option * s
Sourceval (let*) : 'a state -> ('a -> 'b state) -> s -> 'b option * s
Sourceval map : 'a state -> ('a -> 'b) -> s -> 'b option * s
Sourceval (let+) : 'a state -> ('a -> 'b) -> s -> 'b option * s
Sourceval sequence : 'a state list -> 'a list state
Sourceval on_result : 'a state -> some:('a -> 'b state) -> none:(unit -> 'b state) -> 'b state
Sourceval apply : (Value.t -> Value.t -> Value.t * Value.t * 'a) -> 'a state
Sourceval guard : bool -> unit state
Sourceval empty : 'a state
Sourceval run : 'a state -> s -> 'a option * s