algebra

Type Members

1. trait Aggregatable[F, A, B] extends AnyRef

   

   Annotations

   @implicitNotFound( ... )

2. type AggregatableK1[M[_], A, B] = Aggregatable[M[A], A, B]

   

3. trait ArrayFrom[C, A] extends AnyRef

   

   Annotations

   @implicitNotFound( ... )

4. trait Bijection[A, B] extends (A) ⇒ B

   

   Annotations

   @implicitNotFound( ... )

5. case class BijectiveIdentity[N]() extends Bijection[N, N] with Product with Serializable

   

6. trait DirectedGraph[DG, V, E] extends AnyRef

   

   Annotations

   @implicitNotFound( ... )

7. case class DistanceMatrix[T, F, M](vectors: F)(implicit space: MetricSpace[T, Double], la: LinearAlgebra[M, Int, Int, Double], index: Indexed[F, Int, T], finite: Finite[F, Int]) extends Product with Serializable

   

8. trait Endofunctor[E, T] extends AnyRef

   

   Annotations

   @implicitNotFound( ... )

9. trait Finite[C, S] extends AnyRef

   

   Annotations

   @implicitNotFound( ... )

10. type FiniteK1[M[_], N, I] = Finite[M[N], I]

    

11. trait FoldLeft[F[_]] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

12. trait FromStream[S, A] extends AnyRef

    

13. trait FunctionPair[A, B] extends AnyRef

    

    A FunctionPair is not necessarily a bijection, but it could be.

    A FunctionPair is not necessarily a bijection, but it could be.

    Annotations

    @implicitNotFound( ... )

14. trait Functor[F, A, B, G] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

15. type FunctorK1[M[_], A, B] = Functor[M[A], A, B, M[B]]

    

16. case class GeoCoordinates[N](latitude: UnittedQuantity[Angle, N], longitude: UnittedQuantity[Angle, N]) extends Product with Serializable

    

17. trait Indexed[C, I, A] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

18. type IndexedK1[M[_], I, N] = Indexed[M[N], I, N]

    

19. trait LengthSpace[V, R, P] extends MetricSpace[V, R]

    

    http://en.wikipedia.org/wiki/Intrinsic_metric

    http://en.wikipedia.org/wiki/Intrinsic_metric

    Annotations

    @implicitNotFound( ... )

20. trait LinearAlgebra[M, R, C, T] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

21. trait MapFrom[C, K, V] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

22. trait MapReducible[M, A, B, K, G] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

23. trait Plottable[T] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

24. trait Position3D[X, Y, Z, P] extends AnyRef

    

25. trait Position3DSpace[N, P] extends Position3D[UnittedQuantity[Distance, N], UnittedQuantity[Distance, N], UnittedQuantity[Distance, N], P]

    

26. trait Reducible[R, A] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

27. case class Scale[N, M](factor: M)(implicit evidence$1: Field[M], module: Module[N, M]) extends Bijection[N, N] with Product with Serializable

    

28. case class Scale10s[N](exp: Int)(implicit evidence$2: Field[N]) extends Bijection[N, N] with Product with Serializable

    

29. case class Scale2s[N](exp: Int)(implicit evidence$3: Field[N]) extends Bijection[N, N] with Product with Serializable

    

30. trait Scanner[S, A, B, T] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

31. trait SetFrom[C, A] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

32. case class SphericalVector[N](ρ: UnittedQuantity[Distance, N], θ: UnittedQuantity[Angle, N], φ: UnittedQuantity[Angle, N]) extends Product with Serializable

    

    Uses the physics conventions instead of mathematical conventions.

    Uses the physics conventions instead of mathematical conventions.

    http://en.wikipedia.org/wiki/Spherical_coordinate_system

33. trait Talliable[F, A, N] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

34. trait Tics[T] extends AnyRef

    

    Annotations

    @implicitNotFound( "Witness not found for Tics[${T}]" )

35. case class Transform[N](u: N)(implicit group: AbGroup[N]) extends Bijection[N, N] with Product with Serializable

    

36. trait UndirectedGraph[UG, V, E] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

37. trait Vec[V[_]] extends AnyRef

    

    Vec is the Vector typeclass

    Vec is the Vector typeclass

    Annotations

    @implicitNotFound( "Witness not found for Vec[${V}]" )

38. trait Zero[T] extends AnyRef

    

    Zero

    Zero

    ∅

    Annotations

    @implicitNotFound( "Witness not found for Zero[${T}]" )

39. trait Zipper[X, A, Y, B, Z] extends AnyRef

    

40. type ZipperK1[M[_], A, B] = Zipper[M[A], A, M[B], B, M[(A, B)]]