package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

Dune Dependency

albatross-lang.sourceforge.net Readme Edit opam file Versions (5)

Authors

H

Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

H

Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.4.4.tar.gz

sha256=4817038301d3e45bac9edf7e6f2fc8bf0a6d78e76e02ad7ea33ef69bcc17df3b

md5=25234357587126685d64f16236167937

doc/alba.fmlib/Fmlib/Make_io/Make/argument-1-Base/index.html

Parameter `Make.Base`

type in_file

type out_file

val stdin : in_file

val stdout : out_file

val stderr : out_file

module M : Module_types.MONAD

include Module_types.MONAD

type 'a t

The type of the monad containing values of type 'a

val return : 'a -> 'a t

return a makes a monadic container containing the value a.

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

m >>= f extracts the value a from the monadic container m and returns f a.

val (>=>) : ('a -> 'b t) -> ('b -> 'c t) -> 'a -> 'c t

f >=> g composition of the two monadic functions f and g.

f >=> g is equivalent to fun a -> f a >>= g.

val map : ('a -> 'b) -> 'a t -> 'b t

map f m maps the values in the monadic container m with the function f.

val join : 'a t t -> 'a t

Remove one level of container. join m is equivalent to mm >>= fun m -> m.

val (<*>) : ('a -> 'b) t -> 'a t -> 'b t

f <*> m applies the function contained in f to the content of the monadic container m and injects the result into a new monadic container.

val exit : int -> 'a t

val execute : unit t -> unit

val command_line : string array t

val current_working_directory : string t

val cli_loop : 
  'a ->
  ('a -> string option) ->
  ('a -> string -> 'a t) ->
  ('a -> 'a t) ->
  'a t

val path_separator : char

val path_delimiter : char

val read_directory : string -> string array option t

val open_for_read : string -> (in_file, Io.Error.t) result t

val open_for_write : string -> (out_file, Io.Error.t) result t

val create : string -> (out_file, Io.Error.t) result t

val close_in : in_file -> unit t

val close_out : out_file -> unit t

module Read (W : Module_types.WRITABLE) : sig ... end

module Write (R : Module_types.READABLE) : sig ... end