type-level 0.2.1 → 0.2.2

raw patch · 5 files changed

+17/−5 lines, 5 filessetup-changed

Files

README +2/−0
Setup.hs +1/−1
src/Data/TypeLevel/Num.hs +3/−0
src/Data/TypeLevel/Num/Aliases.hs +3/−1
type-level.cabal +8/−3

README view

@@ -20,6 +20,8 @@  type parameterized by the array's size or a modular group type Zn   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  DEPENDENCIES

Setup.hs view

@@ -1,4 +1,4 @@-#! /usr/bin/env runhaskell+#!/usr/bin/env runhaskell module Main (main) where  import Distribution.Simple

src/Data/TypeLevel/Num.hs view

@@ -11,6 +11,9 @@ -- -- This module is a wrapper for all the publicly usable numerical types and  -- functions of the type-level library.+--+--  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> --  ---------------------------------------------------------------------------- module Data.TypeLevel.Num

src/Data/TypeLevel/Num/Aliases.hs view

@@ -20,10 +20,12 @@ ---------------------------------------------------------------------------- module Data.TypeLevel.Num.Aliases where +import Language.Haskell.TH import Data.TypeLevel.Num.Reps import Data.TypeLevel.Num.Aliases.TH (genAliases)  -$(genAliases 1024 4096 5000 4096)+$(do runIO (putStrLn "Generating and compiling a zillion numerical type aliases, this might take a while") +     genAliases 1024 4096 5000 4096)

type-level.cabal view

@@ -1,5 +1,5 @@ name:           type-level-version:        0.2.1+version:        0.2.2 cabal-version:  >= 1.2 build-type:     Simple license:        BSD3@@ -32,9 +32,14 @@  type parameterized by the array's size or a modular group type Zn   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>++ category:       Data tested-with:    GHC==6.8.2-+extra-source-files: LICENSE,+                    README  -- depends on ghc due to the use of infix type constructors and template haskell Library@@ -48,4 +53,4 @@                    Data.TypeLevel.Num.Sets,                    Data.TypeLevel.Num.Ops,                    Data.TypeLevel.Num.Aliases.TH-  ghc-options:	-Wall -O2+  ghc-options:	-Wall