package prbnmcn-linalg

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Make.Infix`Source

Sourceval (~!) : 'i t -> 'i t k

Alias to the monadic return.

Sourceval (+) : 'i t k -> 'i t k -> 'i t k

Infix alias for add.

Sourceval (-) : 'i t k -> 'i t k -> 'i t k

Infix alias for sub.

Sourceval (*) : 'i t k -> 'i t k -> 'i t k

Infix alias for mul.

Sourceval (~-) : 'i t k -> 'i t k

Infix alias for neg.

Sourceval (%*) : elt m -> 'i t k -> 'i t k

Infix alias for smul.

Sourceval (<*>) : 'i t k -> 'i t k -> elt m k

Infix alias for dot.

Sourceval (.%{}) : 'i t k -> 'i m -> elt m k

Infix alias for get.

Sourceval (.%{}<-) : 'i out -> 'i m -> elt m -> unit m k

Infix alias for set.

val (:=) : 
  ('i shape, 'i m, 'a m, unit m) Intf.ovec ->
  ('i shape, 'i m, 'a m) Intf.vec k ->
  unit m k

Reexport of :=.