given_Applicative_LinCheck

libretto.lambda.Lambdas.LinCheck$.given_Applicative_LinCheck$

Attributes

Graph
Supertypes
trait Zippable[Tuple2, LinCheck]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def ap[A, B](ff: LinCheck[A => B])(fa: LinCheck[A]): LinCheck[B]

Attributes

Definition Classes
override def pure[A](a: A): LinCheck[A]

Attributes

Definition Classes

Inherited methods

def map[A, B](fa: LinCheck[A], f: A => B): F[B]

Attributes

Inherited from:
Applicative
def map2[A, B, R](fa: LinCheck[A], fb: LinCheck[B])(f: (A, B) => R): F[R]

Attributes

Inherited from:
Applicative
def mapN[A, B, C, R](fa: LinCheck[A], fb: LinCheck[B], fc: LinCheck[C])(f: (A, B, C) => R): F[R]

Attributes

Inherited from:
Applicative
def zip[A, B](fa: LinCheck[A], fb: LinCheck[B]): F[(A, B)]

Attributes

Inherited from:
Applicative

Extensions

Inherited extensions

extension [A](fa: F[A])(fa: LinCheck[A])
def map[B](f: A => B): F[B]

Attributes

Inherited from:
Applicative