smithy4s.capability

Members list

Concise view

Type members

Classlikes

trait Contravariant[F[_]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait EncoderK[F, Result]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Covariant[F[_]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Covariant

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
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

Attributes

Companion:
object
Graph
Supertypes
trait Contravariant[F]
class Object
trait Matchable
class Any
object EncoderK

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Invariant[F[_]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Invariant

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type