tct-2.0.1: A Complexity Analyser for Term Rewrite Systems

Portabilityunportable
Stabilityunstable
MaintainerAndreas Schnabl <andreas.schnabl@uibk.ac.at>
Safe HaskellSafe-Infered

Tct.Encoding.Matrix

Description

 

Documentation

newtype Vector a

Constructors

Vector [a] 

Instances

Functor Vector 
Eq a => Eq (Vector a) 
Show a => Show (Vector a) 
MIEntry a => MIEntry (Vector a) 
AIEntry a => AIEntry (Vector a) 
(AbstrEq a b, MIEntry a) => AbstrEq (Vector a) b 
(AbstrEq a b, AIEntry a) => AbstrEq (Vector a) b 
(AbstrOrd a b, MIEntry a) => AbstrOrd (Vector a) b 
(AbstrOrd a b, AIEntry a) => AbstrOrd (Vector a) b 

newtype Matrix a

Constructors

Matrix [Vector a] 

Instances

Functor Matrix 
Eq a => Eq (Matrix a) 
Show a => Show (Matrix a) 
(AbstrEq a b, MIEntry a) => AbstrEq (Matrix a) b 
(AbstrEq a b, AIEntry a) => AbstrEq (Matrix a) b 
(AbstrOrd a b, MIEntry a) => AbstrOrd (Matrix a) b 
(AbstrOrd a b, AIEntry a) => AbstrOrd (Matrix a) b 

liftVector :: ([a] -> b) -> Vector a -> b

liftVector_ :: ([a] -> [b]) -> Vector a -> Vector b

liftMatrix :: ([Vector a] -> b) -> Matrix a -> b

liftMatrix_ :: ([Vector a] -> [Vector b]) -> Matrix a -> Matrix b

adjustv :: (a -> a) -> Int -> Vector a -> Vector a

adjustm :: (a -> a) -> Int -> Int -> Matrix a -> Matrix a

vecdim :: Vector a -> Int

mdim :: Matrix a -> (Int, Int)

vEntry :: Int -> Vector a -> a

entry :: Int -> Int -> Matrix a -> a

row :: Int -> Matrix a -> Vector a

col :: Int -> Matrix a -> Vector a

transpose :: Matrix a -> Matrix a

mplus :: Semiring a => Matrix a -> Matrix a -> Matrix a

bigmplus :: Semiring a => [Matrix a] -> Matrix a

vplus :: Semiring a => Vector a -> Vector a -> Vector a

bigvplus :: Semiring a => [Vector a] -> Vector a

mprod :: Semiring a => Matrix a -> Matrix a -> Matrix a

mvprod :: Semiring a => Matrix a -> Vector a -> Vector a

scalarprod :: Semiring a => Vector a -> Vector a -> a

bigmprod :: Semiring a => [Matrix a] -> Matrix a

zerovec :: Semiring a => Int -> Vector a

zeromatrix :: Semiring a => Int -> Int -> Matrix a

unit :: Semiring a => Int -> Matrix a

diag :: Semiring a => Matrix a -> Vector a

diagonalNonZeroes :: AbstrOrdSemiring a Bool => Matrix a -> Int

diagonalZeroes :: AbstrOrdSemiring a Bool => Matrix a -> Int

maximumMatrix :: (Foldable t, AbstrOrdSemiring a Bool) => (Int, Int) -> t (Matrix a) -> Matrix a

maxMatrix :: AbstrOrdSemiring a Bool => Matrix a -> Matrix a -> Matrix a

maximumVector :: (Foldable t, AbstrOrdSemiring a Bool) => Int -> t (Vector a) -> Vector a

maxVector :: AbstrOrdSemiring a Bool => Vector a -> Vector a -> Vector a

type MatrixCompare a b = Matrix a -> Matrix a -> b

type VectorCompare a b = Vector a -> Vector a -> b