packages feed

type-level 0.2.3 → 0.2.4

raw patch · 2 files changed

+5/−5 lines, 2 filesdep +sybdep ~basenew-uploader

Dependencies added: syb

Dependency ranges changed: base

Files

src/Data/TypeLevel/Num/Sets.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeOperators, FlexibleInstances, FlexibleContexts,-             UndecidableInstances, PatternSignatures, ScopedTypeVariables,+             UndecidableInstances, ScopedTypeVariables,              Rank2Types #-} {-# OPTIONS_GHC -fno-warn-incomplete-patterns -fno-warn-name-shadowing #-} -----------------------------------------------------------------------------
type-level.cabal view
@@ -1,5 +1,5 @@ name:           type-level-version:        0.2.3+version:        0.2.4 cabal-version:  >= 1.2 build-type:     Simple license:        BSD3@@ -33,17 +33,17 @@  parameterized by the modulus).   Here is a tutorial on type-level numerals and how to use them to- implement numerically-parameterized vectors: <http://www.ict.kth.se/org/ict/ecs/sam/projects/forsyde/www/files/tutorial/tutorial.html#FSVec>+ implement numerically-parameterized vectors: <http://www.ict.kth.se/forsyde/files/tutorial/tutorial.html#FSVec>   category:       Data-tested-with:    GHC==6.8.2+tested-with:    GHC==6.10.4 extra-source-files: LICENSE,                     README  -- depends on ghc due to the use of infix type constructors and template haskell Library-  build-depends:   base >=3 && <5, template-haskell > 2.0+  build-depends:   base >=4 && <6, template-haskell > 2.0, syb   hs-source-dirs:  src   exposed-modules: Data.TypeLevel,                    Data.TypeLevel.Bool,