ip

Author: zeme-wana

plutus-tx/src/PlutusTx/Bool.hs

@@ -19,8 +19,7 @@ import Prelude (Bool (..), otherwise)
   False
 
   >>> False && error ()
-  False
--}
+  False -}
 infixr 3 &&
 
 (&&) :: Bool -> Bool -> Bool
@@ -33,8 +32,7 @@ infixr 3 &&
   True
 
   >>> True || error ()
-  True
--}
+  True -}
 infixr 2 ||
 
 (||) :: Bool -> Bool -> Bool

plutus-tx/test/Bool/Spec.hs

@@ -1,11 +1,11 @@
 module Bool.Spec (boolTests) where
 
-import PlutusTx.Builtins as Tx
 import PlutusTx.Bool qualified as Tx
+import PlutusTx.Builtins as Tx
 
-import Prelude (($))
 import Test.Tasty
 import Test.Tasty.HUnit
+import Prelude (($))
 
 boolTests :: TestTree
 boolTests =

plutus-tx/test/Spec.hs

@@ -6,6 +6,7 @@
 module Main (main) where
 
 import Blueprint.Definition.Spec qualified
+import Bool.Spec (boolTests)
 import Codec.CBOR.FlatTerm qualified as FlatTerm
 import Codec.Serialise (deserialiseOrFail, serialise)
 import Codec.Serialise qualified as Serialise
@@ -19,7 +20,6 @@ import Hedgehog (MonadGen, Property, PropertyT, annotateShow, assert, forAll, pr
 import Hedgehog.Gen qualified as Gen
 import Hedgehog.Range qualified as Range
 import List.Spec (listTests)
-import Bool.Spec (boolTests)
 import PlutusCore.Data (Data (B, Constr, I, List, Map))
 import PlutusTx.Enum (Enum (..))
 import PlutusTx.Numeric (negate)