From a61f9d1acf7fe2bca760f6989aa00db204f253b8 Mon Sep 17 00:00:00 2001 From: Alexey Kuleshevich Date: Sat, 3 Feb 2024 16:11:37 +0100 Subject: [PATCH] disable props --- src/System/Random/Seed.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/System/Random/Seed.hs b/src/System/Random/Seed.hs index a873eedc..22c90b00 100644 --- 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) #-}