package io

You can search for identifiers within the package.

in-package search v0.2.0

Simple, secure and composable abstraction for efficient component

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

R

Rizo Isrof <rizo@odis.io>

Maintainers

R

Rizo Isrof <rizo@odis.io>

Sources

0.2.0.zip

sha256=2935b1671ab9f6c96f0d4ec48cb4fa9b76c8d9d992267332fc68d387322249e5

md5=c90742b1549b111094585e9a26e19823

doc/io/Elements/index.html

Module `Elements`Source

Sourcemodule Result : sig ... end

Sourcemodule type Type = sig ... end

Sourcemodule type Functor = sig ... end

Sourcemodule Id : sig ... end

Sourcemodule T2 : sig ... end

Sourcemodule type Monad = sig ... end

Sourcemodule Fn : sig ... end

Sourcemodule Option : sig ... end

Sourcemodule Exn : sig ... end

Sourcemodule List : sig ... end

Sourcemodule Str : sig ... end

Sourcemodule Either : sig ... end

Sourcemodule Base : sig ... end

include module type of struct include Base end

include module type of struct include Either.Public end

Sourcetype ('a, 'b) either = ('a, 'b) Either.Public.either =

| Left of 'a
| 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 =

| Ok of 'a
| 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 = Base.void =

| Void

Sourceval closed : void -> 'a

Sourceval output_line : out_channel -> string -> unit

Sourcemodule Log : sig ... end