package owl

  1. Overview
  2. Docs
On This Page
  1. Ops Builder
package owl
Legend:
Library
Module
Module type
Parameter
Class
Class type
Ops Builder
val op_siso : ff:(t -> t) -> fd:(t -> t) -> df:(t -> t -> t -> t) -> r:(t -> op) -> t -> t

single input single output operation

val 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

val 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

val 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

val 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

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