package mopsa

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

Bot - Lift operations to a bottom element.

Types

type 'a with_bot =
  1. | BOT
  2. | Nb of 'a
    (*

    Adds a bottom element to a type.

    *)

Operator lifting

val bot_lift1 : ('a -> 'b) -> 'a0 with_bot -> 'b0 with_bot
val bot_lift2 : ('a -> 'b -> 'c) -> 'a0 with_bot -> 'b0 with_bot -> 'c0 with_bot
val bot_absorb1 : ('a -> 'b with_bot) -> 'a0 with_bot -> 'b0 with_bot
val bot_absorb2 : ('a -> 'b -> 'c with_bot) -> 'a0 with_bot -> 'b0 with_bot -> 'c0 with_bot
val bot_neutral2 : ('a -> 'a -> 'a) -> 'a0 with_bot -> 'a1 with_bot -> 'a2 with_bot
val bot_apply : ('a -> 'b -> 'a) -> 'a0 -> 'b0 with_bot -> 'a1
val bot_apply2 : 'a -> 'a0 -> ('b -> 'b -> 'a1) -> 'b0 with_bot -> 'b1 with_bot -> 'a2
val bot_merge2 : 'a with_bot -> 'b with_bot -> ('c * 'd) with_bot
val bot_equal : ('a -> 'b -> bool) -> 'a0 with_bot -> 'b0 with_bot -> bool
val bot_included : ('a -> 'b -> bool) -> 'a0 with_bot -> 'b0 with_bot -> bool
val bot_compare : ('a -> 'a -> int) -> 'a0 with_bot -> 'a1 with_bot -> int
val bot_dfl1 : 'c -> ('a -> 'c0) -> 'a0 with_bot -> 'c1
val bot_dfl2 : 'c -> ('a -> 'b -> 'c0) -> 'a0 with_bot -> 'b0 with_bot -> 'c1
val list_remove_bot : 'a with_bot list -> 'a0 list

Exceptions

exception Found_BOT
val raise_bot : unit -> 'a
val catch_bot : 'b -> ('a -> 'b0) -> 'a0 -> 'b1
val bot_to_exn : 'a with_bot -> 'a0
val exn_to_bot : ('a -> 'b) -> 'a0 -> 'b0 with_bot
val nobot : string -> 'a with_bot -> 'a0

Printing

val bot_string : string
val bot_to_string : ('a -> string) -> 'b with_bot -> string
val bot_print : (out_channel -> 'a -> unit) -> out_channel -> 'b with_bot -> unit
val bot_fprint : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'b with_bot -> unit
val bot_bprint : (Buffer.t -> 'a -> unit) -> Buffer.t -> 'b with_bot -> unit
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