package bap-std

  1. Overview
  2. Docs
package bap-std
Legend:
Library
Module
Module type
Parameter
Class
Class type

Basic and generic expression evaluator.

The module provides functors that derive base classes and class types for Expi, Bili, and Biri.

Note, this is a low-level interface that can be used if you want to build your own evaluators (interpeters). If you want to use already existing interpreter without drastically changing the semantics of BIL consider using the Primus Framework.

  • since 1.3
module T1 (M : Core_kernel.Std.T1) : sig ... end

An evaluator interface parametrized by a T1 monad.

module T2 (M : Core_kernel.Std.T2) : sig ... end

An evaluator parametrized by a T2 monad.

module type S = sig ... end

An interface of a basic evaluator in a T1 monad

module type S2 = sig ... end

An interface of a basic evaluator in a T1 monad

module Make2 (M : Monads.Std.Monad.S2) : S2 with type ('a, 'e) m := ('a, 'e) M.t and module M := M

Make2(M) provides an implementation of the S2 interface lifted into the monad M.

module Make (M : Monads.Std.Monad.S) : S with type 'a m := 'a M.t and module M := M

Make(M) provides an implementation of the S2 interface lifted into the monad M.

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