package herdtools7

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

Module SideEffect.SESSource

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

Sourcetype t

A side-effect set.

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