Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype Vector (size :: Natural) a Source #
Vector [a] |
Instances
(SymbolicData a x, KnownNat n) => SymbolicData a (Vector n x) Source # | |
Defined in ZkFold.Symbolic.Compiler.Arithmetizable | |
Foldable (Vector size) Source # | |
Defined in ZkFold.Base.Data.Vector fold :: Monoid m => Vector size m -> m # foldMap :: Monoid m => (a -> m) -> Vector size a -> m # foldMap' :: Monoid m => (a -> m) -> Vector size a -> m # foldr :: (a -> b -> b) -> b -> Vector size a -> b # foldr' :: (a -> b -> b) -> b -> Vector size a -> b # foldl :: (b -> a -> b) -> b -> Vector size a -> b # foldl' :: (b -> a -> b) -> b -> Vector size a -> b # foldr1 :: (a -> a -> a) -> Vector size a -> a # foldl1 :: (a -> a -> a) -> Vector size a -> a # toList :: Vector size a -> [a] # null :: Vector size a -> Bool # length :: Vector size a -> Int # elem :: Eq a => a -> Vector size a -> Bool # maximum :: Ord a => Vector size a -> a # minimum :: Ord a => Vector size a -> a # | |
Traversable (Vector size) Source # | |
Defined in ZkFold.Base.Data.Vector | |
KnownNat size => Applicative (Vector size) Source # | |
Defined in ZkFold.Base.Data.Vector | |
Functor (Vector size) Source # | |
Semialign (Vector size) Source # | |
Zip (Vector size) Source # | |
(Arbitrary a, KnownNat size) => Arbitrary (Vector size a) Source # | |
Show a => Show (Vector size a) Source # | |
Binary a => Binary (Vector n a) Source # | |
Eq a => Eq (Vector size a) Source # | |
(Random a, KnownNat size) => Random (Vector size a) Source # | |
Defined in ZkFold.Base.Data.Vector | |
Substitution (Vector n b) (Zp n) b Source # | |
fromVector :: Vector size a -> [a] Source #