Difference between revisions of "TypeCompose"
(→Abstract: out-of-date docs)
|Line 1:||Line 1:|
== Abstract ==
== Abstract ==
Revision as of 00:13, 10 September 2007
Warning: The Haddock docs are out of date. I'm trying to get a working haddock 2.0 running (on my windows machine).
TypeCompose provides some classes & instances for forms of type composition, as well as some modules that haven't found another home.
- Read the Haddock docs (with source code, additional examples, and Comment/Talk links).
- Get the code repository: darcs get http://darcs.haskell.org/packages/TypeCompose, or
- Grab a distribution tarball.
- See the version history.
Control.Compose module includes
- Various type compositions (unary/unary, binary/unary, etc). Most are from Applicative Programming with Effects. In particular,
g `O` fcomposes functors in to functors and applicative functors (AFs) into AFs. (In contrast, monads do not in general compose.) Composition makes AF-based programming simple and elegant, partly because we don't need an AF counterpart to monad transformers.
- Cofunctors (contravariant functors). Great for "consumer" types, just as functors suit "producer" (container) types. There are several composition options.
- Type argument flip. Handy for cofunctors: use
Flip (->) o, for
- Constructor in pairs:
(f a, g a).
- Constructor in arrows/functions:
f a ~> g a.
Given all the type constructors and compositions of them, I found myself writing some pretty awkward code to wrap & unwrap through multiple layers. Composable bijections help a lot.
Data.Bijection module is inspired by There and Back Again: Arrows for Invertible Programming, though done here in a less general setting.
Pair- & function-like types
Data.Lambda patterns emerged while working on DeepArrow and Eros.
 to other functors. It also provides variants of type
f a -> f (a,b) and
f a -> f (a,b).
Data.Lambda is similar with classes for lambda-like constructions.
Monads with references. Direct rip-off from Global Variables in Haskell.
Bit of an oddball also.
Data.CxMonoid defines a sort of meta-monoid, that can be supplied dynamically with choices of
mappend. Used in Phooey (starting with version 1.3) so that layout could be a monoid but still vary in style.