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 `Tensor.Int`Source

Sourcetype 'a k = 'a BL.Codegen.t

Sourcetype 'a m = 'a BL.Empty.m

Sourcetype pos = BL.Int.t

type 'a t =
  'a
    Make(BL.Empty)(BL.Codegen)(BL.Bool)(BL.Int)(BL.Int)(BL.Loop)(BL.Product)(BL.Exn)(BL.Sequencing).t

Sourceval mem : 'a t -> 'a m -> bool m

Sourceval pos_equal : 'a t -> 'a m -> 'a m -> bool m

Sourceval equal : 'a t -> 'a t -> bool m

Sourcemodule type Storage = sig ... end

Sourcetype !'elt storage = (module Storage with type elt = 'elt)

Sourceval iter : ('a m -> unit m) -> 'a t -> unit m

val fold : 
  'acc storage ->
  ('a m -> 'acc m -> 'acc m) ->
  'a t ->
  'acc m ->
  'acc m

Sourcemodule Path : sig ... end

Sourceval proj : 'a t -> 'a Path.t -> pos t

Sourceval rank_one : pos m -> pos t

Sourceval rank_two : pos m -> pos m -> (pos * pos) t

Sourceval scalar : pos t

Sourceval empty : pos t

Sourceval dim : 'a t -> 'a Path.t -> pos m

Sourceval numel : 'a t -> pos m

Sourceval tensor : 'a t -> 'b t -> ('a * 'b) t

Sourceval concat : 'a t -> 'a t -> 'a Path.t -> 'a t k

Sourceval fst : ('a * 'b) t -> 'a t

Sourceval snd : ('a * 'b) t -> 'b t

Sourcemodule Morphism : sig ... end