@@ -52,7 +52,7 @@ import GHC.Integer.Logarithms
5252#endif
5353
5454-- | Binary polynomials of one variable, backed
55- -- by an unboxed 'Data.Vector.Unboxed.Vector' 'Bit'.
55+ -- by an unboxed 'Data.Vector.Unboxed.Vector' t 'Bit'.
5656--
5757-- Polynomials are stored normalized, without leading zero coefficients.
5858--
@@ -67,7 +67,7 @@ import GHC.Integer.Logarithms
6767-- @since 1.0.1.0
6868newtype F2Poly = F2Poly {
6969 unF2Poly :: U. Vector Bit
70- -- ^ Convert an 'F2Poly' to a vector of coefficients
70+ -- ^ Convert an t 'F2Poly' to a vector of coefficients
7171 -- (first element corresponds to a constant term).
7272 --
7373 -- >>> :set -XBinaryLiterals
@@ -78,7 +78,7 @@ newtype F2Poly = F2Poly {
7878 }
7979 deriving (Eq , Ord , Generic , NFData )
8080
81- -- | Make an 'F2Poly' from a list of coefficients
81+ -- | Make an t 'F2Poly' from a list of coefficients
8282-- (first element corresponds to a constant term).
8383--
8484-- >>> :set -XOverloadedLists
@@ -105,7 +105,7 @@ one = F2Poly $ BitVec 0 1 $
105105 fromBigNat oneBigNat
106106#endif
107107
108- -- -- | A valid 'F2Poly' has offset 0 and no trailing garbage.
108+ -- -- | A valid t 'F2Poly' has offset 0 and no trailing garbage.
109109-- _isValid :: F2Poly -> Bool
110110-- _isValid (F2Poly (BitVec o l arr)) = o == 0 && l == l'
111111-- where
@@ -116,7 +116,7 @@ one = F2Poly $ BitVec 0 1 $
116116-- 'abs' = 'id' and 'signum' = 'const' 1.
117117--
118118-- 'fromInteger' converts a binary polynomial, encoded as 'Integer',
119- -- to 'F2Poly' encoding.
119+ -- to t 'F2Poly' encoding.
120120instance Num F2Poly where
121121 (+) = coerce xorBits
122122 (-) = coerce xorBits
@@ -164,7 +164,7 @@ instance Enum F2Poly where
164164instance Real F2Poly where
165165 toRational = fromIntegral
166166
167- -- | 'toInteger' converts a binary polynomial, encoded as 'F2Poly',
167+ -- | 'toInteger' converts a binary polynomial, encoded as t 'F2Poly',
168168-- to an 'Integer' encoding.
169169instance Integral F2Poly where
170170#ifdef MIN_VERSION_ghc_bignum
0 commit comments