Type Classes

TODO: what’s a type class? How do they help us reason about the algebraic properties of data structures?

Index

• Abstract Algebra

• Aggregator

• Applicative

• Buffered

• Fold

• Functor

• Group

• Hash128

• Metric

• Monad

• Monoid

• Predecessible

• Preparer

• Ring

• Semigroup

• Successible

• Type Classes