core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/smithy4s.capability/Invariant

Invariant

smithy4s.capability.Invariant
See theInvariant companion object
trait Invariant[F[_]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Abstract methods

def imap[A, B](fa: F[A])(to: A => B, from: B => A): F[B]
def xmap[A, B](fa: F[A])(to: A => Either[ConstraintError, B], from: B => A): F[B]

Concrete methods

final def biject[A, B](fa: F[A])(bijection: Bijection[A, B]): F[B]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL