stdune

Dune's unstable standard library
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library stdune
Module Stdune . Result
type ('a, 'error) t = ( 'a, 'error ) result =
| Ok of 'a
| Error of 'error
val return : 'a -> ( 'a, _ ) t
val ok : 'a -> ( 'a, _ ) t
val value : ( 'a, 'e ) result -> default:'a -> 'a

value r ~default is v if r is Ok v and default otherwise.

val is_ok : ( _, _ ) t -> bool
val is_error : ( _, _ ) t -> bool
val iter : ( 'a, _ ) t -> f:( 'a -> unit ) -> unit
val ok_exn : ( 'a, exn ) t -> 'a
val try_with : ( unit -> 'a ) -> ( 'a, exn ) t
val equal : ( 'a -> 'a -> bool ) -> ( 'b -> 'b -> bool ) -> ( 'a, 'b ) t -> ( 'a, 'b ) t -> bool
val hash : ( 'a -> int ) -> ( 'b -> int ) -> ( 'a, 'b ) t -> int
module O : sig ... end
val map : ( 'a, 'error ) t -> f:( 'a -> 'b ) -> ( 'b, 'error ) t
val bind : ( 'a, 'error ) t -> f:( 'a -> ( 'b, 'error ) t ) -> ( 'b, 'error ) t
val (>>=) : ( 'a, 'error ) t -> ( 'a -> ( 'b, 'error ) t ) -> ( 'b, 'error ) t
val map_error : ( 'a, 'error1 ) t -> f:( 'error1 -> 'error2 ) -> ( 'a, 'error2 ) t
val to_option : ( 'a, 'error ) t -> 'a option
val to_dyn : 'a Dyn.builder -> 'error Dyn.builder -> ( 'a, 'error ) t Dyn.builder
val errorf : ( 'a, unit, string, ( _, string ) t ) format4 -> 'a

Produce Error <message>

type ('a, 'error) result = ( 'a, 'error ) t

For compatibility with some other code

module List : sig ... end
module Option : sig ... end