套件:libghc-free-doc(5.2-1)
Monads for free; documentation
Free monads are useful for many tree-like structures and domain specific languages.
A Monad n is a free Monad for f if every Monad homomorphism from n to another monad m is equivalent to a natural transformation from f to m.
Cofree comonads provide convenient ways to talk about branching streams and rose-trees, and can be used to annotate syntax trees.
A Comonad v is a cofree Comonad for f if every Comonad homomorphism another comonad w to v is equivalent to a natural transformation from w to f.
This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
其他與 libghc-free-doc 有關的套件
|
|
|
|
-
- dep: haddock-interface-42
- 本虛擬套件由這些套件填實: ghc
-
- rec: ghc-doc
- Documentation for the Glasgow Haskell Compilation system
-
- rec: libghc-comonad-doc
- Haskell 98 comonads; documentation
-
- rec: libghc-distributive-doc
- distributive functors; documentation
-
- rec: libghc-free-dev
- Monads for free
-
- rec: libghc-indexed-traversable-doc
- Indexed Traversables for Haskell; documentation
-
- rec: libghc-profunctors-doc
- Haskell 98 Profunctors; documentation
-
- rec: libghc-semigroupoids-doc
- Haskell 98 semigroupoids: Category sans id; documentation
-
- rec: libghc-th-abstraction-doc
- nicer interface for reified information about data types; documentation
-
- rec: libghc-transformers-base-doc
- lift computations from the bottom of a transformer stack; documentation
-
- rec: libjs-mathjax
- JavaScript display engine for LaTeX and MathML
-
- sug: libghc-free-prof
- Monads for free; profiling libraries