smithy4s.capability

Type members

Classlikes

trait Contravariant[F[_]]
Companion:
object
Companion:
class
trait Covariant[F[_]]
Companion:
object
object Covariant
Companion:
class
trait EncoderK[F[_], Result] extends Contravariant[F]

A typeclass abstracting over the notion of encoder.

A typeclass abstracting over the notion of encoder.

Useful in particular when encoding unions

Companion:
object
object EncoderK
Companion:
class
trait Invariant[F[_]]
Companion:
object
object Invariant
Companion:
class
trait Isomorphism[A, B]