| Copyright | (c) Tae Geun Kim 2018 |
|---|---|
| License | BSD3 |
| Maintainer | edeftg@gmail.com |
| Stability | Stable |
| Safe Haskell | None |
| Language | Haskell2010 |
HNum.Vector
Description
- newtype Vector a = Vector [a]
- vector :: [a] -> Vector a
- vec :: [a] -> Vector a
- class List m where
- data Matrix a = Matrix {}
- matrix :: [[a]] -> Matrix a
- class Matrices m where
- class Functor f => Convertable f where
- class Functor f => VecOps f where
- class Functor f => MatOps f where
- bp :: Int -> Matrix a -> Matrix a
- class Functor f => Concatable f where
- (.:) :: Vector a -> Matrix a -> Matrix a
- qsort :: Ord a => Vector a -> Vector a
- transposeMat :: [[a]] -> [[a]]
- indexMat :: [[a]] -> [[(Int, Int)]]
- dropAtMat :: Int -> Int -> [[a]] -> [[a]]
- postSplitAt :: ([a], [a]) -> [a]
- dropAt :: Int -> [a] -> [a]
- dropAtMat' :: Int -> [[a]] -> [[a]]
- bpMat :: Int -> [[a]] -> [[a]]
- (%-+-%) :: Num a => [[a]] -> [[a]] -> [[a]]
- negMap :: Num a => [[a]] -> [[a]]
- (%---%) :: Num a => [[a]] -> [[a]] -> [[a]]
- (%-*-%) :: Num a => [[a]] -> [[a]] -> [[a]]
- zerosVec :: Int -> [Int]
- eyeMat :: Int -> [[Int]]
- basisVec :: Int -> Int -> [Int]
- permMat :: Int -> Int -> [[a]] -> [[Int]]
- whichMax :: Ord a => [a] -> Int
- colMat :: [[a]] -> Int -> [a]
- colMaxIdx :: Ord a => [[a]] -> Int -> Int
- cycleMat :: [[a]] -> [[a]]
- bpMat' :: Int -> [[a]] -> [[a]]
- detMat :: (Eq a, Fractional a) => [[a]] -> a
- invMat :: (Eq a, Fractional a) => [[a]] -> [[a]]
- fd :: Eq a => a -> [a] -> Int
- sPermutations :: [a] -> [([a], Int)]
- elemPos :: [[a]] -> Int -> Int -> a
- prod :: Num a => ([[a]] -> Int -> Int -> a) -> [[a]] -> [Int] -> a
- sDeterminant :: Num a => ([[a]] -> Int -> Int -> a) -> [[a]] -> [([Int], Int)] -> a
- determinant :: Num a => [[a]] -> a
- permanent :: Num a => [[a]] -> a
Documentation
Constructors
| Vector [a] |
Instances
| Functor Vector Source # | |
| Applicative Vector Source # | |
| Foldable Vector Source # | |
| FuncTools Vector Source # | |
| Concatable Vector Source # | |
| VecOps Vector Source # | |
| Convertable Vector Source # | |
| List Vector Source # | |
| SpecialFunc Vector Source # | |
| Writable Vector Source # | |
| Statistical Vector Source # | |
| Eq a => Eq (Vector a) Source # | |
| Floating a => Floating (Vector a) Source # | |
| Fractional a => Fractional (Vector a) Source # | |
| Num a => Num (Vector a) Source # | |
| Show a => Show (Vector a) Source # | |
Definition of Matrix
Instances
| Functor Matrix Source # | |
| Applicative Matrix Source # | |
| Foldable Matrix Source # | |
| FuncTools Matrix Source # | |
| Concatable Matrix Source # | |
| MatOps Matrix Source # | |
| VecOps Matrix Source # | |
| Convertable Matrix Source # | |
| Matrices Matrix Source # | |
| Writable Matrix Source # | |
| Eq a => Eq (Matrix a) Source # | |
| Floating a => Floating (Matrix a) Source # | |
| Fractional a => Fractional (Matrix a) Source # | |
| Num a => Num (Matrix a) Source # | |
| Show a => Show (Matrix a) Source # | |
class Matrices m where Source #
Matrices is necessary class for Matrix
class Functor f => Convertable f where Source #
Syntactic Sugar of read of functor
Minimal complete definition
Methods
readInt :: f String -> f Int Source #
Read String to Int
readInteger :: f String -> f Integer Source #
Read String to Integer
readDouble :: f String -> f Double Source #
Read String to Double
Instances
class Functor f => VecOps f where Source #
(.ops) is an operation Vector(or Matrix) with Constant. Dot means position of Vector. Example: a .* 2 = twice whole elements of a a .*. b = Dot product
class Functor f => Concatable f where Source #
Instances
transposeMat :: [[a]] -> [[a]] Source #
postSplitAt :: ([a], [a]) -> [a] Source #
dropAtMat' :: Int -> [[a]] -> [[a]] Source #
detMat :: (Eq a, Fractional a) => [[a]] -> a Source #
Determinant for Double List - Order ~ 4^n
invMat :: (Eq a, Fractional a) => [[a]] -> [[a]] Source #
Inverse for Double List - Order ~ n * 2^n
sPermutations :: [a] -> [([a], Int)] Source #
determinant :: Num a => [[a]] -> a Source #