package linksem

  1. Overview
  2. Docs
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a error =
  1. | Success of 'a
  2. | Fail of string
val return : 'a -> 'a error
val with_success : 'a error -> 'b -> ('a -> 'b) -> 'b
val fail : string -> 'a error
val bind : 'a error -> ('a -> 'b error) -> 'b error
val as_maybe : 'a error -> 'a option
val of_maybe : string -> 'a option -> 'a error
val repeatM'' : Nat_big_num.num -> 'a error -> 'a list error -> 'a list error
val repeatM : Nat_big_num.num -> 'a error -> 'a list error
val repeatM' : Nat_big_num.num -> 'b -> ('b -> ('a * 'b) error) -> ('a list * 'b) error
val mapM' : ('a -> 'b error) -> 'a list -> 'b list error -> 'b list error
val mapM : ('a -> 'b error) -> 'a list -> 'b list error
val foldM : ('a -> 'b -> 'a error) -> 'a -> 'b list -> 'a error
val string_of_error : 'a Show.show_class -> 'a error -> string
val instance_Show_Show_Error_error_dict : 'a Show.show_class -> 'a error Show.show_class