parameterized-data 0.1.2 → 0.1.3

raw patch · 3 files changed

+14/−10 lines, 3 files

Files

• README +2/−1
• parameterized-data.cabal +4/−3
• src/Data/Param/FSVec.hs +8/−6

@@ -7,7 +7,8 @@  type-level computations to implement the type parameters and emulate  dependent types. - Right now only fixed-sized vectors are provided.+ Right now only fixed-sized vectors are provided. A tutorial on how to+ use them can be found at http://www.ict.kth.se/org/ict/ecs/sam/projects/forsyde/www/files/tutorial/tutorial.html#FSVec   DEPENDENCIES

@@ -1,5 +1,5 @@ name:           parameterized-data-version:        0.1.2+version:        0.1.3 cabal-version:  >= 1.2 build-type:     Simple license:        BSD3@@ -19,11 +19,12 @@  type-level computations to implement the type parameters and emulate  dependent types. - Right now only fixed-sized vectors are provided.+ Right now only fixed-sized vectors are provided. A tutorial on how to use them can be found at <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 Template Haskell Library

@@ -15,6 +15,7 @@ -- -- 'FSVec': Fixed sized vectors. Vectors with numerically parameterized size. --+-- Tutorial: <http://www.ict.kth.se/org/ict/ecs/sam/projects/forsyde/www/files/tutorial/tutorial.html#FSVec> ---------------------------------------------------------------------------- module Data.Param.FSVec    (FSVec, empty, (+>), singleton, vectorCPS, vectorTH,@@ -90,15 +91,16 @@ #if __GLASGOW_HASKELL__ >= 609 -- | Vector quasiquoter v :: QuasiQuoter-v = QuasiQuoter parseFSVecExp parseFSVecPat+v = undefined+-- v = QuasiQuoter (fst.parseFSVecExp) parseFSVecPat  -- Build a vector using quasiquotation -- Not possible in the general case! It is feasible, though, when only  -- allowing monomorphic vectors. For example, in the case of Ints: -- parseFSVecExp :: String -> ExpQ -- parseFSVecExp str = (readFSVec str) (lift :: Nat s => FSVec s Int -> ExpQ)-parseFSVecExp :: String -> ExpQ-parseFSVecExp str = undefined -- (readFSVec str) lift  +parseFSVecExp :: forall a . String -> (ExpQ, a)+parseFSVecExp str = ((readFSVec str) (lift :: (Nat s, Lift a) => FSVec s a -> ExpQ), undefined)    -- Pattern match a vector using quasiquotation parseFSVecPat :: String -> PatQ@@ -361,7 +363,7 @@ -- | 'generate' behaves in the same way as 'iterate', but starts with the  -- application of the supplied function to the supplied value.  ----- > Vector> generate d5 (+1) 1+-- > FSVec> generate d5 (+1) 1 --  -- > <2,3,4,5,6> :: Num a => FSVec  D5 a generate :: Nat s => s -> (a -> a) -> a -> FSVec s a@@ -370,9 +372,9 @@  -- | generates a vector with a given number of copies of the same element.  ----- > Vector> copy d7 5 +-- > FSVec> copy d7 5  -- --- > <5,5,5,5,5,5,5> :: Vector Integer+-- > <5,5,5,5,5,5,5> :: FSVec D7 Integer copy :: Nat s => s -> a -> FSVec s a copy s x = iterate s id x