| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GroupPresentation.Element
Documentation
Instances
| Functor Signed Source # | |
| Applicative Signed Source # | |
| Foldable Signed Source # | |
Defined in GroupPresentation.Element Methods fold :: Monoid m => Signed m -> m # foldMap :: Monoid m => (a -> m) -> Signed a -> m # foldMap' :: Monoid m => (a -> m) -> Signed a -> m # foldr :: (a -> b -> b) -> b -> Signed a -> b # foldr' :: (a -> b -> b) -> b -> Signed a -> b # foldl :: (b -> a -> b) -> b -> Signed a -> b # foldl' :: (b -> a -> b) -> b -> Signed a -> b # foldr1 :: (a -> a -> a) -> Signed a -> a # foldl1 :: (a -> a -> a) -> Signed a -> a # elem :: Eq a => a -> Signed a -> Bool # maximum :: Ord a => Signed a -> a # minimum :: Ord a => Signed a -> a # | |
| Traversable Signed Source # | |
| Eq a => Eq (Signed a) Source # | |
| Ord a => Ord (Signed a) Source # | |
Defined in GroupPresentation.Element | |
isPositive :: Signed a -> Bool Source #
getGenerator :: Element -> Generator Source #
module GroupPresentation.Generator