symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Base.Algebra.Basic.Permutations

Documentation

type IndexSet = Vector Natural Source #

type IndexPartition a = Map a IndexSet Source #

data Permutation n Source #

Instances

Instances details
KnownNat n => Arbitrary (Permutation n) Source # 
Instance details

Defined in ZkFold.Base.Algebra.Basic.Permutations

Methods

arbitrary :: Gen (Permutation n) #

shrink :: Permutation n -> [Permutation n] #

Show (Permutation n) Source # 
Instance details

Defined in ZkFold.Base.Algebra.Basic.Permutations

Methods

showsPrec :: Int -> Permutation n -> ShowS #

show :: Permutation n -> String #

showList :: [Permutation n] -> ShowS #

Eq (Permutation n) Source # 
Instance details

Defined in ZkFold.Base.Algebra.Basic.Permutations

Methods

(==) :: Permutation n -> Permutation n -> Bool #

(/=) :: Permutation n -> Permutation n -> Bool #

fromPermutation :: Permutation n -> [Natural] Source #

applyPermutation :: KnownNat n => Permutation n -> Vector n a -> Vector n a Source #

mkIndexPartition :: Ord a => Vector a -> IndexPartition a Source #

fromCycles :: KnownNat n => IndexPartition a -> Permutation n Source #