package phantom-algebra

You can search for identifiers within the package.

in-package search v0.2.0

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

type +'a dim

Pattern matching over dimension or rank

type +'a rank

val rank_match : 
  [< `zero of 'a & 'r | `one of 'b & 'r | `two of 'c & 'r ] rank ->
  (_ Type_functions.z rank -> 'a) ->
  (_ Type_functions.one rank -> 'b) ->
  (_ Type_functions.two rank -> 'c) ->
  'r

val dim_match : 
  [< `one of 'a & 'r | `two of 'b & 'r | `three of 'c & 'r | `four of 'd & 'r ]
    dim ->
  (_ Type_functions.one dim -> 'a) ->
  (_ Type_functions.two dim -> 'b) ->
  (_ Type_functions.three dim -> 'c) ->
  (_ Type_functions.four dim -> 'd) ->
  'r