úÎ À      Type synonyms  is a  whose components belongs to ,  thus providing unit vectors. A vector where  +th component is unity but others are zero. -pure but unsafe version means of obtaining a  -An object that allows component-wise access. 1Get a component within f, a context which allows . #the axis of the component you want the target vector !the component, obtained within a  monad AGet a component. This computation may result in a runtime error,  though, as long as the  % is generated from library functions  such as  , there will be no error. The dimension of the vector.  Create a  from a function that maps  axis to components. An coordinate   , labeled by an integer. ? Axis also carries v, the container type for its corresponding @ vector. Therefore, An axis of one type can access only vectors . of a fixed dimension, but of arbitrary type. 9data constructor for constructing n+1-dimensional tensor  from n-dimensional tensor. +data constructor for 0-dimensional tensor. a component operator. Tensor contraction. Create a  from a function that maps 8 axis to component, then sums over the axis and returns a. !convert Failure to runtime error 7Vector whose components are additive is also additive. 8the last component contributes the most to the ordering     7The dimension of the vector space the axis belongs to. 'The next axis under the Law of Cycles. +The previous axis under the Law of Cycles. )All the axes belonging to the dimension. 8All the axes belonging to the dimension, ? starting from the argument and followed by the Law of Cycles. PAll the axes belonging to the dimension but the argument itself, 2 in the order of the Law of Cycles. !      !"#$typelevel-tensor-0.1Data.Tensor.TypeLevelData.Tensor.TypeLevel.AxisVec4Vec3Vec2Vec1Vec0 VectorRing unitVectorF unitVectorVector componentF component dimensioncomposeAxis axisIndex:~Vec!contractnextprevallallFromothersnumeric-prelude-0.2.2.1 Algebra.RingCfailure-0.1.0.1Control.FailureFailureunsafePerformFailure$fCVec$fOrd:~