package capability
- Alphabetic
- By Inheritance
- capability
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- trait Contravariant[F[_]] extends AnyRef
Abstraction that encodes Contravariant Functors.
- trait Covariant[F[_]] extends AnyRef
Abstraction that encodes Functors
- 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.
- trait MonadThrowLike[F[_]] extends Zipper[F]
- type Wrapped[F[_], G[_], A] = F[G[A]]
- trait Zipper[F[_]] extends Covariant[F]
A zipper is similar in notion to
Applicative
, in that it allows for combining several values ofF
in non-sequential ways.A zipper is similar in notion to
Applicative
, in that it allows for combining several values ofF
in non-sequential ways.The encoding here is specialised towards the traversal of sequences, which is something that's done heavily in this codebase.
Value Members
- object Contravariant
- object Covariant
- object EncoderK
- object MonadThrowLike
- object Zipper