Safe Haskell	Safe-Inferred
Language	Haskell2010

Testnet.Runtime

Synopsis

data LeadershipSlot = LeadershipSlot {
- slotNumber :: Int
- slotTime :: Text
}
data NodeLoggingFormat
- = NodeLoggingFormatAsJson
- | NodeLoggingFormatAsText
data PaymentKeyInfo = PaymentKeyInfo {
- paymentKeyInfoPair :: PaymentKeyPair
- paymentKeyInfoAddr :: Text
}
data PaymentKeyPair = PaymentKeyPair {
- paymentVKey :: FilePath
- paymentSKey :: FilePath
}
data StakingKeyPair = StakingKeyPair {
- stakingVKey :: FilePath
- stakingSKey :: FilePath
}
data TestnetRuntime = TestnetRuntime {
- configurationFile :: FilePath
- shelleyGenesisFile :: FilePath
- testnetMagic :: Int
- poolNodes :: [PoolNode]
- wallets :: [PaymentKeyInfo]
- delegators :: [Delegator]
}
data NodeRuntime = NodeRuntime {
- nodeName :: String
- nodeSprocket :: Sprocket
- nodeStdinHandle :: Handle
- nodeStdout :: FilePath
- nodeStderr :: FilePath
- nodeProcessHandle :: ProcessHandle
}
data PoolNode = PoolNode {
- poolRuntime :: NodeRuntime
- poolKeys :: PoolNodeKeys
}
data PoolNodeKeys = PoolNodeKeys {
- poolNodeKeysColdVkey :: FilePath
- poolNodeKeysColdSkey :: FilePath
- poolNodeKeysVrfVkey :: FilePath
- poolNodeKeysVrfSkey :: FilePath
- poolNodeKeysStakingVkey :: FilePath
- poolNodeKeysStakingSkey :: FilePath
}
data Delegator = Delegator {
- paymentKeyPair :: PaymentKeyPair
- stakingKeyPair :: StakingKeyPair
}
allNodes :: TestnetRuntime -> [NodeRuntime]
poolSprockets :: TestnetRuntime -> [Sprocket]
poolNodeStdout :: PoolNode -> FilePath
readNodeLoggingFormat :: String -> Either String NodeLoggingFormat
startNode :: TmpAbsolutePath -> String -> Int -> Int -> [String] -> ExceptT NodeStartFailure (ResourceT IO) NodeRuntime
data ShelleyGenesis c = ShelleyGenesis {
- sgSystemStart :: !UTCTime
- sgNetworkMagic :: !Word32
- sgNetworkId :: !Network
- sgActiveSlotsCoeff :: !PositiveUnitInterval
- sgSecurityParam :: !Word64
- sgEpochLength :: !EpochSize
- sgSlotsPerKESPeriod :: !Word64
- sgMaxKESEvolutions :: !Word64
- sgSlotLength :: !NominalDiffTimeMicro
- sgUpdateQuorum :: !Word64
- sgMaxLovelaceSupply :: !Word64
- sgProtocolParams :: !(PParams (ShelleyEra c))
- sgGenDelegs :: !(Map (KeyHash 'Genesis c) (GenDelegPair c))
- sgInitialFunds :: ListMap (Addr c) Coin
- sgStaking :: ShelleyGenesisStaking c
}
shelleyGenesis :: (MonadTest m, MonadIO m, HasCallStack) => TestnetRuntime -> m (ShelleyGenesis StandardCrypto)
getStartTime :: (MonadTest m, MonadIO m, HasCallStack) => FilePath -> TestnetRuntime -> m UTCTime
fromNominalDiffTimeMicro :: NominalDiffTimeMicro -> NominalDiffTime
startLedgerNewEpochStateLogging :: forall m. HasCallStack => MonadCatch m => MonadResource m => MonadTest m => TestnetRuntime -> FilePath -> m ()

Documentation

data LeadershipSlot Source #

Constructors

LeadershipSlot
Fields slotNumber :: Int slotTime :: Text

Instances

Instances details

FromJSON LeadershipSlot Source #
Instance details Defined in Testnet.Runtime Methods parseJSON :: Value -> Parser LeadershipSlot # parseJSONList :: Value -> Parser [LeadershipSlot] # omittedField :: Maybe LeadershipSlot #
Generic LeadershipSlot Source #
Instance details Defined in Testnet.Runtime Associated Types type Rep LeadershipSlot :: Type -> Type Source # Methods from :: LeadershipSlot -> Rep LeadershipSlot x Source # to :: Rep LeadershipSlot x -> LeadershipSlot Source #
Show LeadershipSlot Source #
Instance details Defined in Testnet.Runtime Methods showsPrec :: Int -> LeadershipSlot -> ShowS Source # show :: LeadershipSlot -> String Source # showList :: [LeadershipSlot] -> ShowS Source #
Eq LeadershipSlot Source #
Instance details Defined in Testnet.Runtime Methods (==) :: LeadershipSlot -> LeadershipSlot -> Bool Source # (/=) :: LeadershipSlot -> LeadershipSlot -> Bool Source #
type Rep LeadershipSlot Source #
Instance details Defined in Testnet.Runtime type Rep LeadershipSlot = D1 ('MetaData "LeadershipSlot" "Testnet.Runtime" "cardano-testnet-8.8.0-inplace" 'False) (C1 ('MetaCons "LeadershipSlot" 'PrefixI 'True) (S1 ('MetaSel ('Just "slotNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "slotTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data NodeLoggingFormat Source #

Constructors

NodeLoggingFormatAsJson
NodeLoggingFormatAsText

Instances

Instances details

Show NodeLoggingFormat Source #
Instance details Defined in Testnet.Start.Types Methods showsPrec :: Int -> NodeLoggingFormat -> ShowS Source # show :: NodeLoggingFormat -> String Source # showList :: [NodeLoggingFormat] -> ShowS Source #
Eq NodeLoggingFormat Source #
Instance details Defined in Testnet.Start.Types Methods (==) :: NodeLoggingFormat -> NodeLoggingFormat -> Bool Source # (/=) :: NodeLoggingFormat -> NodeLoggingFormat -> Bool Source #

data PaymentKeyInfo Source #

Constructors

PaymentKeyInfo
Fields paymentKeyInfoPair :: PaymentKeyPair paymentKeyInfoAddr :: Text

Instances

Instances details

Show PaymentKeyInfo Source #
Instance details Defined in Testnet.Runtime Methods showsPrec :: Int -> PaymentKeyInfo -> ShowS Source # show :: PaymentKeyInfo -> String Source # showList :: [PaymentKeyInfo] -> ShowS Source #
Eq PaymentKeyInfo Source #
Instance details Defined in Testnet.Runtime Methods (==) :: PaymentKeyInfo -> PaymentKeyInfo -> Bool Source # (/=) :: PaymentKeyInfo -> PaymentKeyInfo -> Bool Source #

data PaymentKeyPair Source #

Constructors

PaymentKeyPair
Fields paymentVKey :: FilePath paymentSKey :: FilePath

Instances

Instances details

Show PaymentKeyPair Source #
Instance details Defined in Testnet.Runtime Methods showsPrec :: Int -> PaymentKeyPair -> ShowS Source # show :: PaymentKeyPair -> String Source # showList :: [PaymentKeyPair] -> ShowS Source #
Eq PaymentKeyPair Source #
Instance details Defined in Testnet.Runtime Methods (==) :: PaymentKeyPair -> PaymentKeyPair -> Bool Source # (/=) :: PaymentKeyPair -> PaymentKeyPair -> Bool Source #

data StakingKeyPair Source #

Constructors

StakingKeyPair
Fields stakingVKey :: FilePath stakingSKey :: FilePath

Instances

Instances details

Show StakingKeyPair Source #
Instance details Defined in Testnet.Runtime Methods showsPrec :: Int -> StakingKeyPair -> ShowS Source # show :: StakingKeyPair -> String Source # showList :: [StakingKeyPair] -> ShowS Source #
Eq StakingKeyPair Source #
Instance details Defined in Testnet.Runtime Methods (==) :: StakingKeyPair -> StakingKeyPair -> Bool Source # (/=) :: StakingKeyPair -> StakingKeyPair -> Bool Source #

data TestnetRuntime Source #

Constructors

TestnetRuntime
Fields configurationFile :: FilePath shelleyGenesisFile :: FilePath testnetMagic :: Int poolNodes :: [PoolNode] wallets :: [PaymentKeyInfo] delegators :: [Delegator]

data NodeRuntime Source #

Constructors

NodeRuntime
Fields nodeName :: String nodeSprocket :: Sprocket nodeStdinHandle :: Handle nodeStdout :: FilePath nodeStderr :: FilePath nodeProcessHandle :: ProcessHandle

data PoolNode Source #

Constructors

PoolNode
Fields poolRuntime :: NodeRuntime poolKeys :: PoolNodeKeys

data PoolNodeKeys Source #

Constructors

PoolNodeKeys
Fields poolNodeKeysColdVkey :: FilePath poolNodeKeysColdSkey :: FilePath poolNodeKeysVrfVkey :: FilePath poolNodeKeysVrfSkey :: FilePath poolNodeKeysStakingVkey :: FilePath poolNodeKeysStakingSkey :: FilePath

Instances

Instances details

Show PoolNodeKeys Source #
Instance details Defined in Testnet.Runtime Methods showsPrec :: Int -> PoolNodeKeys -> ShowS Source # show :: PoolNodeKeys -> String Source # showList :: [PoolNodeKeys] -> ShowS Source #
Eq PoolNodeKeys Source #
Instance details Defined in Testnet.Runtime Methods (==) :: PoolNodeKeys -> PoolNodeKeys -> Bool Source # (/=) :: PoolNodeKeys -> PoolNodeKeys -> Bool Source #

data Delegator Source #

Constructors

Delegator
Fields paymentKeyPair :: PaymentKeyPair stakingKeyPair :: StakingKeyPair

Instances

Instances details

Show Delegator Source #
Instance details Defined in Testnet.Runtime Methods showsPrec :: Int -> Delegator -> ShowS Source # show :: Delegator -> String Source # showList :: [Delegator] -> ShowS Source #
Eq Delegator Source #
Instance details Defined in Testnet.Runtime Methods (==) :: Delegator -> Delegator -> Bool Source # (/=) :: Delegator -> Delegator -> Bool Source #

allNodes :: TestnetRuntime -> [NodeRuntime] Source #

poolSprockets :: TestnetRuntime -> [Sprocket] Source #

poolNodeStdout :: PoolNode -> FilePath Source #

readNodeLoggingFormat :: String -> Either String NodeLoggingFormat Source #

startNode Source #

Arguments

:: TmpAbsolutePath	The temporary absolute path
-> String	The name of the node
-> Int	Node port
-> Int	Testnet magic
-> [String]	The command --socket-path will be added automatically.
-> ExceptT NodeStartFailure (ResourceT IO) NodeRuntime

Start a node, creating file handles, sockets and temp-dirs.

data ShelleyGenesis c #

Constructors

ShelleyGenesis

Fields

sgSystemStart :: !UTCTime
sgNetworkMagic :: !Word32
sgNetworkId :: !Network
sgActiveSlotsCoeff :: !PositiveUnitInterval
sgSecurityParam :: !Word64
sgEpochLength :: !EpochSize
sgSlotsPerKESPeriod :: !Word64
sgMaxKESEvolutions :: !Word64
sgSlotLength :: !NominalDiffTimeMicro
sgUpdateQuorum :: !Word64
sgMaxLovelaceSupply :: !Word64
sgProtocolParams :: !(PParams (ShelleyEra c))
sgGenDelegs :: !(Map (KeyHash 'Genesis c) (GenDelegPair c))
sgInitialFunds :: ListMap (Addr c) Coin
sgStaking :: ShelleyGenesisStaking c

Instances

Instances details

Crypto c => FromJSON (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods parseJSON :: Value -> Parser (ShelleyGenesis c) # parseJSONList :: Value -> Parser [ShelleyGenesis c] # omittedField :: Maybe (ShelleyGenesis c) #
Crypto c => ToJSON (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods toJSON :: ShelleyGenesis c -> Value # toEncoding :: ShelleyGenesis c -> Encoding # toJSONList :: [ShelleyGenesis c] -> Value # toEncodingList :: [ShelleyGenesis c] -> Encoding # omitField :: ShelleyGenesis c -> Bool #
Generic (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Associated Types type Rep (ShelleyGenesis c) :: Type -> Type Source # Methods from :: ShelleyGenesis c -> Rep (ShelleyGenesis c) x Source # to :: Rep (ShelleyGenesis c) x -> ShelleyGenesis c Source #
Crypto c => Show (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods showsPrec :: Int -> ShelleyGenesis c -> ShowS Source # show :: ShelleyGenesis c -> String Source # showList :: [ShelleyGenesis c] -> ShowS Source #
Crypto c => FromCBOR (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods fromCBOR :: Decoder s (ShelleyGenesis c) Source # label :: Proxy (ShelleyGenesis c) -> Text Source #
Crypto c => ToCBOR (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods toCBOR :: ShelleyGenesis c -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyGenesis c) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyGenesis c] -> Size Source #
Crypto c => DecCBOR (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods decCBOR :: Decoder s (ShelleyGenesis c) Source # dropCBOR :: Proxy (ShelleyGenesis c) -> Decoder s () Source # label :: Proxy (ShelleyGenesis c) -> Text Source #
Crypto c => EncCBOR (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods encCBOR :: ShelleyGenesis c -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (ShelleyGenesis c) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ShelleyGenesis c] -> Size Source #
Crypto c => Eq (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods (==) :: ShelleyGenesis c -> ShelleyGenesis c -> Bool Source # (/=) :: ShelleyGenesis c -> ShelleyGenesis c -> Bool Source #
Crypto c => NoThunks (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods noThunks :: Context -> ShelleyGenesis c -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ShelleyGenesis c -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ShelleyGenesis c) -> String Source #
type Rep (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis type Rep (ShelleyGenesis c) = D1 ('MetaData "ShelleyGenesis" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.9.0.0-OITWLgav576X6p1CvPotg" 'False) (C1 ('MetaCons "ShelleyGenesis" 'PrefixI 'True) (((S1 ('MetaSel ('Just "sgSystemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :: (S1 ('MetaSel ('Just "sgNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32) :: S1 ('MetaSel ('Just "sgNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network))) :: ((S1 ('MetaSel ('Just "sgActiveSlotsCoeff") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PositiveUnitInterval) :: S1 ('MetaSel ('Just "sgSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)) :: (S1 ('MetaSel ('Just "sgEpochLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochSize) :: S1 ('MetaSel ('Just "sgSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))) :: (((S1 ('MetaSel ('Just "sgMaxKESEvolutions") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :: S1 ('MetaSel ('Just "sgSlotLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NominalDiffTimeMicro)) :: (S1 ('MetaSel ('Just "sgUpdateQuorum") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :: S1 ('MetaSel ('Just "sgMaxLovelaceSupply") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64))) :: ((S1 ('MetaSel ('Just "sgProtocolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams (ShelleyEra c))) :: S1 ('MetaSel ('Just "sgGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'Genesis c) (GenDelegPair c)))) :: (S1 ('MetaSel ('Just "sgInitialFunds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Addr c) Coin)) :: S1 ('MetaSel ('Just "sgStaking") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyGenesisStaking c)))))))

shelleyGenesis :: (MonadTest m, MonadIO m, HasCallStack) => TestnetRuntime -> m (ShelleyGenesis StandardCrypto) Source #

getStartTime :: (MonadTest m, MonadIO m, HasCallStack) => FilePath -> TestnetRuntime -> m UTCTime Source #

fromNominalDiffTimeMicro :: NominalDiffTimeMicro -> NominalDiffTime #

startLedgerNewEpochStateLogging Source #

Arguments

:: forall m. HasCallStack
=> MonadCatch m
=> MonadResource m
=> MonadTest m
=> TestnetRuntime
-> FilePath	tmp workspace directory
-> m ()

Start ledger's new epoch state logging for the first node in the background. Logs will be placed in workspace directorylogsledger-new-epoch-state.log The logging thread will be cancelled when MonadResource releases all resources.