Packages

t

scalaz

IsomorphismInvariantFunctor

trait IsomorphismInvariantFunctor[F[_], G[_]] extends InvariantFunctor[F]

Source
Isomorphism.scala
Linear Supertypes
InvariantFunctor[F], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IsomorphismInvariantFunctor
  2. InvariantFunctor
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait InvariantFunctorLaw extends AnyRef
    Definition Classes
    InvariantFunctor

Abstract Value Members

  1. implicit abstract def G: InvariantFunctor[G]
  2. abstract def iso: Isomorphism.<~>[F, G]

Concrete Value Members

  1. def invariantFunctorLaw: InvariantFunctorLaw
    Definition Classes
    InvariantFunctor
  2. val invariantFunctorSyntax: InvariantFunctorSyntax[F]
    Definition Classes
    InvariantFunctor
  3. def xmap[A, B](ma: F[A], f: (A) ⇒ B, g: (B) ⇒ A): F[B]

    Converts ma to a value of type F[B] using the provided functions f and g.

    Converts ma to a value of type F[B] using the provided functions f and g.

    Definition Classes
    IsomorphismInvariantFunctor → InvariantFunctor
  4. 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.

    Definition Classes
    InvariantFunctor
  5. def xmapi[A, B](ma: F[A])(iso: Isomorphism.<=>[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.

    Definition Classes
    InvariantFunctor