TypeCompose Type composition classes and instances in Haskell
Download

TypeCompose Ranking & Summary

TypeCompose Tags

instance class haskell library Type composition class Type composition instance type composition

TypeCompose Description

Type composition classes and instances in Haskell TypeCompose is a free and open source Haskell library that provides some classes and instances for forms of type composition, as well as some other modules.The Control.Compose module includes:· Various type compositions (unary/unary, binary/unary, etc). Most are from Applicative Programming with Effects. In particular, g `O` f composes 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 (-> o).· Constructor in pairs: (f a, g a).· Constructor in arrows/functions: f a ~> g a. NOTE: TypeCompose is licensed and distributed under the terms of the BSD License. Requirements: · GHC

TypeCompose Related Software