ZkFold.Base.Data.Sparse.Matrix

Documentation

newtype SMatrix m n a

Constructors

SMatrix

Fields

• fromSMatrix :: Map (Zp m, Zp n) a

Instances

Foldable (SMatrix m n)

Defined in ZkFold.Base.Data.Sparse.Matrix

Methods

fold :: Monoid m0 => SMatrix m n m0 -> m0

foldMap :: Monoid m0 => (a -> m0) -> SMatrix m n a -> m0

foldMap' :: Monoid m0 => (a -> m0) -> SMatrix m n a -> m0

foldr :: (a -> b -> b) -> b -> SMatrix m n a -> b

foldr' :: (a -> b -> b) -> b -> SMatrix m n a -> b

foldl :: (b -> a -> b) -> b -> SMatrix m n a -> b

foldl' :: (b -> a -> b) -> b -> SMatrix m n a -> b

foldr1 :: (a -> a -> a) -> SMatrix m n a -> a

foldl1 :: (a -> a -> a) -> SMatrix m n a -> a

toList :: SMatrix m n a -> [a]

null :: SMatrix m n a -> Bool

length :: SMatrix m n a -> Int

elem :: Eq a => a -> SMatrix m n a -> Bool

maximum :: Ord a => SMatrix m n a -> a

minimum :: Ord a => SMatrix m n a -> a

sum :: Num a => SMatrix m n a -> a

product :: Num a => SMatrix m n a -> a

Functor (SMatrix m n)

Defined in ZkFold.Base.Data.Sparse.Matrix

Methods

fmap :: (a -> b) -> SMatrix m n a -> SMatrix m n b

(<$) :: a -> SMatrix m n b -> SMatrix m n a

(KnownNat m, KnownNat n) => Semialign (SMatrix m n)

Defined in ZkFold.Base.Data.Sparse.Matrix

Methods

align :: SMatrix m n a -> SMatrix m n b -> SMatrix m n (These a b)

alignWith :: (These a b -> c) -> SMatrix m n a -> SMatrix m n b -> SMatrix m n c

(KnownNat m, KnownNat n) => Zip (SMatrix m n)

Defined in ZkFold.Base.Data.Sparse.Matrix

Methods

zip :: SMatrix m n a -> SMatrix m n b -> SMatrix m n (a, b)

zipWith :: (a -> b -> c) -> SMatrix m n a -> SMatrix m n b -> SMatrix m n c

(KnownNat m, KnownNat n, Arbitrary a) => Arbitrary (SMatrix m n a)

Defined in ZkFold.Base.Data.Sparse.Matrix

Methods

arbitrary :: Gen (SMatrix m n a)

shrink :: SMatrix m n a -> [SMatrix m n a]

Show a => Show (SMatrix m n a)

Defined in ZkFold.Base.Data.Sparse.Matrix

Methods

showsPrec :: Int -> SMatrix m n a -> ShowS

show :: SMatrix m n a -> String

showList :: [SMatrix m n a] -> ShowS

(KnownNat m, KnownNat n, Eq a) => Eq (SMatrix m n a)

Defined in ZkFold.Base.Data.Sparse.Matrix

Methods

(==) :: SMatrix m n a -> SMatrix m n a -> Bool

(/=) :: SMatrix m n a -> SMatrix m n a -> Bool