Safe Haskell	None
Language	Haskell2010

CardanoShellSpec

Documentation

data Blockchain Source #

Constructors

Blockchain
Fields getBlockchainContents :: !(Map Epoch [Slot])

Instances

Instances details

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

data Epoch Source #

Constructors

Epoch Int

Instances

Instances details

Eq Epoch Source #
Instance details Defined in CardanoShellSpec Methods (==) :: Epoch -> Epoch -> Bool # (/=) :: Epoch -> Epoch -> Bool #
Ord Epoch Source #
Instance details Defined in CardanoShellSpec Methods compare :: Epoch -> Epoch -> Ordering # (<) :: Epoch -> Epoch -> Bool # (<=) :: Epoch -> Epoch -> Bool # (>) :: Epoch -> Epoch -> Bool # (>=) :: Epoch -> Epoch -> Bool # max :: Epoch -> Epoch -> Epoch # min :: Epoch -> Epoch -> Epoch #
Show Epoch Source #
Instance details Defined in CardanoShellSpec Methods showsPrec :: Int -> Epoch -> ShowS # show :: Epoch -> String # showList :: [Epoch] -> ShowS #

data Slot Source #

Constructors

Slot (Maybe Block)

Instances

Instances details

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

data Block Source #

Constructors

Block BlockHash (Maybe InstallerVersion)

Instances

Instances details

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

data BlockHash Source #

Constructors

BlockHash !Text

Instances

Instances details

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

data InstallerVersion Source #

Constructors

InstallerVersion InstallerHash

Instances

Instances details

Eq InstallerVersion Source #
Instance details Defined in CardanoShellSpec Methods (==) :: InstallerVersion -> InstallerVersion -> Bool # (/=) :: InstallerVersion -> InstallerVersion -> Bool #
Ord InstallerVersion Source #
Instance details Defined in CardanoShellSpec Methods compare :: InstallerVersion -> InstallerVersion -> Ordering # (<) :: InstallerVersion -> InstallerVersion -> Bool # (<=) :: InstallerVersion -> InstallerVersion -> Bool # (>) :: InstallerVersion -> InstallerVersion -> Bool # (>=) :: InstallerVersion -> InstallerVersion -> Bool # max :: InstallerVersion -> InstallerVersion -> InstallerVersion # min :: InstallerVersion -> InstallerVersion -> InstallerVersion #
Show InstallerVersion Source #
Instance details Defined in CardanoShellSpec Methods showsPrec :: Int -> InstallerVersion -> ShowS # show :: InstallerVersion -> String # showList :: [InstallerVersion] -> ShowS #

data InstallerHash Source #

Constructors

InstallerHash !Text

Instances

Instances details

Eq InstallerHash Source #
Instance details Defined in CardanoShellSpec Methods (==) :: InstallerHash -> InstallerHash -> Bool # (/=) :: InstallerHash -> InstallerHash -> Bool #
Ord InstallerHash Source #
Instance details Defined in CardanoShellSpec Methods compare :: InstallerHash -> InstallerHash -> Ordering # (<) :: InstallerHash -> InstallerHash -> Bool # (<=) :: InstallerHash -> InstallerHash -> Bool # (>) :: InstallerHash -> InstallerHash -> Bool # (>=) :: InstallerHash -> InstallerHash -> Bool # max :: InstallerHash -> InstallerHash -> InstallerHash # min :: InstallerHash -> InstallerHash -> InstallerHash #
Show InstallerHash Source #
Instance details Defined in CardanoShellSpec Methods showsPrec :: Int -> InstallerHash -> ShowS # show :: InstallerHash -> String # showList :: [InstallerHash] -> ShowS #

newtype LatestInstallerVersion Source #

Constructors

LatestInstallerVersion
Fields getInstallerVersion :: InstallerVersion

Instances

Instances details

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

slotContainsInstaller :: Slot -> Maybe InstallerVersion Source #

type List a = [a] Source #

type Pair a b = (a, b) Source #

pattern Pair :: forall a b. a -> b -> (a, b) Source #

implies :: Bool -> Bool -> Bool infixr 1 Source #

data ServerMessage Source #

Constructors

QueryPort
Ping

Instances

Instances details

Eq ServerMessage Source #
Instance details Defined in CardanoShellSpec Methods (==) :: ServerMessage -> ServerMessage -> Bool # (/=) :: ServerMessage -> ServerMessage -> Bool #
Ord ServerMessage Source #
Instance details Defined in CardanoShellSpec Methods compare :: ServerMessage -> ServerMessage -> Ordering # (<) :: ServerMessage -> ServerMessage -> Bool # (<=) :: ServerMessage -> ServerMessage -> Bool # (>) :: ServerMessage -> ServerMessage -> Bool # (>=) :: ServerMessage -> ServerMessage -> Bool # max :: ServerMessage -> ServerMessage -> ServerMessage # min :: ServerMessage -> ServerMessage -> ServerMessage #

data ClientMessage Source #

Constructors

Started
Pong
ReplyPort Word16

Instances

Instances details

Eq ClientMessage Source #
Instance details Defined in CardanoShellSpec Methods (==) :: ClientMessage -> ClientMessage -> Bool # (/=) :: ClientMessage -> ClientMessage -> Bool #
Ord ClientMessage Source #
Instance details Defined in CardanoShellSpec Methods compare :: ClientMessage -> ClientMessage -> Ordering # (<) :: ClientMessage -> ClientMessage -> Bool # (<=) :: ClientMessage -> ClientMessage -> Bool # (>) :: ClientMessage -> ClientMessage -> Bool # (>=) :: ClientMessage -> ClientMessage -> Bool # max :: ClientMessage -> ClientMessage -> ClientMessage # min :: ClientMessage -> ClientMessage -> ClientMessage #

fullProtocol :: ServerMessage -> ClientMessage Source #

uniqueKeys :: Ord k => Map k v -> Set k Source #

blockchainContents :: Blockchain -> Map Epoch [Slot] Source #

blockchainEpochs :: Blockchain -> Set Epoch Source #

fetchUniqueUpdatesFromBlockchain :: Blockchain -> Set InstallerVersion Source #