Safe Haskell	None
Language	Haskell2010

Algebra.Field.Finite.Test

Documentation

newtype WrapFiniteField k Source #

Constructors

WrapFiniteField
Fields runWrapFiniteField :: k

Instances

Instances details

(Monad m, FiniteField k) => Serial m (WrapFiniteField k) Source #
Instance details Defined in Algebra.Field.Finite.Test Methods series :: Series m (WrapFiniteField k)
Eq k => Eq (WrapFiniteField k) Source #
Instance details Defined in Algebra.Field.Finite.Test Methods (==) :: WrapFiniteField k -> WrapFiniteField k -> Bool # (/=) :: WrapFiniteField k -> WrapFiniteField k -> Bool #
Ord k => Ord (WrapFiniteField k) Source #
Instance details Defined in Algebra.Field.Finite.Test Methods compare :: WrapFiniteField k -> WrapFiniteField k -> Ordering # (<) :: WrapFiniteField k -> WrapFiniteField k -> Bool # (<=) :: WrapFiniteField k -> WrapFiniteField k -> Bool # (>) :: WrapFiniteField k -> WrapFiniteField k -> Bool # (>=) :: WrapFiniteField k -> WrapFiniteField k -> Bool # max :: WrapFiniteField k -> WrapFiniteField k -> WrapFiniteField k # min :: WrapFiniteField k -> WrapFiniteField k -> WrapFiniteField k #
Read k => Read (WrapFiniteField k) Source #
Instance details Defined in Algebra.Field.Finite.Test Methods readsPrec :: Int -> ReadS (WrapFiniteField k) # readList :: ReadS [WrapFiniteField k] # readPrec :: ReadPrec (WrapFiniteField k) # readListPrec :: ReadPrec [WrapFiniteField k] #
Show k => Show (WrapFiniteField k) Source #
Instance details Defined in Algebra.Field.Finite.Test Methods showsPrec :: Int -> WrapFiniteField k -> ShowS # show :: WrapFiniteField k -> String # showList :: [WrapFiniteField k] -> ShowS #
FiniteField k => Arbitrary (WrapFiniteField k) Source #
Instance details Defined in Algebra.Field.Finite.Test Methods arbitrary :: Gen (WrapFiniteField k) shrink :: WrapFiniteField k -> [WrapFiniteField k]

arbitraryFiniteField :: FiniteField k => proxy k -> Gen k Source #

seriesFiniteField :: (FiniteField k, Monad m) => proxy k -> Series m k Source #