Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class (Arbitrary g, Eq g, Generic g, Monoid g, Pretty g, Random g, Show g) => Group g where Source #
Groups.
Element addition.
Element doubling.
Check well-defined.
Group generator.
Identity element.
Element inversion.
mul' :: g -> Integer -> g Source #
Element multiplication.
order :: g -> Integer Source #
Curve order.
rnd :: MonadRandom m => m g Source #
Random element.
Instances
Field elements.
F k |
Instances
Functor Element Source # | |
Eq k => Eq (Element k) Source # | |
Read k => Read (Element k) Source # | |
Show k => Show (Element k) Source # | |
Generic (Element k) Source # | |
FGroup k => Semigroup (Element k) Source # | |
FGroup k => Monoid (Element k) Source # | |
FGroup k => Random (Element k) Source # | |
Defined in Group.Field | |
FGroup k => Arbitrary (Element k) Source # | |
NFData k => NFData (Element k) Source # | |
Defined in Group.Field | |
FGroup k => Pretty (Element k) Source # | |
Defined in Group.Field | |
FGroup k => Group (Element k) Source # | |
Defined in Group.Field | |
type Rep (Element k) Source # | |
Defined in Group.Field |
class GaloisField k => FGroup k where Source #
Field groups.
:: Element k | Group generator. |
:: k | Group element. |