package phantom-algebra

You can search for identifiers within the package.

in-package search v0.2.0

package phantom-algebra

phantom-algebra
- Phantom_algebra
  - Core
    
    Rank
  - Flat_array
  - Interface
    
    Basic
    
    Cloning
    
    Core
    
    Dim
    
    Index
    
    Indexing
    
    Matching
    
    Rank
    
    S
    
    Rank
  - Math
  - Type_functions

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Core : sig ... end

module Flat_array : sig ... end

module Interface : sig ... end

Phantom algebra interfaces

module Math : sig ... end

Usual mathematical operations extended to tensors

module Type_functions : sig ... end

Type-level functions