core/spire.syntax

spire.syntax

package spire.syntax

Type members

Classlikes

trait ActionSyntax
final class AdditiveGroupOps[A](lhs: A)(using ev: AdditiveGroup[A])
trait AdditiveGroupSyntax extends AdditiveMonoidSyntax
final class AdditiveMonoidOps[A](lhs: A)(using ev: AdditiveMonoid[A])
trait AdditiveMonoidSyntax extends AdditiveSemigroupSyntax
final class AdditiveSemigroupOps[A](lhs: A)(using ev: AdditiveSemigroup[A])
trait AdditiveSemigroupSyntax
trait AllButCatsSyntax extends LiteralsSyntax with CforSyntax with SignedSyntax with TruncatedDivisionSyntax with InvolutionSyntax with IsRealSyntax with ConvertableFromSyntax with SemigroupoidSyntax with GroupoidSyntax with AdditiveSemigroupSyntax with AdditiveMonoidSyntax with AdditiveGroupSyntax with MultiplicativeSemigroupSyntax with MultiplicativeMonoidSyntax with MultiplicativeGroupSyntax with SemiringSyntax with RigSyntax with RngSyntax with RingSyntax with GCDRingSyntax with EuclideanRingSyntax with FieldSyntax with NRootSyntax with TrigSyntax with IntervalSyntax with LeftModuleSyntax with RightModuleSyntax with CModuleSyntax with VectorSpaceSyntax with NormedVectorSpaceSyntax with InnerProductSpaceSyntax with CoordinateSpaceSyntax with LatticeSyntax with LogicSyntax with HeytingSyntax with BoolSyntax with BitStringSyntax with PartialActionSyntax with ActionSyntax with TorsorSyntax with IntegralSyntax with FractionalSyntax with NumericSyntax with IntSyntax with LongSyntax with DoubleSyntax with BigIntSyntax with ArraySyntax with SeqSyntax
trait AllSyntax extends AllButCatsSyntax with EqSyntax with PartialOrderSyntax with OrderSyntax with SemigroupSyntax with MonoidSyntax with GroupSyntax
final class BitStringOps[A](lhs: A)(using ev: BitString[A])
trait BitStringSyntax
final class BoolOps[A](lhs: A)(implicit evidence$1: Bool[A], ev: Bool[A])
trait BoolSyntax extends HeytingSyntax
trait CModuleSyntax extends LeftModuleSyntax with RightModuleSyntax
trait CforSyntax
trait ConvertableFromSyntax
final class CoordinateSpaceOps[V](v: V) extends AnyVal
trait CoordinateSpaceSyntax extends InnerProductSpaceSyntax
final class EqOps[A](lhs: A)(using ev: Eq[A])
trait EqSyntax
final class EuclideanRingOps[A](lhs: A)(using ev: EuclideanRing[A])
trait EuclideanRingSyntax extends GCDRingSyntax
trait FieldSyntax extends EuclideanRingSyntax with MultiplicativeGroupSyntax
trait FractionalSyntax extends FieldSyntax with NRootSyntax with ConvertableFromSyntax with OrderSyntax with SignedSyntax
final class GCDRingOps[A](lhs: A)(using ev: GCDRing[A])
trait GCDRingSyntax extends RingSyntax
final class GroupOps[A](lhs: A)(using ev: Group[A])
trait GroupSyntax extends MonoidSyntax
final class GroupoidCommonOps[A](lhs: A)(implicit ev: Groupoid[A])
final class GroupoidOps[A](lhs: A)(using ev: Groupoid[A])
trait GroupoidSyntax extends SemigroupoidSyntax
final class HeytingOps[A](lhs: A)(using ev: Heyting[A])
trait HeytingSyntax
final class InnerProductSpaceOps[V](lhs: V) extends AnyVal
trait InnerProductSpaceSyntax extends VectorSpaceSyntax
trait IntegralSyntax extends EuclideanRingSyntax with ConvertableFromSyntax with OrderSyntax with SignedSyntax
final class IntervalPointOps[A](lhs: A)(using o: Order[A], ev: AdditiveGroup[A])
trait IntervalSyntax
final class InvolutionOps[A](lhs: A)(using ev: Involution[A])
trait InvolutionSyntax
final class IsRealOps[A](lhs: A)(using is: IsReal[A])
trait IsRealSyntax extends SignedSyntax
final class JoinOps[A](lhs: A)(using ev: JoinSemilattice[A])
trait LatticeSyntax
final class LeftActionOps[G](lhs: G) extends AnyVal
final class LeftModuleOps[V](x: V) extends AnyVal
trait LeftModuleSyntax extends RingSyntax
final class LeftPartialActionOps[G](lhs: G) extends AnyVal
final class LiteralDoubleAdditiveGroupOps(val lhs: Double) extends AnyVal
final class LiteralDoubleAdditiveSemigroupOps(val lhs: Double) extends AnyVal
final class LiteralDoubleEuclideanRingOps(val lhs: Double) extends AnyVal
final class LiteralDoubleMultiplicativeGroupOps(val lhs: Double) extends AnyVal
final class LiteralDoubleMultiplicativeSemigroupOps(val lhs: Double) extends AnyVal
final class LiteralDoubleOrderOps(val lhs: Double) extends AnyVal
final class LiteralDoubleTruncatedDivisionOps(val lhs: Double) extends AnyVal
final class LiteralIntAdditiveGroupOps(val lhs: Int) extends AnyVal
final class LiteralIntAdditiveSemigroupOps(val lhs: Int) extends AnyVal
final class LiteralIntEuclideanRingOps(val lhs: Int) extends AnyVal
final class LiteralIntMultiplicativeGroupOps(val lhs: Int) extends AnyVal
final class LiteralIntMultiplicativeSemigroupOps(val lhs: Int) extends AnyVal
final class LiteralIntOrderOps(val lhs: Int) extends AnyVal
final class LiteralIntTruncatedDivisionOps(val lhs: Int) extends AnyVal
final class LiteralLongAdditiveGroupOps(val lhs: Long) extends AnyVal
final class LiteralLongAdditiveSemigroupOps(val lhs: Long) extends AnyVal
final class LiteralLongEuclideanRingOps(val lhs: Long) extends AnyVal
final class LiteralLongMultiplicativeGroupOps(val lhs: Long) extends AnyVal
final class LiteralLongMultiplicativeSemigroupOps(val lhs: Long) extends AnyVal
final class LiteralLongOrderOps(val lhs: Long) extends AnyVal
final class LiteralLongTruncatedDivisionOps(val lhs: Long) extends AnyVal
trait LiteralsSyntax
final class LogicOps[A](lhs: A)(using ev: Logic[A])
trait LogicSyntax
final class MeetOps[A](lhs: A)(using ev: MeetSemilattice[A])
final class MetricSpaceOps[V](lhs: V) extends AnyVal
trait MetricSpaceSyntax extends VectorSpaceSyntax
final class MonoidOps[A](lhs: A)(using ev: Monoid[A])
trait MonoidSyntax extends SemigroupSyntax
final class MultiplicativeGroupOps[A](lhs: A)(using ev: MultiplicativeGroup[A])
trait MultiplicativeGroupSyntax extends MultiplicativeMonoidSyntax
final class MultiplicativeMonoidOps[A](lhs: A)(using ev: MultiplicativeMonoid[A])
trait MultiplicativeMonoidSyntax extends MultiplicativeSemigroupSyntax
final class MultiplicativeSemigroupOps[A](lhs: A)(using ev: MultiplicativeSemigroup[A])
trait MultiplicativeSemigroupSyntax
final class NRootOps[A](lhs: A)(using ev: NRoot[A])
trait NRootSyntax
final class NormedVectorSpaceOps[V](lhs: V) extends AnyVal
trait NormedVectorSpaceSyntax extends MetricSpaceSyntax
trait NumericSyntax extends FieldSyntax with NRootSyntax with ConvertableFromSyntax with OrderSyntax with SignedSyntax
final class OrderOps[A](lhs: A)(using o: Order[A])
trait OrderSyntax extends PartialOrderSyntax
trait PartialActionSyntax
final class PartialOrderOps[A](lhs: A)(using ev: PartialOrder[A])
trait PartialOrderSyntax extends EqSyntax
trait RigSyntax extends SemiringSyntax
final class RightActionOps[P](lhs: P) extends AnyVal
final class RightModuleOps[V](x: V) extends AnyVal
trait RightModuleSyntax extends RingSyntax
final class RightPartialActionOps[P](lhs: P) extends AnyVal
trait RingSyntax extends RngSyntax with RigSyntax
trait RngSyntax extends SemiringSyntax with AdditiveGroupSyntax
final class SemigroupOps[A](lhs: A)(using ev: Semigroup[A])
trait SemigroupSyntax
final class SemigroupoidOps[A](lhs: A)(using ev: Semigroupoid[A])
trait SemigroupoidSyntax
final class SemiringOps[A](lhs: A)(using ev: Semiring[A])
trait SemiringSyntax extends AdditiveSemigroupSyntax with MultiplicativeSemigroupSyntax
final class SignedOps[A](a: A)(using s: Signed[A])
trait SignedSyntax extends OrderSyntax
final class TorsorPointOps[P](lhs: P) extends AnyVal
trait TorsorSyntax
final class TrigOps[A](lhs: A)(implicit ev: Trig[A])
trait TrigSyntax
final class TruncatedDivisionOps[A](lhs: A)(using ev: TruncatedDivision[A])
trait TruncatedDivisionSyntax extends SignedSyntax
final class VectorSpaceOps[V](x: V) extends AnyVal
trait VectorSpaceSyntax extends CModuleSyntax with FieldSyntax
object action extends ActionSyntax
object additiveGroup extends AdditiveGroupSyntax
object additiveMonoid extends AdditiveMonoidSyntax
object additiveSemigroup extends AdditiveSemigroupSyntax
object all extends AllSyntax
object allButCats extends AllButCatsSyntax
object bitString extends BitStringSyntax
object bool extends BoolSyntax
object cModule extends CModuleSyntax
object cfor extends CforSyntax
object convertableFrom extends ConvertableFromSyntax
object coordinateSpace extends CoordinateSpaceSyntax
object eq extends EqSyntax
object euclideanRing extends EuclideanRingSyntax
object field extends FieldSyntax
object fractional extends FractionalSyntax
object gcdRing extends GCDRingSyntax
object group extends GroupSyntax
object groupoid extends GroupoidSyntax
object heyting extends HeytingSyntax
object innerProductSpace extends InnerProductSpaceSyntax
object integral extends IntegralSyntax
object interval extends IntervalSyntax
object involution extends InvolutionSyntax
object isReal extends IsRealSyntax
object lattice extends LatticeSyntax
object leftModule extends LeftModuleSyntax
object literals extends LiteralsSyntax
object logic extends LogicSyntax
object metricSpace extends MetricSpaceSyntax
object monoid extends MonoidSyntax
object multiplicativeGroup extends MultiplicativeGroupSyntax
object multiplicativeMonoid extends MultiplicativeMonoidSyntax
object multiplicativeSemigroup extends MultiplicativeSemigroupSyntax
object normedVectorSpace extends NormedVectorSpaceSyntax
object nroot extends NRootSyntax
object numeric extends NumericSyntax
object order extends OrderSyntax
object partialAction extends PartialActionSyntax
object partialOrder extends PartialOrderSyntax
object rig extends RigSyntax
object rightModule extends RightModuleSyntax
object ring extends RingSyntax
object rng extends RngSyntax
object semigroup extends SemigroupSyntax
object semigroupoid extends SemigroupoidSyntax
object semiring extends SemiringSyntax
object signed extends SignedSyntax
object torsor extends TorsorSyntax
object trig extends TrigSyntax
object truncatedDivision extends TruncatedDivisionSyntax
object vectorSpace extends VectorSpaceSyntax

Deprecated classlikes

trait UnboundSyntax
Deprecated
@deprecated("Unbound syntax will be removed", "spire 0.18.0")
object unbound extends UnboundSyntax
Deprecated