Expand description
Type classes.
Higher-kinded type classes (those with arities > 0, e.g., 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).
Re-exports§
pub use self::applicative::Applicative;pub use self::apply_first::ApplyFirst;pub use self::apply_second::ApplySecond;pub use self::category::Category;pub use self::clonable_fn::ClonableFn;pub use self::foldable::Foldable;pub use self::functor::Functor;pub use self::monad::Monad;pub use self::monoid::Monoid;pub use self::pointed::Pointed;pub use self::semiapplicative::Semiapplicative;pub use self::semigroup::Semigroup;pub use self::semigroupoid::Semigroupoid;pub use self::semimonad::Semimonad;pub use self::traversable::Traversable;