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
trait Transformation[Func, Input, Output]

Heterogenous function construct, allows to abstract over various kinds of functions whilst providing an homogenous user experience without the user having to manually lift functions from one kind to the other.

Heterogenous function construct, allows to abstract over various kinds of functions whilst providing an homogenous user experience without the user having to manually lift functions from one kind to the other.

Used to reduce the noise of transformations

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Attributes

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