package herdtools7

  1. Overview
  2. Docs
package herdtools7
Legend:
Library
Module
Module type
Parameter
Class
Class type

The module SES provides an abstraction over a set of side-effects.

type t

A side-effect set.

val empty : t
val reads_local : identifier -> TimeFrame.t -> bool -> t
val writes_local : identifier -> t
val reads_global : identifier -> TimeFrame.t -> bool -> t
val writes_global : identifier -> t
val throws_exception : identifier -> t
val calls_recursive : identifier -> t
val performs_assertions : t
val non_deterministic : t
val max_time_frame : t -> TimeFrame.t
val is_pure : t -> bool
val is_symbolically_evaluable : t -> bool
val equal : t -> t -> bool
val is_deterministic : t -> bool
val add_local_read : identifier -> TimeFrame.t -> bool -> t -> t
val add_local_write : identifier -> t -> t
val add_global_read : identifier -> TimeFrame.t -> bool -> t -> t
val add_global_write : identifier -> t -> t
val add_thrown_exception : identifier -> t -> t
val add_calls_recursive : identifier -> t -> t
val add_side_effect : side_effect -> t -> t
val add_assertion : t -> t
val add_non_determinism : t -> t
val remove_pure : t -> t
val remove_locals : t -> t
val remove_thrown_exceptions : t -> t
val remove_calls_recursives : t -> t
val remove_assertions : t -> t
val remove_non_determinism : t -> t
val filter_thrown_exceptions : (identifier -> bool) -> t -> t
val filter_calls_recursives : (identifier -> bool) -> t -> t
val union : t -> t -> t
val unions : t list -> t
val union3 : t -> t -> t -> t
val non_conflicting_union : fail:((side_effect * side_effect) -> t) -> t -> t -> t
val non_conflicting_unions : fail:((side_effect * side_effect) -> t) -> t list -> t
val get_calls_recursives : t -> ASTUtils.ISet.t
val to_side_effect_list : t -> side_effect list
val pp_print : Format.formatter -> t -> unit
module SESet : Set.S with type elt = side_effect
val to_side_effect_set : t -> SESet.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct