package
spire
Type Members
-
trait
Empty extends AnyRef
-
-
-
-
-
trait
IsomorphicAdditiveSemigroup[A, B] extends AdditiveSemigroup[A] with Isomorphic[AdditiveSemigroup, A, B]
-
trait
IsomorphicGroup[A, B] extends IsomorphicMonoid[A, B] with Group[A] with Isomorphic[Group, A, B]
-
trait
IsomorphicMonoid[A, B] extends IsomorphicSemigroup[A, B] with Monoid[A] with Isomorphic[Monoid, A, B]
-
-
-
-
trait
IsomorphicMultiplicativeSemigroup[A, B] extends MultiplicativeSemigroup[A] with Isomorphic[MultiplicativeSemigroup, A, B]
-
trait
IsomorphicSemigroup[A, B] extends Semigroup[A] with Isomorphic[Semigroup, A, B]
-
trait
ProductAbGroup[F, T <: HList] extends ProductGroup[F, T] with AbGroup[::[F, T]]
-
-
trait
ProductAdditiveGroup[F, T <: HList] extends ProductAdditiveMonoid[F, T] with AdditiveGroup[::[F, T]] with Product[AdditiveGroup, F, T]
-
trait
ProductAdditiveMonoid[F, T <: HList] extends ProductAdditiveSemigroup[F, T] with AdditiveMonoid[::[F, T]] with Product[AdditiveMonoid, F, T]
-
trait
ProductAdditiveSemigroup[F, T <: HList] extends AdditiveSemigroup[::[F, T]] with Product[AdditiveSemigroup, F, T]
-
trait
ProductEq[F, T <: HList] extends Eq[::[F, T]] with Product[Eq, F, T]
-
trait
ProductGroup[F, T <: HList] extends ProductMonoid[F, T] with Group[::[F, T]] with Product[Group, F, T]
-
trait
ProductMonoid[F, T <: HList] extends ProductSemigroup[F, T] with Monoid[::[F, T]] with Product[Monoid, F, T]
-
-
trait
ProductMultiplicativeGroup[F, T <: HList] extends ProductMultiplicativeMonoid[F, T] with MultiplicativeGroup[::[F, T]] with Product[MultiplicativeGroup, F, T]
-
-
trait
ProductMultiplicativeSemigroup[F, T <: HList] extends MultiplicativeSemigroup[::[F, T]] with Product[MultiplicativeSemigroup, F, T]
-
trait
ProductOrder[F, T <: HList] extends ProductEq[F, T] with Order[::[F, T]] with Product[Order, F, T]
-
trait
ProductSemigroup[F, T <: HList] extends Semigroup[::[F, T]] with Product[Semigroup, F, T]
Value Members
-
object
AbGroupDerivedOrphans extends ProductTypeClassCompanion[AbGroup]
-
-
object
AdditiveGroupDerivedOrphans extends ProductTypeClassCompanion[AdditiveGroup]
-
object
AdditiveMonoidDerivedOrphans extends ProductTypeClassCompanion[AdditiveMonoid]
-
-
object
EqDerivedOrphans extends ProductTypeClassCompanion[Eq]
-
object
GroupDerivedOrphans extends ProductTypeClassCompanion[Group]
-
object
MonoidDerivedOrphans extends ProductTypeClassCompanion[Monoid]
-
-
-
-
-
object
OrderDerivedOrphans extends ProductTypeClassCompanion[Order]
-
object
SemigroupDerivedOrphans extends ProductTypeClassCompanion[Semigroup]
-
implicit
def
deriveAbGroup[T](implicit orphan: Orphan[AbGroup, AbGroupDerivedOrphans.type, T]): AbGroup[T]
-
implicit
def
deriveAdditiveAbGroup[T](implicit orphan: Orphan[AdditiveAbGroup, AdditiveAbGroupDerivedOrphans.type, T]): AdditiveAbGroup[T]
-
implicit
def
deriveAdditiveGroup[T](implicit orphan: Orphan[AdditiveGroup, AdditiveGroupDerivedOrphans.type, T]): AdditiveGroup[T]
-
implicit
def
deriveAdditiveMonoid[T](implicit orphan: Orphan[AdditiveMonoid, AdditiveMonoidDerivedOrphans.type, T]): AdditiveMonoid[T]
-
implicit
def
deriveAdditiveSemigroup[T](implicit orphan: Orphan[AdditiveSemigroup, AdditiveSemigroupDerivedOrphans.type, T]): AdditiveSemigroup[T]
-
implicit
def
deriveEq[T](implicit orphan: Orphan[Eq, EqDerivedOrphans.type, T]): Eq[T]
-
implicit
def
deriveGroup[T](implicit orphan: Orphan[Group, GroupDerivedOrphans.type, T]): Group[T]
-
implicit
def
deriveMonoid[T](implicit orphan: Orphan[Monoid, MonoidDerivedOrphans.type, T]): Monoid[T]
-
implicit
def
deriveMultiplicativeAbGroup[T](implicit orphan: Orphan[MultiplicativeAbGroup, MultiplicativeAbGroupDerivedOrphans.type, T]): MultiplicativeAbGroup[T]
-
implicit
def
deriveMultiplicativeGroup[T](implicit orphan: Orphan[MultiplicativeGroup, MultiplicativeGroupDerivedOrphans.type, T]): MultiplicativeGroup[T]
-
implicit
def
deriveMultiplicativeMonoid[T](implicit orphan: Orphan[MultiplicativeMonoid, MultiplicativeMonoidDerivedOrphans.type, T]): MultiplicativeMonoid[T]
-
implicit
def
deriveMultiplicativeSemigroup[T](implicit orphan: Orphan[MultiplicativeSemigroup, MultiplicativeSemigroupDerivedOrphans.type, T]): MultiplicativeSemigroup[T]
-
implicit
def
deriveOrder[T](implicit orphan: Orphan[Order, OrderDerivedOrphans.type, T]): Order[T]
-
implicit
def
deriveSemigroup[T](implicit orphan: Orphan[Semigroup, SemigroupDerivedOrphans.type, T]): Semigroup[T]
Inherited from AnyRef
Inherited from Any