package bos

You can search for identifiers within the package.

in-package search v0.2.0

package bos

bos
- Library bos
  - Bos
    
    Pat
    
    Cmd
    
    OS
    
    Env
    
    Arg
    
    Path
    
    Mode
    
    File
    
    Dir
    
    Cmd
    
    U
- Library bos.setup
  - Bos_setup
    
    R
    
    Infix
    
    Char
    
    Ascii
    
    String
    
    Sub
    
    Ascii
    
    Set
    
    Map
    
    Pat
    
    Cmd
    
    OS
    
    Env
    
    Arg
    
    Path
    
    File
    
    Dir
    
    Cmd
    
    U
    
    Fmt
    
    Dump
    
    Logs
    
    Src
    
    Tag
    
    LOG

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Bos_setup.R`

include module type of struct include Rresult.R end

type (!'a, !'b) t = ('a, 'b) Rresult.result

val ok : 'a -> ('a, 'b) Rresult.result

val error : 'b -> ('a, 'b) Rresult.result

val reword_error : 
  ('b -> 'c) ->
  ('a, 'b) Rresult.result ->
  ('a, 'c) Rresult.result

val get_ok : ('a, 'b) Rresult.result -> 'a

val get_error : ('a, 'b) Rresult.result -> 'b

val return : 'a -> ('a, 'b) Rresult.result

val fail : 'b -> ('a, 'b) Rresult.result

val bind : 
  ('a, 'b) Rresult.result ->
  ('a -> ('c, 'b) Rresult.result) ->
  ('c, 'b) Rresult.result

val map : ('a -> 'c) -> ('a, 'b) Rresult.result -> ('c, 'b) Rresult.result

val join : 
  (('a, 'b) Rresult.result, 'b) Rresult.result ->
  ('a, 'b) Rresult.result

val (>>=) : 
  ('a, 'b) Rresult.result ->
  ('a -> ('c, 'b) Rresult.result) ->
  ('c, 'b) Rresult.result

val (>>|) : ('a, 'b) Rresult.result -> ('a -> 'c) -> ('c, 'b) Rresult.result

module Infix = Rresult.R.Infix

type msg = [

| `Msg of string

]

val msg : string -> [> msg ]

val msgf : ('a, Format.formatter, unit, [> msg ]) format4 -> 'a

val pp_msg : Format.formatter -> msg -> unit

val error_msg : string -> ('a, [> msg ]) Rresult.result

val error_msgf : 
  ('a, Format.formatter, unit, ('b, [> msg ]) Rresult.result) format4 ->
  'a

val reword_error_msg : 
  ?replace:bool ->
  (string -> msg) ->
  ('a, msg) Rresult.result ->
  ('a, [> msg ]) Rresult.result

val error_to_msg : 
  pp_error:(Format.formatter -> 'b -> unit) ->
  ('a, 'b) Rresult.result ->
  ('a, [> msg ]) Rresult.result

val error_msg_to_invalid_arg : ('a, msg) Rresult.result -> 'a

val open_error_msg : ('a, msg) Rresult.result -> ('a, [> msg ]) Rresult.result

val failwith_error_msg : ('a, msg) Rresult.result -> 'a

type exn_trap = [

| `Exn_trap of exn * Printexc.raw_backtrace

]

val pp_exn_trap : Format.formatter -> exn_trap -> unit

val trap_exn : ('a -> 'b) -> 'a -> ('b, [> exn_trap ]) Rresult.result

val error_exn_trap_to_msg : 
  ('a, exn_trap) Rresult.result ->
  ('a, [> msg ]) Rresult.result

val open_error_exn_trap : 
  ('a, exn_trap) Rresult.result ->
  ('a, [> exn_trap ]) Rresult.result

val pp : 
  ok:(Format.formatter -> 'a -> unit) ->
  error:(Format.formatter -> 'b -> unit) ->
  Format.formatter ->
  ('a, 'b) Rresult.result ->
  unit

val dump : 
  ok:(Format.formatter -> 'a -> unit) ->
  error:(Format.formatter -> 'b -> unit) ->
  Format.formatter ->
  ('a, 'b) Rresult.result ->
  unit

val is_ok : ('a, 'b) Rresult.result -> bool

val is_error : ('a, 'b) Rresult.result -> bool

val equal : 
  ok:('a -> 'a -> bool) ->
  error:('b -> 'b -> bool) ->
  ('a, 'b) Rresult.result ->
  ('a, 'b) Rresult.result ->
  bool

val compare : 
  ok:('a -> 'a -> int) ->
  error:('b -> 'b -> int) ->
  ('a, 'b) Rresult.result ->
  ('a, 'b) Rresult.result ->
  int

val to_option : ('a, 'b) Rresult.result -> 'a option

val of_option : 
  none:(unit -> ('a, 'b) Rresult.result) ->
  'a option ->
  ('a, 'b) Rresult.result

val to_presult : ('a, 'b) Rresult.result -> [> `Error of 'b | `Ok of 'a ]

val of_presult : [< `Error of 'b | `Ok of 'a ] -> ('a, 'b) Rresult.result

val ignore_error : use:('b -> 'a) -> ('a, 'b) Rresult.result -> 'a

val kignore_error : 
  use:('b -> ('a, 'c) Rresult.result) ->
  ('a, 'b) Rresult.result ->
  ('a, 'c) Rresult.result

package bos

Module Bos_setup.R

Module `Bos_setup.R`