package owl-base

  1. Overview
  2. Docs
On This Page
  1. Ops Builder
package owl-base
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make.BuilderSource

Ops Builder
Sourceval op_siso : ff:(t -> t) -> fd:(t -> t) -> df:(t -> t -> t -> t) -> r:(t -> op) -> t -> t

single input single output operation

Sourceval op_sipo : ff:(t -> t * t) -> fd:(t -> t * t) -> df:(t -> t -> t -> t) -> r:((t * (t ref * t ref) * (t ref * t ref)) -> op) -> t -> t * t

single input pair outputs operation

Sourceval op_sito : ff:(t -> t * t * t) -> fd:(t -> t * t * t) -> df:(t -> t -> t -> t) -> r:((t * (t ref * t ref * t ref) * (t ref * t ref * t ref)) -> op) -> t -> t * t * t

single input triple outputs operation

Sourceval op_siao : ff:(t -> t array) -> fd:(t -> t array) -> df:(t -> t -> t -> t) -> r:((t * t ref array * t ref array) -> op) -> t -> t array

single input array outputs operation

Sourceval op_piso : ff:(t -> t -> t) -> fd:(t -> t -> t) -> df_da:(t -> t -> t -> t -> t) -> df_db:(t -> t -> t -> t -> t) -> df_dab:(t -> t -> t -> t -> t -> t) -> r_d_d:(t -> t -> op) -> r_d_c:(t -> t -> op) -> r_c_d:(t -> t -> op) -> t -> t -> t

pair inputs single output operation

Sourcemodule type Siso = sig ... end
Sourceval build_siso : (module Siso) -> t -> t
Sourcemodule type Sipo = sig ... end
Sourceval build_sipo : (module Sipo) -> t -> t * t
Sourcemodule type Sito = sig ... end
Sourceval build_sito : (module Sito) -> t -> t * t * t
Sourcemodule type Siao = sig ... end
Sourceval build_siao : (module Siao) -> t -> t array
Sourcemodule type Piso = sig ... end
Sourceval build_piso : (module Piso) -> t -> t -> t
Sourcemodule type Aiso = sig ... end
Sourceval build_aiso : (module Aiso) -> t array -> t