package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

Terminal manipulation library for OCaml

Install

dune-project

Dependency

sha512=78648768644058337e22c79cf1fbb1a36472b24f11b1dc0461fc38419be6ec01b02d8d0ac45fed0bc99f91ba4c0f19d3bda113e834e064bee973b734527b9766

Sourcetype switch

Switches are used to stop signals.

Sourcetype 'a callbacks

Sourceval create : unit -> 'a callbacks

Sourceval register : switch option -> 'a callbacks -> 'a -> unit

Sourceval stop : switch -> unit

Sourceval exec_callbacks : ('a -> unit) callbacks -> 'a -> unit

apply_callbacks callbacks x

Sourceval exec_filters : ('a -> bool) callbacks -> 'a -> bool