úÎ!±`      Safe-InferedType 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 . 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. 7Vector whose components are additive is also additive. 8the last component contributes the most to the ordering % #the axis of the component you want the target vector !the component, obtained within a  monad  !"#$%&'()*+,     !"#$%&'()*+, Safe-Infered7The 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. -      !"#$%&'()*+,-./0typelevel-tensor-0.1.0.4Data.Tensor.TypeLevelData.Tensor.TypeLevel.AxisVec4Vec3Vec2Vec1Vec0 VectorRing unitVectorF unitVectorVector componentF component dimensioncomposeAxis axisIndex:~Vec!contractnextprevallallFromothersnumeric-prelude-0.3.0.1 Algebra.RingC failure-0.1.2Control.FailureFailure$fCVec$fOrd:~$fVectorRing:~a$fVectorRingVeca$fC:~ $fVector:~ $fVectorVec$fApplicative:~$fTraversable:~ $fFunctor:~ $fFoldable:~$fApplicativeVec$fTraversableVec $fFunctorVec $fFoldableVec