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

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

Sourceval underlying : ('a, 'b) t -> 'a m -> 'b m

Sourceval domain : ('a, 'b) t -> 'a t

Sourceval range : ('a, 'b) t -> 'b t

Sourceval identity : 'a t -> ('a, 'a) t

Sourceval compose : ('a, 'b) t -> ('b, 'c) t -> ('a, 'c) t

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

Sourceval pullback_at_path : (pos, pos) t -> 'a Path.t -> 'a t -> ('a, 'a) t k

Sourceval pullback_pointwise : (pos, pos) t -> 'a t -> ('a, 'a) t k

Sourceval sub : ofs:pos m -> pos t -> pos t -> (pos, pos) t k