disable props

haskell · Feb 3, 2024 · a61f9d1 · a61f9d1
1 parent 37660f8
commit a61f9d1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/System/Random/Seed.hs b/src/System/Random/Seed.hs
@@ -94,11 +94,11 @@ class (KnownNat (SeedSize g), 1 <= SeedSize g, Typeable g) => SeedGen g where
   -- number generator. It should be big enough to satisfy the roundtrip properies:
   --
   -- @
-  -- prop> seedGen (unseedGen gen) == gen
+  -- > seedGen (unseedGen gen) == gen
   -- @
   --
   -- @
-  -- prop> unseedGen (seedGen seed) == seed
+  -- > unseedGen (seedGen seed) == seed
   -- @
   type SeedSize g :: Nat
   {-# MINIMAL (seedGen, unseedGen)|(seedGen64, unseedGen64) #-}