Type Members

1.  trait Contravariant[F[_]] extends AnyRef

   Abstraction that encodes Contravariant Functors.

2.  trait Covariant[F[_]] extends AnyRef

   Abstraction that encodes Functors

3.  trait EncoderK[F[_], Result] extends Contravariant[F]

   A typeclass abstracting over the notion of encoder.

   A typeclass abstracting over the notion of encoder. It offers way to go from an encoder type to a function, and vice-versa.

   This abstraction is particularly useful when encoding unions : as we need to pre-compile codecs for each union member, and dispatch union instances to a specific codec.

4.  trait Invariant[F[_]] extends AnyRef
5.  trait MonadThrowLike[F[_]] extends Zipper[F]
6.  type Wrapped[F[_], G[_], A] = F[G[A]]
7.  trait Zipper[F[_]] extends Covariant[F]

   A zipper is similar in notion to Applicative, in that it allows for combining several values of F in non-sequential ways.

   A zipper is similar in notion to Applicative, in that it allows for combining several values of F in non-sequential ways.

   The encoding here is specialised towards the traversal of sequences, which is something that's done heavily in this codebase.