Fix ormolu errors
- Use Data.Proxy instead of a locally defined data type
- Use Data.Proxy instead of a locally defined data type
import Cardano.Ledger.Credential (Credential (..), StakeCredential)
import qualified Cardano.Ledger.Crypto as CC
import Cardano.Ledger.Keys
( Hash,
( GenesisVRF,
Hash,
KeyHash (..),
KeyRole (..),
GenesisVRF,
)
import Cardano.Ledger.Serialization
( FromCBORGroup (..),
import Cardano.Protocol.TPraos.OCert (KESPeriod (..))
import Cardano.Protocol.TPraos.Rules.Overlay (toGenesisVRF)
import qualified Data.Map.Strict as Map
import Data.Proxy
import qualified Data.Sequence.Strict as StrictSeq
import qualified Data.Set as Set
import Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes (C_Crypto, ExMock)
GenDelegPair (hashKey . vKey $ newGenDelegate) (newGenesisVrfKH phc)
)
data Proxy c = Proxy
expectedStEx1 ::
forall c hc.
(ExMock c hc) =>
import Cardano.Protocol.TPraos.BHeader (BHeader, bhHash)
import Cardano.Protocol.TPraos.OCert (KESPeriod (..))
import qualified Data.Map.Strict as Map
import Data.Proxy
import qualified Data.Sequence.Strict as StrictSeq
import qualified Data.Set as Set
import Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes (ExMock, Mock)
aliceInitCoin = Val.inject $ Coin $ 10 * 1000 * 1000 * 1000 * 1000 * 1000
bobInitCoin = Val.inject $ Coin $ 1 * 1000 * 1000 * 1000 * 1000 * 1000
data Proxy c = Proxy
initStMIR ::
forall era hc.
( ShelleyTest era,
This is using optparse-applicative and includes distinct newtypes for the two ports. To make the newtype wrappers more friendly, it's also using newtype-generics which provides a generic getter function (called 'op') for instances among other things. Also included is some reordering of import lists.
Use flake-parts
check return collateral amount on test_duplicated_collareral
Co-authored-by: Juliano Lazzarotto <[email protected]>
Changed a couple cases where the inner Rc object was cloned to use the Rc object instead