├── .gitignore ├── .travis.yml ├── LICENSE ├── README.md ├── Setup.hs ├── bench ├── Lebesgue.hs ├── Vector.csv └── Vector.hs ├── cbits └── Lebesgue.c ├── examples ├── example0001-polynomials.lhs ├── example0002-monad-instances-for-set.lhs ├── example0003-linear-algebra.lhs └── example0004-matrix-test.lhs ├── img ├── Makefile ├── README.md ├── hierarchy-category.png ├── hierarchy-category.tex ├── hierarchy-comparison.png ├── hierarchy-comparison.tex ├── hierarchy-container.png ├── hierarchy-container.tex ├── hierarchy-monad.png ├── hierarchy-monad.tex ├── hierarchy-numeric.png ├── hierarchy-numeric.tex └── hierarchy.tex.inc ├── src ├── SubHask.hs └── SubHask │ ├── Algebra.hs │ ├── Algebra │ ├── .Container.hs.swo │ ├── Array.hs │ ├── Container.hs │ ├── Group.hs │ ├── Logic.hs │ ├── Matrix.hs │ ├── Metric.hs │ ├── Ord.hs │ ├── Parallel.hs │ ├── Ring.hs │ ├── Vector.hs │ └── Vector │ │ └── FFI.hs │ ├── Category.hs │ ├── Category │ ├── Finite.hs │ ├── Polynomial.hs │ ├── Product.hs │ ├── Slice.hs │ └── Trans │ │ ├── Bijective.hs │ │ ├── Constrained.hs │ │ ├── Derivative.hs │ │ └── Monotonic.hs │ ├── Compatibility │ ├── Base.hs │ ├── BloomFilter.hs │ ├── ByteString.hs │ ├── Cassava.hs │ ├── Containers.hs │ └── HyperLogLog.hs │ ├── Internal │ └── Prelude.hs │ ├── Monad.hs │ ├── Mutable.hs │ ├── SubType.hs │ └── TemplateHaskell │ ├── Base.hs │ ├── Common.hs │ ├── Deriving.hs │ ├── Mutable.hs │ └── Test.hs ├── stack.yaml ├── subhask.cabal └── test └── TestSuite.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /bench/Lebesgue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/bench/Lebesgue.hs -------------------------------------------------------------------------------- /bench/Vector.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/bench/Vector.csv -------------------------------------------------------------------------------- /bench/Vector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/bench/Vector.hs -------------------------------------------------------------------------------- /cbits/Lebesgue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/cbits/Lebesgue.c -------------------------------------------------------------------------------- /examples/example0001-polynomials.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/examples/example0001-polynomials.lhs -------------------------------------------------------------------------------- /examples/example0002-monad-instances-for-set.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/examples/example0002-monad-instances-for-set.lhs -------------------------------------------------------------------------------- /examples/example0003-linear-algebra.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/examples/example0003-linear-algebra.lhs -------------------------------------------------------------------------------- /examples/example0004-matrix-test.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/examples/example0004-matrix-test.lhs -------------------------------------------------------------------------------- /img/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/Makefile -------------------------------------------------------------------------------- /img/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/README.md -------------------------------------------------------------------------------- /img/hierarchy-category.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/hierarchy-category.png -------------------------------------------------------------------------------- /img/hierarchy-category.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/hierarchy-category.tex -------------------------------------------------------------------------------- /img/hierarchy-comparison.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/hierarchy-comparison.png -------------------------------------------------------------------------------- /img/hierarchy-comparison.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/hierarchy-comparison.tex -------------------------------------------------------------------------------- /img/hierarchy-container.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/hierarchy-container.png -------------------------------------------------------------------------------- /img/hierarchy-container.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/hierarchy-container.tex -------------------------------------------------------------------------------- /img/hierarchy-monad.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/hierarchy-monad.png -------------------------------------------------------------------------------- /img/hierarchy-monad.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/hierarchy-monad.tex -------------------------------------------------------------------------------- /img/hierarchy-numeric.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/hierarchy-numeric.png -------------------------------------------------------------------------------- /img/hierarchy-numeric.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/hierarchy-numeric.tex -------------------------------------------------------------------------------- /img/hierarchy.tex.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/img/hierarchy.tex.inc -------------------------------------------------------------------------------- /src/SubHask.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask.hs -------------------------------------------------------------------------------- /src/SubHask/Algebra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra.hs -------------------------------------------------------------------------------- /src/SubHask/Algebra/.Container.hs.swo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra/.Container.hs.swo -------------------------------------------------------------------------------- /src/SubHask/Algebra/Array.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra/Array.hs -------------------------------------------------------------------------------- /src/SubHask/Algebra/Container.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra/Container.hs -------------------------------------------------------------------------------- /src/SubHask/Algebra/Group.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra/Group.hs -------------------------------------------------------------------------------- /src/SubHask/Algebra/Logic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra/Logic.hs -------------------------------------------------------------------------------- /src/SubHask/Algebra/Matrix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra/Matrix.hs -------------------------------------------------------------------------------- /src/SubHask/Algebra/Metric.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra/Metric.hs -------------------------------------------------------------------------------- /src/SubHask/Algebra/Ord.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra/Ord.hs -------------------------------------------------------------------------------- /src/SubHask/Algebra/Parallel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra/Parallel.hs -------------------------------------------------------------------------------- /src/SubHask/Algebra/Ring.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra/Ring.hs -------------------------------------------------------------------------------- /src/SubHask/Algebra/Vector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra/Vector.hs -------------------------------------------------------------------------------- /src/SubHask/Algebra/Vector/FFI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Algebra/Vector/FFI.hs -------------------------------------------------------------------------------- /src/SubHask/Category.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Category.hs -------------------------------------------------------------------------------- /src/SubHask/Category/Finite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Category/Finite.hs -------------------------------------------------------------------------------- /src/SubHask/Category/Polynomial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Category/Polynomial.hs -------------------------------------------------------------------------------- /src/SubHask/Category/Product.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Category/Product.hs -------------------------------------------------------------------------------- /src/SubHask/Category/Slice.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Category/Slice.hs -------------------------------------------------------------------------------- /src/SubHask/Category/Trans/Bijective.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Category/Trans/Bijective.hs -------------------------------------------------------------------------------- /src/SubHask/Category/Trans/Constrained.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Category/Trans/Constrained.hs -------------------------------------------------------------------------------- /src/SubHask/Category/Trans/Derivative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Category/Trans/Derivative.hs -------------------------------------------------------------------------------- /src/SubHask/Category/Trans/Monotonic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Category/Trans/Monotonic.hs -------------------------------------------------------------------------------- /src/SubHask/Compatibility/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Compatibility/Base.hs -------------------------------------------------------------------------------- /src/SubHask/Compatibility/BloomFilter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Compatibility/BloomFilter.hs -------------------------------------------------------------------------------- /src/SubHask/Compatibility/ByteString.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Compatibility/ByteString.hs -------------------------------------------------------------------------------- /src/SubHask/Compatibility/Cassava.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Compatibility/Cassava.hs -------------------------------------------------------------------------------- /src/SubHask/Compatibility/Containers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Compatibility/Containers.hs -------------------------------------------------------------------------------- /src/SubHask/Compatibility/HyperLogLog.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Compatibility/HyperLogLog.hs -------------------------------------------------------------------------------- /src/SubHask/Internal/Prelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Internal/Prelude.hs -------------------------------------------------------------------------------- /src/SubHask/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Monad.hs -------------------------------------------------------------------------------- /src/SubHask/Mutable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/Mutable.hs -------------------------------------------------------------------------------- /src/SubHask/SubType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/SubType.hs -------------------------------------------------------------------------------- /src/SubHask/TemplateHaskell/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/TemplateHaskell/Base.hs -------------------------------------------------------------------------------- /src/SubHask/TemplateHaskell/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/TemplateHaskell/Common.hs -------------------------------------------------------------------------------- /src/SubHask/TemplateHaskell/Deriving.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/TemplateHaskell/Deriving.hs -------------------------------------------------------------------------------- /src/SubHask/TemplateHaskell/Mutable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/TemplateHaskell/Mutable.hs -------------------------------------------------------------------------------- /src/SubHask/TemplateHaskell/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/src/SubHask/TemplateHaskell/Test.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/stack.yaml -------------------------------------------------------------------------------- /subhask.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/subhask.cabal -------------------------------------------------------------------------------- /test/TestSuite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/subhask/HEAD/test/TestSuite.hs --------------------------------------------------------------------------------