Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data Permutation n Source #
Instances
Natural n => Semigroup (Permutation n) Source # | |
Defined in Data.Fin.Permutation (<>) :: Permutation n -> Permutation n -> Permutation n # sconcat :: NonEmpty (Permutation n) -> Permutation n # stimes :: Integral b => b -> Permutation n -> Permutation n # | |
Natural n => Monoid (Permutation n) Source # | |
Defined in Data.Fin.Permutation mempty :: Permutation n # mappend :: Permutation n -> Permutation n -> Permutation n # mconcat :: [Permutation n] -> Permutation n # | |
Natural n => Group (Permutation n) Source # | |
Defined in Data.Fin.Permutation invert :: Permutation n -> Permutation n # |