smithy4s.capability

Abstraction that encodes Contravariant Functors.

Abstraction that encodes Functors

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.

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.