Affine

libretto.CoreDSL.Affine
See theAffine companion trait
object Affine

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Affine.type

Members list

Value members

Concrete methods

def apply[A](using ev: Affine[A]): Affine[A]
def from[A](f: A -⚬ One): Affine[A]

Givens

Givens

given affineEither[A, B](using A: Affine[A], B: Affine[B]): Affine[A |+| B]
given affineOne: Affine[One]
given affinePair[A, B](using A: Affine[A], B: Affine[B]): Affine[A |*| B]