Cabal revisions of free-functors-0.8.4
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: free-functors-version: 0.8.4-synopsis: Free functors, adjoint to functors that forget class constraints.-description: A free functor is a left adjoint to a forgetful functor. It used to be the case- that the only category that was easy to work with in Haskell was Hask itself, so- there were no interesting forgetful functors.- .- But the new ConstraintKinds feature of GHC provides an easy way of creating- subcategories of Hask. That brings interesting opportunities for free (and cofree) functors.- .- The examples directory contains an implementation of non-empty lists as free semigroups,- and automata as free actions. The standard example of free higher order functors is free monads,- and this definition can be found in Data.Functor.HFree.-category: Data, Math-license: BSD3-license-file: LICENSE-author: Sjoerd Visscher-maintainer: sjoerd@w3future.com-stability: experimental-homepage: https://github.com/sjoerdvisscher/free-functors-bug-reports: https://github.com/sjoerdvisscher/free-functors/issues--build-type: Simple-cabal-version: >= 1.10--extra-source-files:- examples/*.hs- CHANGELOG--Library- HS-Source-Dirs:- src-- exposed-modules:- Data.Constraint.Class1,- Data.Functor.Cofree,- Data.Functor.Free,- Data.Functor.HCofree,- Data.Functor.HFree,- Data.Functor.HHCofree,- Data.Functor.HHFree- - other-modules:- Data.Functor.Free.TH-- default-language:- Haskell2010-- build-depends:- base == 4.11.*,- template-haskell == 2.13.*,- constraints == 0.10.*,- transformers == 0.5.*,- comonad == 5.*,- algebraic-classes == 0.9.*,- contravariant == 1.4.*,- bifunctors == 5.*,- profunctors == 5.*---source-repository head- type: git- location: git://github.com/sjoerdvisscher/free-functors.git+name: free-functors +version: 0.8.4 +x-revision: 1 +synopsis: Free functors, adjoint to functors that forget class constraints. +description: A free functor is a left adjoint to a forgetful functor. It used to be the case + that the only category that was easy to work with in Haskell was Hask itself, so + there were no interesting forgetful functors. + . + But the new ConstraintKinds feature of GHC provides an easy way of creating + subcategories of Hask. That brings interesting opportunities for free (and cofree) functors. + . + The examples directory contains an implementation of non-empty lists as free semigroups, + and automata as free actions. The standard example of free higher order functors is free monads, + and this definition can be found in Data.Functor.HFree. +category: Data, Math +license: BSD3 +license-file: LICENSE +author: Sjoerd Visscher +maintainer: sjoerd@w3future.com +stability: experimental +homepage: https://github.com/sjoerdvisscher/free-functors +bug-reports: https://github.com/sjoerdvisscher/free-functors/issues + +build-type: Simple +cabal-version: >= 1.10 + +extra-source-files: + examples/*.hs + CHANGELOG + +Library + HS-Source-Dirs: + src + + exposed-modules: + Data.Constraint.Class1, + Data.Functor.Cofree, + Data.Functor.Free, + Data.Functor.HCofree, + Data.Functor.HFree, + Data.Functor.HHCofree, + Data.Functor.HHFree + + other-modules: + Data.Functor.Free.TH + + default-language: + Haskell2010 + + build-depends: + base == 4.11.*, + template-haskell == 2.13.*, + constraints == 0.10.*, + transformers == 0.5.*, + comonad == 5.*, + algebraic-classes == 0.9.*, + contravariant == 1.5.*, + bifunctors == 5.*, + profunctors == 5.* + + +source-repository head + type: git + location: git://github.com/sjoerdvisscher/free-functors.git