úÎ%)!­-      !"#$%&'()*+,None 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. :Get a component within f, a context which allows failure. 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. /8the last component contributes the most to the ordering = #the axis of the component you want the target vector )the component, obtained within a failure  !"#$%&0123.456789:;<=/>?@ABC'  !"#$%&'   !"#$%&3   !"#$%&0123.456789:;<=/>?@ABCNone'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. '()*+,'()*+,'()*+,'()*+,D      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEtypelevel-tensor-0.2.1Data.Tensor.TypeLevelData.Tensor.TypeLevel.AxisVec10Vec9Vec8Vec7Vec6Vec5Vec4Vec3Vec2Vec1Vec0 VectorRing unitVectorF unitVectorVector componentF component dimensioncomposeAxis axisIndex:~Vec!contractvec0vec1vec2vec3vec4vec5vec6vec7vec8vec9vec10nextprevallallFromothersnumeric-prelude-0.3.0.2 Algebra.RingC$fCVec$fOrd:~$fNum:~$fVectorRing:~a$fVectorRingVeca$fC:~ $fVector:~ $fVectorVec$fApplicative:~$fTraversable:~ $fFunctor:~ $fFoldable:~$fApplicativeVec$fTraversableVec $fFunctorVec $fFoldableVec $fArbitrary:~$fArbitraryVec$fRead:~ $fReadVec$fShow:~ $fShowVec