chore: reformat

Author: euonymos

Makefile

@@ -7,4 +7,7 @@ clear-sockets:
 
 run-oura-daemon:
 	@clear-sockets || true
-	@oura daemon --config ./test/daemon.toml
+	@oura daemon --config ./test/daemon.toml
+
+format:
+	@fourmolu --mode inplace $(git ls-files '*.hs')

cem-script.cabal

@@ -129,7 +129,6 @@ library cardano-extras
   build-depends:   template-haskell
   exposed-modules:
     Cardano.Extras
-    Plutus.Deriving
     Plutus.Extras
 
 library
@@ -148,9 +147,9 @@ library
     Cardano.CEM.Monads
     Cardano.CEM.Monads.CLB
     Cardano.CEM.Monads.L1
-    Cardano.CEM.OuraConfig
     Cardano.CEM.OffChain
     Cardano.CEM.OnChain
+    Cardano.CEM.OuraConfig
     Cardano.CEM.Stages
     Cardano.CEM.Testing.StateMachine
     Cardano.CEM.TH
@@ -160,59 +159,61 @@ library
     , cem-script:cardano-extras
     , cem-script:data-spine
     , clb
-    , toml-parser
     , dependent-map
     , ouroboros-consensus
     , QuickCheck
     , quickcheck-dynamic
     , singletons-th
+    , toml-parser
 
 test-suite cem-sdk-test
   import:
     common-onchain,
     common-offchain,
 
   type:           exitcode-stdio-1.0
-  ghc-options:   -threaded -Wno-missing-signatures -Wno-incomplete-uni-patterns
+  ghc-options:
+    -threaded -Wno-missing-signatures -Wno-incomplete-uni-patterns
+
   build-depends:
+    , aeson
+    , async
+    , base16
+    , base32
+    , base64
+    , cardano-api
+    , cardano-ledger-core
     , cem-script
     , cem-script:cardano-extras
     , cem-script:data-spine
     , clb
     , dependent-map
+    , directory
     , hspec
     , hspec-core
+    , lens
+    , network
+    , process
     , QuickCheck
     , quickcheck-dynamic
     , random
-    , network
-    , directory
+    , safe
     , toml-parser
-    , process
-    , async
-    , lens
-    , aeson
-    , base64
-    , cardano-api
-    , cardano-ledger-core
     , vector
-    , safe
-    , base16
-    , base32
 
   hs-source-dirs: test/
   other-modules:
     Auction
     Dynamic
     OffChain
-    TestNFT
-    Utils
-    Voting
     Oura
     Oura.Communication
     Oura.Config
     OuraFilters
     OuraFilters.Auction
     OuraFilters.Mock
+    TestNFT
+    Utils
+    Voting
 
   main-is:        Main.hs

docs/arch_principles.md

@@ -2,25 +2,25 @@
 
 ## Principles
 
-* Generic compilation across: on-chain code,
-offchain Tx construction and indexing backend
+* Generic compilation across:
+    * on-chain code
+    * offchain Tx construction
+    * indexing backend
 * Simple normalization and SMT conversion for:
     * Equivalence checking
     * Bi-simulation checking
-* Constraints determine TxIn/Outs up to UTxO coin-selection
-(we call it almost-determinacy)
+* Constraints determine TxIn/Outs up to UTxO coin-selection (we call it almost-determinacy)
 * Datum properties encoded as class types
 * Common on-chain optimizations are performed if possible
-    * Constraints normalization,  and CSE
+    * Constraints normalization, and CSE
     * Best error short-cutting
     * Common security problems prevention
 
 ## Potential obstacles
 
 * Ease and optimality of backend compilation
 * Robustness of SMT conversion and overall normalization
-* Possibility for parsing and correct offchain usage
-of almost-determinacy
+* Possibility for parsing and correct offchain usage of almost-determinacy
 * Having enough information for Tx submit retrying strategies
 * Design for using custom Datum properties is not obvious
 
@@ -32,9 +32,8 @@ all their principles and obstacles are affecting CEM as well.
 ## Principles
 
 * State-machine is deterministic modulo coin-change
-    * Transaction can always be parsed back into SM transitions
-    * Potential non-deterministic on-chain optimizations
-    should not affect this principle.
+* Transaction can always be parsed back into SM transitions
+* Potential non-deterministic on-chain optimizations should not affect this principle.
 
 ## Potential obstacles
 

docs/goals_and_soa.md

@@ -2,13 +2,16 @@
 
 ## Why Cardano DApp modeling language is important?
 
-While prototypes can be easily constructed with existing Cardano frameworks, making it secure and production ready is sisyphean task.
+While prototypes can be easily constructed with existing Cardano frameworks,
+making it secure and production ready is sisyphean task.
 
-We believe, that onchain PL improvements by themselves could not change that. Only higher-level modeling framework can lead to reliable DApp production.
+We believe, that onchain PL improvements by themselves could not change that.
+Only higher-level modeling framework can lead to reliable DApp production.
 
 In following enumerate our high-level design goals
 and demonstrate them by list of specific problems
 arising in existing DApps codebase.
+
 Such problems are specific security vulnerabilities types
 and various kinds development, audit and support cost increase.
 After that we examine how existing solutions

src-lib/cardano-extras/Plutus/Deriving.hs

@@ -19,7 +19,7 @@ import PlutusTx.Show.TH qualified
 -- Project imports
 import Cardano.CEM.Stages
 import Data.Spine
-import qualified PlutusTx.IsData.Class
+import PlutusTx.IsData.Class qualified
 
 -- | This is different ways to specify address
 data AddressSpec
@@ -35,7 +35,7 @@ addressSpecToAddress ownAddress addressSpec = case addressSpec of
   ByPubKey pubKey -> pubKeyHashAddress pubKey
   BySameScript -> ownAddress
 
--- "Tx Fan" - is transaction input or output 
+-- "Tx Fan" - is transaction input or output
 
 -- FIXME: What is this?
 data TxFanFilter script = MkTxFanFilter
@@ -67,6 +67,7 @@ bySameCEM ::
 bySameCEM = UnsafeBySameCEM . toBuiltinData
 
 -- TODO: use natural numbers
+
 -- | How many tx fans should satify a 'TxFansConstraint'
 data Quantifier
   = ExactlyNFans Integer