package mopsa

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

Top - Top element

Types

type 'a with_top =
  1. | TOP
  2. | Nt of 'a
    (*

    Add a top element to a type.

    *)

Operator lifting

val top_lift1 : ('a -> 'b) -> 'a with_top -> 'b with_top
val top_lift2 : ('a -> 'b -> 'c) -> 'a with_top -> 'b with_top -> 'c with_top
val top_absorb1 : ('a -> 'b with_top) -> 'a with_top -> 'b with_top
val top_absorb2 : ('a -> 'b -> 'c with_top) -> 'a with_top -> 'b with_top -> 'c with_top
val top_neutral2 : ('a -> 'a -> 'a) -> 'a with_top -> 'a with_top -> 'a with_top
val top_apply : ('b -> 'a) -> 'a -> 'b with_top -> 'a
val top_apply2 : 'a -> 'a -> ('b -> 'b -> 'a) -> 'b with_top -> 'b with_top -> 'a
val top_equal : ('a -> 'b -> bool) -> 'a with_top -> 'b with_top -> bool
val top_included : ('a -> 'b -> bool) -> 'a with_top -> 'b with_top -> bool
val top_compare : ('a -> 'a -> int) -> 'a with_top -> 'a with_top -> int
val top_dfl1 : 'c -> ('a -> 'c) -> 'a with_top -> 'c
val top_dfl2 : 'c -> ('a -> 'b -> 'c) -> 'a with_top -> 'b with_top -> 'c

Exceptions

exception Found_TOP
val raise_top : unit -> 'a
val catch_top : ('a -> 'b) -> 'a -> 'b -> 'b
val detop : 'a with_top -> 'a
val retop : ('a -> 'b) -> 'a -> 'b with_top
val exn_to_top : ('a -> 'b) -> 'a -> 'b with_top
val top_to_exn : 'a with_top -> 'a

Printing

val top_string : string
val top_to_string : ('a -> string) -> 'a with_top -> string
val top_print : (out_channel -> 'a -> unit) -> out_channel -> 'a with_top -> unit
val top_fprint : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a with_top -> unit
val top_bprint : (Buffer.t -> 'a -> unit) -> Buffer.t -> 'a with_top -> 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