add propagated instances (#2)

Author: martyall

cabal.project

@@ -8,3 +8,9 @@ source-repository-package
   location: https://github.com/chessai/semirings.git
   tag: 2631c542b57abc9bc9e92db273ab8e80ae88048c
   --sha256: j/zGFd2aeowzJfgCCBmJYmG8mDsfF0irqj/cPOw9ulE=
+
+source-repository-package
+  type: git
+  location: https://github.com/martyall/propagators.git
+  tag: 6c1778171ee7c37ca29cf1ec4efaf79c5ec8af62
+  --sha256: 6MUrOeUvp/iRFCTdvAyAGT2ymm5yKRqfN4GCkZ4eDyo=

galois-field.cabal

@@ -29,6 +29,7 @@ common deps
     , MonadRandom     ^>=0.6
     , poly            >=0.3.2  && <0.6
     , protolude       ^>=0.3.3
+    , propagators     ^>=0.1.0
     , QuickCheck      >=2.13   && <2.15
     , semirings       ^>=0.7
     , vector          ^>=0.13.0

src/Data/Field/Galois/Base.hs

@@ -6,6 +6,7 @@ where
 import Control.Monad.Random (Random)
 import Data.Field (Field)
 import Data.Group qualified as G (Group (..))
+import Data.Propagator (PropagatedNum)
 import GHC.Natural (Natural)
 import Protolude hiding (one, quot, (-))
 import Test.QuickCheck (Arbitrary)
@@ -26,7 +27,8 @@ class
     Pretty k,
     Random k,
     Show k,
-    NFData k
+    NFData k,
+    PropagatedNum k
   ) =>
   GaloisField k
   where

src/Data/Field/Galois/Binary.hs

@@ -13,6 +13,7 @@ import Data.Euclidean as S (Euclidean (..), GcdDomain)
 import Data.Field (Field)
 import Data.Field.Galois.Base (GaloisField (..))
 import Data.Group (Group (..))
+import Data.Propagator (Propagated, PropagatedNum)
 import Data.Semiring (Ring (..), Semiring (..))
 import Data.Vector.Unboxed as V (fromList, length, toList)
 import GHC.Exts (IsList (..))
@@ -43,6 +44,10 @@ instance (KnownNat p) => BinaryField (Binary p) where
   fromB (B x) = toInteger x
   {-# INLINEABLE fromB #-}
 
+instance Propagated (Binary p)
+
+instance (KnownNat p) => PropagatedNum (Binary p)
+
 -- Binary fields are Galois fields.
 instance (KnownNat p) => GaloisField (Binary p) where
   char = const 2

src/Data/Field/Galois/Extension.hs

@@ -24,6 +24,7 @@ import Data.Field.Galois.Base (GaloisField (..))
 import Data.Field.Galois.Frobenius (frobenius)
 import Data.Group (Group (..))
 import Data.Poly (VPoly, leading, monomial, scale, toPoly, unPoly)
+import Data.Propagator (Propagated, PropagatedNum)
 import Data.Semiring (Ring (..), Semiring (..))
 import GHC.Exts (IsList (..))
 import Protolude as P hiding (Semiring, rem, toList)
@@ -69,6 +70,10 @@ instance (IrreducibleMonic p k) => GaloisField (Extension p k) where
     Nothing -> pow y $ char y
   {-# INLINEABLE frob #-}
 
+instance (IrreducibleMonic p k) => Propagated (Extension p k)
+
+instance (IrreducibleMonic p k) => PropagatedNum (Extension p k)
+
 {-# RULES
 "Extension.pow" forall (k :: (IrreducibleMonic p k) => Extension p k) n.
   (^) k n =

src/Data/Field/Galois/Prime.hs

@@ -12,6 +12,7 @@ import Data.Field (Field)
 import Data.Field.Galois.Base (GaloisField (..))
 import Data.Group (Group (..))
 import Data.Mod (Mod, unMod, (^%))
+import Data.Propagator (Propagated, PropagatedNum)
 import Data.Semiring (Ring (..), Semiring (..))
 import GHC.Natural (naturalToInteger)
 import GHC.TypeNats (natVal)
@@ -34,6 +35,10 @@ class (GaloisField k) => PrimeField k where
 newtype Prime (p :: Nat) = P (Mod p)
   deriving (Eq, Ord, Show, Generic, Num, Fractional, Euclidean, Field, GcdDomain, Ring, Semiring, Bounded, Enum, NFData)
 
+instance (KnownNat p) => Propagated (Prime p)
+
+instance (KnownNat p) => PropagatedNum (Prime p)
+
 instance Hashable (Prime p) where
   hashWithSalt s (P x) = hashWithSalt s (unMod x)