Scalgebra
API
Generated with
Scalgebra/com.alecdorrington.scalgebra/com.alecdorrington.scalgebra.evidence/com.alecdorrington.scalgebra.evidence.future/FutureIsEuclideanMonoid

FutureIsEuclideanMonoid

com.alecdorrington.scalgebra.evidence.future.FutureIsEuclideanMonoid
trait FutureIsEuclideanMonoid

Evidence that Future forms an EuclideanMonoid under pointwise multiplication and division, provided the result type has an EuclideanMonoid instance.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root

Members list

Givens

Givens

given given_EuclideanMonoid_Future[X](using X: EuclideanMonoid[X], x$1: ExecutionContext): given_EuclideanMonoid_Future[X]
Generated with