Skip to content

Instantly share code, notes, and snippets.

@xuwei-k
Created January 11, 2014 10:50
Show Gist options
  • Select an option

  • Save xuwei-k/8369393 to your computer and use it in GitHub Desktop.

Select an option

Save xuwei-k/8369393 to your computer and use it in GitHub Desktop.
+----------------+
|InvariantFunctor|
+----------------+
| |
----------------------------- |
| ---------------
v |
+---------+ |
| Functor | |
+---------+ |
| | | | |
---------------------------------- | | ------- |
| ------------- | | |
v | | | |
+-----+ | | | | +----+
|Apply| | | | | |Plus|
+-----+ | | | | +----+
| | | | | | |
---------- ---------- | | | | -------------------------------------------------------
| | | | | | |
v v | | | | v
+-----------+ +----+ | | | | +---------+ +-----+ +--------+ +-------+
|Applicative| |Bind| | | | | |PlusEmpty| |Equal| |Foldable| |Compose|
+-----------+ +----+ | | | | +---------+ +-----+ +--------+ +-------+
| | | | | | | | | | | | | |
----------- ---------- | | | | | | | | | | | |
| ---------------------|--------- | | | | | | | | | | |
| | ------------|------------------------------------ | | | | | | | | |
| | | | ------------------------------------------------------------------ | | | | | |
| | | | | -------------------------------- | | | | | | |
| | | | | | ---- | | | | | | |
| | | | | | | ---------------------------------------------------|----------------|----------------- | | |
| | | | | | | | ---------------------------- | | | | |
| | | | | | | | | ------------------------------------------- | | | |
| | | | | | | | | | ------------------------------------------------------ | | |
| | | | | | | | | | | --------------------------------------------------------------- | |
| | | | | | | | | | | | ------------------------------------------------------------------- |
| | | | | | | | | | | | | ------------------------------------------------------------
| | | | | | | | | | | | | |
v v v v v | v v | | v v v v
+-----+ +------+ +---------------+ | +--------+ | | +-----+ +---------+ +--------+ +-----+ +---------+ +---------+ +----------+ +----------+
|Monad| |Cobind| |ApplicativePlus| | |Traverse| | | |Order| |Foldable1| |Category| |Split| |Semigroup| |Bifunctor| |Bifoldable| |Profunctor|
+-----+ +------+ +---------------+ | +--------+ | | +-----+ +---------+ +--------+ +-----+ +---------+ +---------+ +----------+ +----------+
| | | | ---- | | | | | | | | | | | |
| | | | | | | | | | | | ------------------ | | |
| | | | | | | | | | | ------------------------- | | | |
| | | | | | | | | | ------------ ---- | | | | |
| | | | | | | | -------------------------- | | | | | | |
| | | | | | | | ------- | | | | | | | |
| | | | | ------------------------------- | | | | | | | | |
| | | | | | ----------- | | | | | | | | | |
| --------------------------- | | | | | | | | | | | | | |
| -------- | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | ----------------------------------
| | | | | | | | | | | | | | | | --------
| | | | | | | | | | | | | | | | |
v v v v v v v v v v v v v v v v v
+--------------+ +-------+ +---------+ +-----+ +-------------+ +-------+ +---------+ +----+ +------+ +------+ +-------+ +----------+ +----+ +--------+ +---+ +-----+ +-----+ +---------+
|Nondeterminism| |Comonad| |MonadPlus| |Align| |Contravariant| |IsEmpty| |Traverse1| |Enum| |Choice| |Monoid| | Arrow | |Bitraverse| |Show| |Optional| |Zip| |Unzip| |Cozip| |Catchable|
+--------------+ +-------+ +---------+ +-----+ +-------------+ +-------+ +---------+ +----+ +------+ +------+ +-------+ +----------+ +----+ +--------+ +---+ +-----+ +-----+ +---------+
@xuwei-k
Copy link
Author

xuwei-k commented Jan 11, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment