Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data Permutation n Source #
Instances
Eq (Permutation n) Source # | |
Defined in Data.Fin.Permutation (==) :: Permutation n -> Permutation n -> Bool # (/=) :: Permutation n -> Permutation n -> Bool # | |
Show (Permutation n) Source # | |
Defined in Data.Fin.Permutation showsPrec :: Int -> Permutation n -> ShowS # show :: Permutation n -> String # showList :: [Permutation n] -> ShowS # | |
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 # |