软件包:libghc-free-doc(5.0.2-3)
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-33
- 本虚包由这些包填实: 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-exceptions-doc
- extensible optionally-pure exceptions; documentation
-
- rec: libghc-profunctors-doc
- Haskell 98 Profunctors; documentation
-
- rec: libghc-semigroupoids-doc
- Haskell 98 semigroupoids: Category sans id; 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