package mopsa

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

Module Utils_core.BotSource

Bot - Lift operations to a bottom element.

Types

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

    Adds a bottom element to a type.

    *)

Operator lifting

Sourceval bot_lift1 : ('a -> 'b) -> 'a with_bot -> 'b with_bot
Sourceval bot_lift2 : ('a -> 'b -> 'c) -> 'a with_bot -> 'b with_bot -> 'c with_bot
Sourceval bot_absorb1 : ('a -> 'b with_bot) -> 'a with_bot -> 'b with_bot
Sourceval bot_absorb2 : ('a -> 'b -> 'c with_bot) -> 'a with_bot -> 'b with_bot -> 'c with_bot
Sourceval bot_neutral2 : ('a -> 'a -> 'a) -> 'a with_bot -> 'a with_bot -> 'a with_bot
Sourceval bot_apply : ('a -> 'b -> 'a) -> 'a -> 'b with_bot -> 'a
Sourceval bot_apply2 : 'a -> 'a -> ('b -> 'b -> 'a) -> 'b with_bot -> 'b with_bot -> 'a
Sourceval bot_merge2 : 'a with_bot -> 'b with_bot -> ('a * 'b) with_bot
Sourceval bot_equal : ('a -> 'b -> bool) -> 'a with_bot -> 'b with_bot -> bool
Sourceval bot_included : ('a -> 'b -> bool) -> 'a with_bot -> 'b with_bot -> bool
Sourceval bot_compare : ('a -> 'a -> int) -> 'a with_bot -> 'a with_bot -> int
Sourceval bot_dfl1 : 'c -> ('a -> 'c) -> 'a with_bot -> 'c
Sourceval bot_dfl2 : 'c -> ('a -> 'b -> 'c) -> 'a with_bot -> 'b with_bot -> 'c
Sourceval list_remove_bot : 'a with_bot list -> 'a list

Exceptions

Sourceexception Found_BOT
Sourceval raise_bot : unit -> 'a
Sourceval catch_bot : 'b -> ('a -> 'b) -> 'a -> 'b
Sourceval bot_to_exn : 'a with_bot -> 'a
Sourceval exn_to_bot : ('a -> 'b) -> 'a -> 'b with_bot
Sourceval nobot : string -> 'a with_bot -> 'a

Printing

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