scalaz-core/scalaz/Isomorphisms/IsoFunctorTemplate

IsoFunctorTemplate

trait IsoFunctorTemplate[F[_], G[_]] extends IsoFunctor[F, G] with IsoFunctorTemplate0[F, G]

Convenience template trait to implement <~>

trait Iso2[[F[_], G[_]] =>> NaturalTransformation[F, G], F, G]
class Object
trait Matchable
class Any

Value members

Inherited methods

def flip: Iso2[[F[_], G[_]] =>> NaturalTransformation[F, G], G, F]
Inherited from
Iso2
def from[A](ga: G[A]): F[A]
Inherited from
IsoFunctorTemplate0
def from_[A](ga: G[A]): F[A]
Inherited from
IsoFunctorTemplate0
def to[A](fa: F[A]): G[A]
Inherited from
IsoFunctorTemplate0
def to_[A](fa: F[A]): G[A]
Inherited from
IsoFunctorTemplate0
def unlift[A](implicit FG: Liskov[NaturalTransformation[F, G], NaturalTransformation[F, G]], GF: Liskov[NaturalTransformation[G, F], NaturalTransformation[G, F]]): IsoSet[F[A], G[A]]
Inherited from
Iso2

Concrete fields

final override
val from: NaturalTransformation[G, F]
final override
val to: NaturalTransformation[F, G]