Cabal revisions of cluss-0.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
name: cluss category: type system, constraints version: 0.1 +x-revision: 1 license: BSD3 license-file: LICENSE cabal-version: >= 1.10 homepage: https://github.com/Kinokkory/cluss bug-reports: https://github.com/Kinokkory/cluss/issues copyright: Copyright (C) 2014 Yusuke Matsushita -synopsis: Simple Alternative to Type Classes +synopsis: simple alternative to type classes description: A /cluss/ enables you to achieve /function overloading/, or ad-hoc polymorphism, without creating a new type class. . In order to give ad-hoc polymorphism to a type variable @a@, - you simply use @In@ with a list of "type patterns" like @In [Type T, ...] a@, + you simply use @In@ with a list of \"type patterns\" like @In [Type T, ...] a@, which indicates that the type matches some of the patterns; which is analogous to a type class indicating that a type matches some of its "instances". - The constraint @In [Type T, ...] a@ is what we call a "cluss". + The constraint @In [Type T, ...] a@ is what we call a \"cluss\". . Cluss instances are /closed/ and cluss methods are /open/, unlike type classes, whose instances are open and whose methods are closed.
revision 2
name: cluss category: type system, constraints version: 0.1 -x-revision: 1 +x-revision: 2 license: BSD3 license-file: LICENSE cabal-version: >= 1.10 In order to give ad-hoc polymorphism to a type variable @a@, you simply use @In@ with a list of \"type patterns\" like @In [Type T, ...] a@, which indicates that the type matches some of the patterns; - which is analogous to a type class indicating that a type matches some of its "instances". + which is analogous to a type class indicating that a type matches some of its \"instances\". The constraint @In [Type T, ...] a@ is what we call a \"cluss\". . Cluss instances are /closed/ and cluss methods are /open/,
revision 3
name: cluss category: type system, constraints version: 0.1 -x-revision: 2 +x-revision: 3 license: BSD3 license-file: LICENSE cabal-version: >= 1.10 and therefore clusses are expressive enough to imitate Haskell-98-style type classes. . More information can be found in the Haddock or the comments in the source code. + The updated haddock is here: <http://hackage.haskell.org/package/cluss>. build-type: Simple
revision 4
name: cluss category: type system, constraints version: 0.1 -x-revision: 3 +x-revision: 4 license: BSD3 license-file: LICENSE cabal-version: >= 1.10 and therefore clusses are expressive enough to imitate Haskell-98-style type classes. . More information can be found in the Haddock or the comments in the source code. - The updated haddock is here: <http://hackage.haskell.org/package/cluss>. + The updated haddock is here: <http://kinokkory.github.io/cluss/>. build-type: Simple