package neural_nets_lib

  1. Overview
  2. Docs
val dim_eq : (d1:dim -> d2:dim -> constraint_) Variantslib.Variant.t
val row_eq : (r1:t -> r2:t -> constraint_) Variantslib.Variant.t
val dim_ineq : (cur:dim -> subr:dim -> constraint_) Variantslib.Variant.t
val row_ineq : (cur:t -> subr:t -> constraint_) Variantslib.Variant.t
val dim_constr : (d:dim -> constr:dim_constraint -> constraint_) Variantslib.Variant.t
val row_constr : (r:t -> constr:row_constraint -> constraint_) Variantslib.Variant.t
val terminal_dim : (dim -> constraint_) Variantslib.Variant.t
val terminal_row : (t -> constraint_) Variantslib.Variant.t
val fold : init:'acc__0 -> dim_eq: ('acc__0 -> (d1:dim -> d2:dim -> constraint_) Variantslib.Variant.t -> 'acc__1) -> row_eq: ('acc__1 -> (r1:t -> r2:t -> constraint_) Variantslib.Variant.t -> 'acc__2) -> dim_ineq: ('acc__2 -> (cur:dim -> subr:dim -> constraint_) Variantslib.Variant.t -> 'acc__3) -> row_ineq: ('acc__3 -> (cur:t -> subr:t -> constraint_) Variantslib.Variant.t -> 'acc__4) -> dim_constr: ('acc__4 -> (d:dim -> constr:dim_constraint -> constraint_) Variantslib.Variant.t -> 'acc__5) -> row_constr: ('acc__5 -> (r:t -> constr:row_constraint -> constraint_) Variantslib.Variant.t -> 'acc__6) -> terminal_dim: ('acc__6 -> (dim -> constraint_) Variantslib.Variant.t -> 'acc__7) -> terminal_row:('acc__7 -> (t -> constraint_) Variantslib.Variant.t -> 'acc__8) -> 'acc__8
val iter : dim_eq:((d1:dim -> d2:dim -> constraint_) Variantslib.Variant.t -> Base.unit) -> row_eq:((r1:t -> r2:t -> constraint_) Variantslib.Variant.t -> Base.unit) -> dim_ineq: ((cur:dim -> subr:dim -> constraint_) Variantslib.Variant.t -> Base.unit) -> row_ineq: ((cur:t -> subr:t -> constraint_) Variantslib.Variant.t -> Base.unit) -> dim_constr: ((d:dim -> constr:dim_constraint -> constraint_) Variantslib.Variant.t -> Base.unit) -> row_constr: ((r:t -> constr:row_constraint -> constraint_) Variantslib.Variant.t -> Base.unit) -> terminal_dim:((dim -> constraint_) Variantslib.Variant.t -> Base.unit) -> terminal_row:((t -> constraint_) Variantslib.Variant.t -> Base.unit) -> Base.unit
val map : constraint_ -> dim_eq: ((d1:dim -> d2:dim -> constraint_) Variantslib.Variant.t -> d1:dim -> d2:dim -> 'result__) -> row_eq: ((r1:t -> r2:t -> constraint_) Variantslib.Variant.t -> r1:t -> r2:t -> 'result__) -> dim_ineq: ((cur:dim -> subr:dim -> constraint_) Variantslib.Variant.t -> cur:dim -> subr:dim -> 'result__) -> row_ineq: ((cur:t -> subr:t -> constraint_) Variantslib.Variant.t -> cur:t -> subr:t -> 'result__) -> dim_constr: ((d:dim -> constr:dim_constraint -> constraint_) Variantslib.Variant.t -> d:dim -> constr:dim_constraint -> 'result__) -> row_constr: ((r:t -> constr:row_constraint -> constraint_) Variantslib.Variant.t -> r:t -> constr:row_constraint -> 'result__) -> terminal_dim:((dim -> constraint_) Variantslib.Variant.t -> dim -> 'result__) -> terminal_row:((t -> constraint_) Variantslib.Variant.t -> t -> 'result__) -> 'result__
val make_matcher : dim_eq: ((d1:dim -> d2:dim -> constraint_) Variantslib.Variant.t -> 'acc__0 -> (d1:dim -> d2:dim -> 'result__) * 'acc__1) -> row_eq: ((r1:t -> r2:t -> constraint_) Variantslib.Variant.t -> 'acc__1 -> (r1:t -> r2:t -> 'result__) * 'acc__2) -> dim_ineq: ((cur:dim -> subr:dim -> constraint_) Variantslib.Variant.t -> 'acc__2 -> (cur:dim -> subr:dim -> 'result__) * 'acc__3) -> row_ineq: ((cur:t -> subr:t -> constraint_) Variantslib.Variant.t -> 'acc__3 -> (cur:t -> subr:t -> 'result__) * 'acc__4) -> dim_constr: ((d:dim -> constr:dim_constraint -> constraint_) Variantslib.Variant.t -> 'acc__4 -> (d:dim -> constr:dim_constraint -> 'result__) * 'acc__5) -> row_constr: ((r:t -> constr:row_constraint -> constraint_) Variantslib.Variant.t -> 'acc__5 -> (r:t -> constr:row_constraint -> 'result__) * 'acc__6) -> terminal_dim: ((dim -> constraint_) Variantslib.Variant.t -> 'acc__6 -> (dim -> 'result__) * 'acc__7) -> terminal_row: ((t -> constraint_) Variantslib.Variant.t -> 'acc__7 -> (t -> 'result__) * 'acc__8) -> 'acc__0 -> (constraint_ -> 'result__) * 'acc__8
val to_rank : constraint_ -> Base.int
val to_name : constraint_ -> Base.string
val descriptions : (Base.string * Base.int) Base.list
OCaml

Innovation. Community. Security.