úÎ%:!Ë-      !"#$%&'()*+, Safe-Infered 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 .. 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. Utility functions /7Vector whose components are additive is also additive. 08the last component contributes the most to the ordering ; #the axis of the component you want the target vector !the component, obtained within a . monad  !"#$%&1234/56789:;<=>0?@AB'  !"#$%&'   !"#$%&1   !"#$%&1234/56789:;<=>0?@AB Safe-Infered'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. '()*+,'()*+,'()*+,'()*+,C      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFtypelevel-tensor-0.1.1Data.Tensor.TypeLevelData.Tensor.TypeLevel.AxisVec10Vec9Vec8Vec7Vec6Vec5Vec4Vec3Vec2Vec1Vec0 VectorRing unitVectorF unitVectorVector componentF component dimensioncomposeAxis axisIndex:~Vec!contractvec0vec1vec2vec3vec4vec5vec6vec7vec8vec9vec10nextprevallallFromothersnumeric-prelude-0.3.0.2 Algebra.RingC failure-0.1.2Control.FailureFailure$fCVec$fOrd:~$fNum:~$fVectorRing:~a$fVectorRingVeca$fC:~ $fVector:~ $fVectorVec$fApplicative:~$fTraversable:~ $fFunctor:~ $fFoldable:~$fApplicativeVec$fTraversableVec $fFunctorVec $fFoldableVec$fRead:~ $fReadVec$fShow:~ $fShowVec