cardano-shell-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

CardanoShellSpec

Documentation

data Blockchain Source #

Constructors

Blockchain 

Instances

Instances details
Eq Blockchain Source # 
Instance details

Defined in CardanoShellSpec

Show Blockchain Source # 
Instance details

Defined in CardanoShellSpec

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 #

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

Show BlockHash Source # 
Instance details

Defined in CardanoShellSpec

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 #

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