package io

  1. Overview
  2. Docs

Module Elements.BaseSource

include module type of struct include Either.Public end
Sourcetype ('a, 'b) either = ('a, 'b) Either.Public.either =
  1. | Left of 'a
  2. | Right of 'b
Sourceval either : ('a -> 'b) -> ('c -> 'b) -> ('a, 'c) either -> 'b
include module type of struct include Exn.Public end
Sourceval guard : ('a -> 'b) -> 'a -> ('b, exn) Result.result
Sourceval fail : string -> 'a
include module type of struct include Fn.Public end
Sourceval (@.) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
Sourceval (|>) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c
Sourceval id : 'a -> 'a
Sourceval flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
include module type of struct include List.Public end
Sourceval cons : 'a -> 'a list -> 'a list
include module type of struct include Option.Public end
Sourceval some : 'a -> 'a option
Sourceval none : 'a option
Sourceval option : none:'a Lazy.t -> some:('b -> 'a) -> 'b option -> 'a
Sourceval (|?) : 'a option -> 'a -> 'a
Sourceval (?!) : 'a option -> 'a
include module type of struct include Result.Public end
Sourcetype ('a, 'e) result = ('a, 'e) Result.Public.result =
  1. | Ok of 'a
  2. | Error of 'e
Sourceval ok : 'a -> ('a, 'b) result
Sourceval error : 'a -> ('b, 'a) result
Sourceval discard : 'a -> unit
Sourceval force : 'a Lazy.t -> 'a
Sourceval (!) : 'a Lazy.t -> 'a
Sourceval time : ('a -> 'b) -> 'a -> 'b
Sourceval print : string -> unit
Sourceval fmt : ('a, unit, string) format -> 'a
Sourceval even : int -> bool
Sourceval odd : int -> bool
Sourcetype void =
  1. | Void
Sourceval closed : void -> 'a
Sourceval output_line : out_channel -> string -> unit