first commit

LICENSE

@@ -0,0 +1,30 @@
+Copyright (c) 2013, Carter Tazio Schonwald
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright
+      notice, this list of conditions and the following disclaimer.
+
+    * Redistributions in binary form must reproduce the above
+      copyright notice, this list of conditions and the following
+      disclaimer in the documentation and/or other materials provided
+      with the distribution.
+
+    * Neither the name of Carter Tazio Schonwald nor the names of other
+      contributors may be used to endorse or promote products derived
+      from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

Setup.hs

@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain

numerics-types.cabal

@@ -0,0 +1,67 @@
+-- Initial numerics-types.cabal generated by cabal init.  For further 
+-- documentation, see http://haskell.org/cabal/users-guide/
+
+-- The name of the package.
+name:                numerics-types
+
+-- The package version.  See the Haskell package versioning policy (PVP) 
+-- for standards guiding when and how versions should be incremented.
+-- http://www.haskell.org/haskellwiki/Package_versioning_policy
+-- PVP summary:      +-+------- breaking API changes
+--                   | | +----- non-breaking API additions
+--                   | | | +--- code changes with no API change
+version:             0.1.0.0
+
+-- A short (one-line) description of the package.
+synopsis:            Generic Numerics Api - backend agnostic
+
+-- A longer description of the package.
+-- description:         
+
+-- The license under which the package is released.
+license:             BSD3
+
+-- The file containing the license text.
+license-file:        LICENSE
+
+-- The package author(s).
+author:              Carter Tazio Schonwald
+
+-- An email address to which users can send suggestions, bug reports, and 
+-- patches.
+maintainer:          carter at wellposed dot com
+
+-- A copyright notice.
+-- copyright:           
+
+category:            Math
+
+build-type:          Simple
+
+-- Extra files to be distributed with the package, such as examples or a 
+-- README.
+-- extra-source-files:  
+
+-- Constraint on the version of Cabal needed to build this package.
+cabal-version:       >=1.10
+
+
+library
+    -- Modules exported by the library.
+    -- exposed-modules:     
+
+    -- Modules included in this library but not exported.
+    -- other-modules:       
+
+    -- LANGUAGE extensions used by modules in this package.
+    -- other-extensions:    
+
+    -- Other library packages from which modules are imported.
+    build-depends:       base >=4.6 && <4.7
+
+    -- Directories containing source files.
+    -- hs-source-dirs:      
+
+    -- Base language which the package is written in.
+    default-language:    Haskell2010
+

src/Numerics/Types/Array.hs

@@ -0,0 +1,38 @@
+{-# LANGUAGE PolyKinds   #-}
+{-# LANGUAGE BangPatterns #-}
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE TypeFamilies #-}
+
+module Numerics.Types.Array where
+
+
+data family ArrayM st mode rep lay (view:: View) sh elm 
+
+data family Array mode rep lay (view:: View) sh elm 
+
+data View = Origin | Slice | Dice 
+
+{-
+rep = storable, unboxed, boxed, delay, etc
+
+lay = row major, column major, morton z, morton w (flipped n),
+  --- this  ignores symmetry  and hermitian being properties as well as packed layouts
+  --- also need to have a good sparse story
+    --- as currently done, most don't really make sense for != rank-2 arrays, 
+
+-- rowMajor is a foldR, columnMajor is a foldL    
+
+-- Repa and accelerate use a Snoc List so that Row major fuses well
+    
+sh= rank / shape, ie matrix or vector, or some  higher tensor thingy
+
+
+mode= need to have a notion of runnable worlds, 
+based on "backend" chosen, eg CBlasish, DPH, Repa, LLVM, Free (get the shallow/ deep ast)
+
+view =  Origin, Slice, and Diced, I might make this a fixed universe for now
+
+
+-}
+
+