Functor Nvector_custom.MakeOps

module MakeOps (A : sig

type data

val ops : data Nvector_custom.nvector_ops

end) : Nvector.NVECTOR  with type data = A.data
                           and type kind = kind

Turn a set of Nvector_custom.nvector_ops into an nvector module.

Parameters:

A : sig type data val ops : data nvector_ops end

type kind

Classifies the internal structure of an nvector.

type data

The data wrapped within an nvector.

type t = (data, kind) Nvector.nvector

An alias for the nvector type.

val wrap : ?context:Sundials.Context.t ->
       ?with_fused_ops:bool -> data -> t

Wrap data in an nvector.

val enable : ?with_fused_ops:bool ->
       ?with_linear_combination:bool ->
       ?with_scale_add_multi:bool ->
       ?with_dot_prod_multi:bool ->
       ?with_linear_sum_vector_array:bool ->
       ?with_scale_vector_array:bool ->
       ?with_const_vector_array:bool ->
       ?with_wrms_norm_vector_array:bool ->
       ?with_wrms_norm_mask_vector_array:bool ->
       ?with_scale_add_multi_vector_array:bool ->
       ?with_linear_combination_vector_array:bool -> t -> unit

Selectively enable or disable fused and array operations.

module Ops: Nvector.NVECTOR_OPS  with type t = t

Standard operations over nvectors.

module DataOps: Nvector.NVECTOR_OPS  with type t = data

Standard operations over the underlying data.