Cabal revisions of indexed-list-literals-0.2.1.2
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
--- Initial indexed-container-literals.cabal generated by cabal init. For --- further documentation, see http://haskell.org/cabal/users-guide/--name: indexed-list-literals-version: 0.2.1.2-synopsis: Type safe indexed list literals-homepage: https://github.com/davidm-d/indexed-list-literals-license: BSD3-license-file: LICENSE-author: David Millar-Durrant-maintainer: dmillardurrant@gmail.com-description:- This is an incredibly simple library, which makes writing lists where the length is known at compile time a little bit nicer.- .- If you write a function with the signature- .- > vector :: ILL input length output => input -> Vector length output- then- .- > v :: Vector 3 Int- > v = vector (1,2,3)- >- > x :: Vector 0 Double- > x = vector $ ZeroTuple @Double- >- > y :: Vector 1 Double- > y = vector (Only 1)- >- > z :: Vector 2 String- > z = vector ("Hello", "World")- .- If want matrix literals you can write a function- .- > matrix :: (ILL row width ty, ILL matrix height row) => matrix -> Matrix width height ty- then- .- > a :: Matrix 0 0 Bool- > a = matrix $ ZeroTuple @(ZeroTuple Bool)- >- > b :: Matrix 1 2 String- > b = matrix $ Only ("Hello","World")- >- > c :: Matrix 4 5 Double- > c = matrix ((1,2,3,0,0)- > ,(4,5,6,0,0)- > ,(7,8,9,0,0)- > ,(0,0,0,0,0))- The full code is in test\/Docs.hs- .- This only supports literals of length up to 20, though that can be easily extended using the code generator in src\/Data\/IndexedListLiterals.hs---- copyright: -category: Data-build-type: Simple-extra-source-files: ChangeLog.md-cabal-version: >=1.10--library- exposed-modules: Data.IndexedListLiterals- -- other-modules: - -- other-extensions: - build-depends: base >=4.9 && < 4.13- , Only >= 0.1 && < 0.2- hs-source-dirs: src- default-language: Haskell2010--test-suite IndexedListLiterals-test- type: exitcode-stdio-1.0- main-is: Docs.hs- build-depends: base, indexed-list-literals, hspec- hs-source-dirs: test- default-language: Haskell2010--source-repository head- type: git- location: https://github.com/davidm-d/indexed-list-literals+-- Initial indexed-container-literals.cabal generated by cabal init. For +-- further documentation, see http://haskell.org/cabal/users-guide/ + +name: indexed-list-literals +version: 0.2.1.2 +x-revision: 1 +synopsis: Type safe indexed list literals +homepage: https://github.com/davidm-d/indexed-list-literals +license: BSD3 +license-file: LICENSE +author: David Millar-Durrant +maintainer: dmillardurrant@gmail.com +description: + This is an incredibly simple library, which makes writing lists where the length is known at compile time a little bit nicer. + . + If you write a function with the signature + . + > vector :: ILL input length output => input -> Vector length output + then + . + > v :: Vector 3 Int + > v = vector (1,2,3) + > + > x :: Vector 0 Double + > x = vector $ ZeroTuple @Double + > + > y :: Vector 1 Double + > y = vector (Only 1) + > + > z :: Vector 2 String + > z = vector ("Hello", "World") + . + If want matrix literals you can write a function + . + > matrix :: (ILL row width ty, ILL matrix height row) => matrix -> Matrix width height ty + then + . + > a :: Matrix 0 0 Bool + > a = matrix $ ZeroTuple @(ZeroTuple Bool) + > + > b :: Matrix 1 2 String + > b = matrix $ Only ("Hello","World") + > + > c :: Matrix 4 5 Double + > c = matrix ((1,2,3,0,0) + > ,(4,5,6,0,0) + > ,(7,8,9,0,0) + > ,(0,0,0,0,0)) + The full code is in test\/Docs.hs + . + This only supports literals of length up to 20, though that can be easily extended using the code generator in src\/Data\/IndexedListLiterals.hs + +-- copyright: +category: Data +build-type: Simple +extra-source-files: ChangeLog.md +cabal-version: >=1.10 + +library + exposed-modules: Data.IndexedListLiterals + -- other-modules: + -- other-extensions: + build-depends: base >=4.9 && < 4.14 + , Only >= 0.1 && < 0.2 + hs-source-dirs: src + default-language: Haskell2010 + +test-suite IndexedListLiterals-test + type: exitcode-stdio-1.0 + main-is: Docs.hs + build-depends: base, indexed-list-literals, hspec + hs-source-dirs: test + default-language: Haskell2010 + +source-repository head + type: git + location: https://github.com/davidm-d/indexed-list-literals