digraph G {
rankdir="BT";
aize ="4,4";
Apply -> Functor;
Applicative -> Apply;
Bind -> Apply;
Monad -> Applicative;
Monad -> Bind;
Traversable -> Functor;
Traversable -> Foldable;
MonadPlus -> Monad;
MonadPlus -> Alternative;
Alternative -> Plus;
Alternative -> Applicative;
Plus -> Alt;
Alt -> Functor;
Extend -> Functor;
Comonad -> Extend;
MonadEff -> Monad;
Monoid -> Semigroup;
Ord -> Eq;
Enum -> Bounded;
BoundedOrd -> Ord;
BoundedOrd -> Bounded;
BooleanAlgebra -> Bounded;
Category -> Semigroupoid;
Costrong -> Profunctor;
Choice -> Profunctor;
Strong -> Profunctor;
Wander -> Strong;
Wander -> Choice;
Arrow -> Category;
Arrow -> Strong;
ArrowZero -> Arrow;
ModuloSemiring -> Semiring;
Ring -> Semiring;
DivisionRing -> Ring;
DivisionRing -> ModuloSemiring;
Num -> DivisionRing;
Bitraversable -> Bifunctor;
Bitraversable -> Bifoldable;
}
More than 5 years have passed since last update.
Register as a new user and use Qiita more conveniently
- You get articles that match your needs
- You can efficiently read back useful information
- You can use dark theme