Data.Tensor.TypeLevel.Axis

Documentation

dimension :: Vector v => Axis v -> Int

The dimension of the vector space the axis belongs to.

next :: Vector v => Axis v -> Axis v

The next axis under the Law of Cycles.

prev :: Vector v => Axis v -> Axis v

The previous axis under the Law of Cycles.

all :: Vector v => Axis v -> [Axis v]

All the axes belonging to the dimension.

allFrom :: Vector v => Axis v -> [Axis v]

All the axes belonging to the dimension, starting from the argument and followed by the Law of Cycles.

others :: Vector v => Axis v -> [Axis v]

All the axes belonging to the dimension but the argument itself, in the order of the Law of Cycles.