FutureIsMultiplicativeIdentity

com.alecdorrington.scalgebra.evidence.future.FutureIsMultiplicativeIdentity

Evidence that Future has a multiplicative identity when its result type has a MultiplicativeIdentity instance.

one is an already-completed future wrapping MultiplicativeIdentity.one.

Attributes

Experimental
true
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Givens

Givens

given given_MultiplicativeIdentity_Future[X](using X: MultiplicativeIdentity[X]): given_MultiplicativeIdentity_Future[X]