IsomorphismAlign

trait IsomorphismAlign[F[_], G[_]] extends Align[F] with IsomorphismFunctor[F, G]
trait Align[F]
trait Functor[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait AlignLaw
Inherited from
Align
Inherited from
Functor

Value members

Concrete methods

override
def alignWith[A, B, C](f: A \&/ B => C): (F[A], F[B]) => F[C]
Definition Classes

Inherited methods

def align[A, B](a: F[A], b: F[B]): F[A \&/ B]
Inherited from
Align
def alignA[A, B](a: F[A], b: F[B]): F[Option[A]]
Inherited from
Align
def alignB[A, B](a: F[A], b: F[B]): F[Option[B]]
Inherited from
Align
def alignBoth[A, B](a: F[A], b: F[B]): F[Option[(A, B)]]
Inherited from
Align
Inherited from
Align
def alignSwap[A, B](a: F[A], b: F[B]): F[B \&/ A]
Inherited from
Align
def alignThat[A, B](a: F[A], b: F[B]): F[Option[B]]
Inherited from
Align
def alignThis[A, B](a: F[A], b: F[B]): F[Option[A]]
Inherited from
Align
def apply[A, B](fa: F[A])(f: A => B): F[B]

Alias for map.

Alias for map.

Inherited from
Functor
def bicompose[G[_, _] : Bifunctor]: Bifunctor[[α, β] =>> F[G[α, β]]]

The composition of Functor F and Bifunctor G, [x, y]F[G[x, y]], is a Bifunctor

The composition of Functor F and Bifunctor G, [x, y]F[G[x, y]], is a Bifunctor

Inherited from
Functor
def compose[G[_]](implicit G0: Functor[G]): Functor[[α] =>> F[G[α]]]

The composition of Functors F and G, [x]F[G[x]], is a Functor

The composition of Functors F and G, [x]F[G[x]], is a Functor

Inherited from
Functor
def counzip[A, B](a: F[A] \/ F[B]): F[A \/ B]
Inherited from
Functor
def fpair[A](fa: F[A]): F[(A, A)]

Twin all As in fa.

Twin all As in fa.

Inherited from
Functor
def fproduct[A, B](fa: F[A])(f: A => B): F[(A, B)]

Pair all As in fa with the result of function application.

Pair all As in fa with the result of function application.

Inherited from
Functor
Inherited from
Functor
def icompose[G[_]](implicit G0: Contravariant[G]): Contravariant[[α] =>> F[G[α]]]

The composition of Functor F and Contravariant G, [x]F[G[x]], is contravariant.

The composition of Functor F and Contravariant G, [x]F[G[x]], is contravariant.

Inherited from
Functor
def iso: IsoFunctor[F, G]
Inherited from
IsomorphismFunctor
def lift[A, B](f: A => B): F[A] => F[B]

Lift f into F.

Lift f into F.

Inherited from
Functor
override
def map[A, B](fa: F[A])(f: A => B): F[B]
Definition Classes
Inherited from
IsomorphismFunctor
def mapply[A, B](a: A)(f: F[A => B]): F[B]

Lift apply(a), and apply the result to f.

Lift apply(a), and apply the result to f.

Inherited from
Functor
def merge[A](a1: F[A], a2: F[A])(implicit S: Semigroup[A]): F[A]
Inherited from
Align
def pad[A, B]: (F[A], F[B]) => F[(Option[A], Option[B])]
Inherited from
Align
def padWith[A, B, C](f: (Option[A], Option[B]) => C): (F[A], F[B]) => F[C]
Inherited from
Align
def product[G[_]](implicit G0: Functor[G]): Functor[[α] =>> (F[α], G[α])]

The product of Functors F and G, [x](F[x], G[x]]), is a Functor

The product of Functors F and G, [x](F[x], G[x]]), is a Functor

Inherited from
Functor
def product[G[_]](implicit G0: Align[G]): Align[[α] =>> (F[α], G[α])]
Inherited from
Align
def strengthL[A, B](a: A, f: F[B]): F[(A, B)]

Inject a to the left of Bs in f.

Inject a to the left of Bs in f.

Inherited from
Functor
def strengthR[A, B](f: F[A], b: B): F[(A, B)]

Inject b to the right of As in f.

Inject b to the right of As in f.

Inherited from
Functor
def void[A](fa: F[A]): F[Unit]

Empty fa of meaningful pure values, preserving its structure.

Empty fa of meaningful pure values, preserving its structure.

Inherited from
Functor
def widen[A, B](fa: F[A])(implicit ev: Liskov[A, B]): F[B]

Functors are covariant by nature, so we can treat an F[A] as an F[B] if A is a subtype of B.

Functors are covariant by nature, so we can treat an F[A] as an F[B] if A is a subtype of B.

Inherited from
Functor
override
def xmap[A, B](ma: F[A], f: A => B, g: B => A): F[B]
def xmapb[A, B](ma: F[A])(b: Bijection[A, B]): F[B]

Converts ma to a value of type F[B] using the provided bijection.

Converts ma to a value of type F[B] using the provided bijection.

Inherited from
InvariantFunctor
def xmapi[A, B](ma: F[A])(iso: IsoSet[A, B]): F[B]

Converts ma to a value of type F[B] using the provided isomorphism.

Converts ma to a value of type F[B] using the provided isomorphism.

Inherited from
InvariantFunctor

Inherited fields

Inherited from
Align
Inherited from
Functor

Implicits

Implicits

implicit
def G: Align[G]