| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Algebra.Field.Finite
Synopsis
- class (Field k, Characteristic k) => FiniteField k where
- order :: FiniteField k => proxy k -> Natural
- newtype ViaElements k = ViaElements {
- runViaElements :: k
Documentation
class (Field k, Characteristic k) => FiniteField k where Source #
Abstract class for finite fields.
order :: FiniteField k => proxy k -> Natural Source #
newtype ViaElements k Source #
Constructors
| ViaElements | |
Fields
| |
Instances
| FiniteField k => Random (ViaElements k) Source # | |
Defined in Algebra.Field.Finite Methods randomR :: RandomGen g => (ViaElements k, ViaElements k) -> g -> (ViaElements k, g) random :: RandomGen g => g -> (ViaElements k, g) randomRs :: RandomGen g => (ViaElements k, ViaElements k) -> g -> [ViaElements k] randoms :: RandomGen g => g -> [ViaElements k] | |