Liftable

it.unibo.distributedfrp.utils.Liftable$
See theLiftable companion trait
object Liftable

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def lift[A, B, C, F[_] : Liftable](a: F[A], b: F[B])(f: (A, B) => C): F[C]
def lift[A, B, C, D, F[_] : Liftable](a: F[A], b: F[B], c: F[C])(f: (A, B, C) => D): F[D]
def liftTwice[A, B, C, F1[_] : Liftable, F2[_] : Liftable](a: F1[F2[A]], b: F1[F2[B]])(f: (A, B) => C): F1[F2[C]]
def liftTwice[A, B, C, D, F1[_] : Liftable, F2[_] : Liftable](a: F1[F2[A]], b: F1[F2[B]], c: F1[F2[C]])(f: (A, B, C) => D): F1[F2[D]]

Extensions

Extensions

extension [A, F[_]](a: F[A])
def map[B](f: A => B): F[B]
extension [A, F1[_], F2[_]](a: F1[F2[A]])
def mapTwice[B](f: A => B): F1[F2[B]]