From 37c1348ade91807bdad45272801115b32572ad40 Mon Sep 17 00:00:00 2001 From: Justin Le Date: Wed, 25 May 2016 02:35:19 -0700 Subject: Additive, Transposable instances for Static data types --- packages/base/src/Numeric/LinearAlgebra/Static.hs | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'packages/base/src/Numeric') diff --git a/packages/base/src/Numeric/LinearAlgebra/Static.hs b/packages/base/src/Numeric/LinearAlgebra/Static.hs index a55ae44..2ffc531 100644 --- a/packages/base/src/Numeric/LinearAlgebra/Static.hs +++ b/packages/base/src/Numeric/LinearAlgebra/Static.hs @@ -821,3 +821,10 @@ instance KnownNat n => Floating (Sym n) sqrt = mkSym sqrt (**) = mkSym2 (**) pi = Sym pi + +instance KnownNat n => Additive (Sym n) where + add = (+) + +instance KnownNat n => Transposable (Sym n) (Sym n) where + tr (Sym m) = Sym (tr m) + tr' = id -- cgit v1.2.3