Module classes

Module classes 

Source
Expand description

Type classes defining shared behavior across different types.

This module includes traits for common functional programming abstractions such as Functor, Monad, Applicative, and others.

Higher-kinded type classes (those with arities > 0, e.g., functor::Functor, which has arity 1) are usually implemented by Brand types, which are higher-kinded (arities > 0) representation of types, instead of directly by concrete types (which have arity 0).

Modulesยง

applicative
apply_first
apply_second
category
clonable_fn
defer
foldable
function
functor
lift
monad
monoid
once
pointed
semiapplicative
semigroup
semigroupoid
semimonad
traversable