Module `Utils_core.Bot`Source

Bot - Lift operations to a bottom element.

Types

Sourcetype 'a with_bot =

| BOT
| 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

Source

val bot_absorb2 : 
  ('a -> 'b -> 'c with_bot) ->
  'a with_bot ->
  'b with_bot ->
  'c with_bot

Source

val 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

Source

val 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

Source

val bot_print : 
  (Stdlib.out_channel -> 'a -> unit) ->
  Stdlib.out_channel ->
  'a with_bot ->
  unit

Source

val bot_fprint : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a with_bot ->
  unit

Source

val bot_bprint : 
  (Stdlib.Buffer.t -> 'a -> unit) ->
  Stdlib.Buffer.t ->
  'a with_bot ->
  unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/utils_core/Utils_core/Bot/index.html

Module `Utils_core.Bot`Source

Types

Operator lifting

Exceptions

Printing

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/utils_core/Utils_core/Bot/index.html

Module Utils_core.BotSource

Types

Operator lifting

Exceptions

Printing

Module `Utils_core.Bot`Source