iw-support-ui
API
Generated with
iw-support-ui/works.iterative/works.iterative.ui/works.iterative.ui.model/Computable/given_Covariant_Computable

given_Covariant_Computable

works.iterative.ui.model.Computable.given_Covariant_Computable
object given_Covariant_Computable extends Covariant[Computable]

Attributes

Graph
Supertypes
trait Covariant[Computable]
trait Invariant[Computable]
trait CovariantSubset[Computable, AnyType]
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Concrete methods

def map[A, B](f: A => B): (Computable[A]) => Computable[B]

Lift a function from A to B to a function from F[A] to F[B].

Lift a function from A to B to a function from F[A] to F[B].

Attributes

Inherited methods

final def compose[G[_]](implicit g: Contravariant[G]): Contravariant[{ type lambda = [A] =>> Computable[G[A]]; }#<none>]

Compose covariant and contravariant functors.

Compose covariant and contravariant functors.

Attributes

Inherited from:
Covariant
final def compose[G[_]](implicit g: Covariant[G]): Covariant[{ type lambda = [A] =>> Computable[G[A]]; }#<none>]

Compose two covariant functors.

Compose two covariant functors.

Attributes

Inherited from:
Covariant
final def compose[G[_]](implicit g: Invariant[G]): Invariant[{ type lambda = [A] =>> Computable[G[A]]; }#<none>]

Compose two invariant functors.

Compose two invariant functors.

Attributes

Inherited from:
Invariant
def compositionLaw[A, B, C](fa: Computable[A], f: Equivalence[A, B], g: Equivalence[B, C])(implicit equal: Equal[Computable[C]]): Boolean

Attributes

Inherited from:
Invariant
def fproduct[A, B](f: A => B): (Computable[A]) => Computable[(A, B)]

Attributes

Inherited from:
Covariant
def fproductLeft[A, B](f: A => B): (Computable[A]) => Computable[(B, A)]

Attributes

Inherited from:
Covariant
def identityLaw1[A](fa: Computable[A])(implicit equal: Equal[Computable[A]]): Boolean

Attributes

Inherited from:
Invariant
final def invmap[A, B](f: Equivalence[A, B]): Equivalence[Computable[A], Computable[B]]

Attributes

Inherited from:
Covariant
final def mapSubset[A, B : AnyType](f: A => B): (Computable[A]) => Computable[B]

Attributes

Inherited from:
Covariant
Generated with