fromInteger | Data.FiniteField.SomeNat |
PrimeField | Data.FiniteField.PrimeField |
SomeNat | |
1 (Type/Class) | Data.FiniteField.SomeNat |
2 (Data Constructor) | Data.FiniteField.SomeNat |
toInteger | Data.FiniteField.PrimeField |
fromInteger | Data.FiniteField.SomeNat |
PrimeField | Data.FiniteField.PrimeField |
SomeNat | |
1 (Type/Class) | Data.FiniteField.SomeNat |
2 (Data Constructor) | Data.FiniteField.SomeNat |
toInteger | Data.FiniteField.PrimeField |