[Pkg-haskell-commits] darcs: haskell-representable-functors: Improve package description.
Iulian Udrea
iulian at linux.com
Sun Sep 4 13:01:39 UTC 2011
Sun Sep 4 12:38:20 UTC 2011 Iulian Udrea <iulian at linux.com>
* Improve package description.
Ignore-this: aaa6cc7c3cd90fdb4b81cda7e51716e6
M ./control -3 +36
Sun Sep 4 12:38:20 UTC 2011 Iulian Udrea <iulian at linux.com>
* Improve package description.
Ignore-this: aaa6cc7c3cd90fdb4b81cda7e51716e6
diff -rN -u old-haskell-representable-functors//control new-haskell-representable-functors//control
--- old-haskell-representable-functors//control 2011-09-04 13:01:39.514057912 +0000
+++ new-haskell-representable-functors//control 2011-09-04 13:01:39.518059207 +0000
@@ -70,7 +70,18 @@
Suggests: ${haskell:Suggests}
Provides: ${haskell:Provides}
Description: Representable functors
- Representable functors.
+ This package provides a generalized Store comonad, parameterized by a
+ Representable functor (the representation of that functor serves as the index
+ of the store) and a generalized State monad, parameterized by a Representable
+ functor (the representation of that functor serves as the state).
+ .
+ Representable functors on Hask all monads, being isomorphic to a reader monad.
+ .
+ Representable contravariant endofunctors over the category of Haskell types
+ are isomorphic to (_ -> r) and resemble mappings to a fixed range.
+ .
+ Representable endofunctors over the category of Haskell types are isomorphic
+ to the reader monad and so inherit a very large number of properties for free.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
@@ -82,7 +93,18 @@
Suggests: ${haskell:Suggests}
Provides: ${haskell:Provides}
Description: Representable functors; profiling data
- Representable functors.
+ This package provides a generalized Store comonad, parameterized by a
+ Representable functor (the representation of that functor serves as the index
+ of the store) and a generalized State monad, parameterized by a Representable
+ functor (the representation of that functor serves as the state).
+ .
+ Representable functors on Hask all monads, being isomorphic to a reader monad.
+ .
+ Representable contravariant endofunctors over the category of Haskell types
+ are isomorphic to (_ -> r) and resemble mappings to a fixed range.
+ .
+ Representable endofunctors over the category of Haskell types are isomorphic
+ to the reader monad and so inherit a very large number of properties for free.
.
This package provides a library for the Haskell programming language, compiled
for profiling. See http://www.haskell.org/ for more information on Haskell.
@@ -94,7 +116,18 @@
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Description: Representable functors; documentation
- Representable functors.
+ This package provides a generalized Store comonad, parameterized by a
+ Representable functor (the representation of that functor serves as the index
+ of the store) and a generalized State monad, parameterized by a Representable
+ functor (the representation of that functor serves as the state).
+ .
+ Representable functors on Hask all monads, being isomorphic to a reader monad.
+ .
+ Representable contravariant endofunctors over the category of Haskell types
+ are isomorphic to (_ -> r) and resemble mappings to a fixed range.
+ .
+ Representable endofunctors over the category of Haskell types are isomorphic
+ to the reader monad and so inherit a very large number of properties for free.
.
This package provides the documentation for a library for the Haskell
programming language.
More information about the Pkg-haskell-commits
mailing list