Iso

org.typelevel.twiddles.Iso$
See theIso companion trait
object Iso

Companion for Iso.

Attributes

Companion:
trait
Source:
Iso.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Iso.type

Members list

Concise view

Value members

Concrete methods

def apply[A, B](implicit instance: Iso[A, B]): Iso[A, B]

Attributes

Source:
Iso.scala
def product[A <: Product](using m: ProductOf[A]): Iso[A, <none>]

Attributes

Source:
Iso.scala

Inherited methods

def instance[A, B](t: A => B)(f: B => A): Iso[A, B]

Attributes

Inherited from:
IsoLowPriority (hidden)
Source:
Iso.scala

Givens

Givens

given id[A]: Iso[A, A]

Identity iso.

Identity iso.

Attributes

Source:
Iso.scala
given productInstance[A <: Tuple, B <: Product](using m: ProductOf[B] { type MirroredElemTypes = A; }): Iso[A, B]

Attributes

Source:
Iso.scala
given singletonInstance[A, B <: Product](using m: ProductOf[B] { type MirroredElemTypes = A *: EmptyTuple; }): Iso[A, B]

Attributes

Source:
Iso.scala

Inherited givens

given inverse[A, B](using iso: Iso[A, B]): Iso[B, A]

Attributes

Inherited from:
IsoLowPriority (hidden)
Source:
Iso.scala
inline given productWithUnits[A <: Tuple, B <: Product](using m: ProductOf[B] { type MirroredElemTypes = DropUnits[A]; }): Iso[A, B]

Attributes

Inherited from:
IsoLowPriority (hidden)
Source:
Iso.scala