Safe Haskell	None
Language	Haskell2010

Byron.Spec.Ledger.Core

Synopsis

newtype Hash = Hash {
- unHash ∷ Maybe Int
}
isValid ∷ Hash → Bool
class HasHash a where
- hash ∷ a → Hash
newtype Owner = Owner {
- unOwner ∷ Natural
}
class HasOwner a where
- owner ∷ a → Owner
newtype SKey = SKey Owner
newtype VKey = VKey Owner
newtype VKeyGenesis = VKeyGenesis {
- unVKeyGenesis ∷ VKey
}
mkVKeyGenesis ∷ Natural → VKeyGenesis
mkVkGenesisSet ∷ Word8 → Set VKeyGenesis
data KeyPair = KeyPair {
- sKey ∷ SKey
- vKey ∷ VKey
}
keyPair ∷ Owner → KeyPair
data Sig a = Sig a Owner
sign ∷ SKey → a → Sig a
verify ∷ Eq a ⇒ VKey → a → Sig a → Bool
newtype Epoch = Epoch {
- unEpoch ∷ Word64
}
newtype Slot = Slot {
- unSlot ∷ Word64
}
newtype SlotCount = SlotCount {
- unSlotCount ∷ Word64
}
addSlot ∷ Slot → SlotCount → Slot
(+.) ∷ Slot → SlotCount → Slot
minusSlot ∷ Slot → SlotCount → Slot
(-.) ∷ Slot → SlotCount → Slot
(*.) ∷ Word64 → BlockCount → SlotCount
minusSlotMaybe ∷ Slot → SlotCount → Maybe Slot
newtype BlockCount = BlockCount {
- unBlockCount ∷ Word64
}
newtype Addr = Addr VKey
mkAddr ∷ Natural → Addr
newtype Lovelace = Lovelace {
- unLovelace ∷ Integer
}
lovelaceCap ∷ Lovelace
class Relation m where
- type Domain m
- type Range m
- singleton ∷ Domain m → Range m → m
- dom ∷ m → Set (Domain m)
- range ∷ m → Set (Range m)
- (◁) ∷ (Ord (Domain m), Foldable f) ⇒ f (Domain m) → m → m
- (<|) ∷ (Ord (Domain m), Foldable f) ⇒ f (Domain m) → m → m
- (⋪) ∷ (Ord (Domain m), Foldable f) ⇒ f (Domain m) → m → m
- (</|) ∷ (Ord (Domain m), Foldable f) ⇒ f (Domain m) → m → m
- (▷) ∷ m → Set (Range m) → m
- (|>) ∷ m → Set (Range m) → m
- (⋫) ∷ m → Set (Range m) → m
- (|/>) ∷ m → Set (Range m) → m
- (∪) ∷ m → m → m
- (⨃) ∷ (Ord (Domain m), Ord (Range m), Foldable f) ⇒ m → f (Domain m, Range m) → m
- (<=◁) ∷ Domain m → m → m
- (▷<=) ∷ m → Range m → m
- (▷>=) ∷ m → Range m → m
- size ∷ Integral n ⇒ m → n
(∈) ∷ (Eq a, Foldable f) ⇒ a → f a → Bool
(∉) ∷ (Eq a, Foldable f) ⇒ a → f a → Bool
(∪+) ∷ (Ord a, Ord b, Num b) ⇒ Map a b → Map a b → Map a b
(⊆) ∷ (Foldable f, Foldable g, Ord a) ⇒ f a → g a → Bool
toSet ∷ (Foldable f, Ord a) ⇒ f a → Set a
(∩) ∷ Ord a ⇒ Set a → Set a → Set a

Documentation

newtype Hash Source #

An encoded hash of part of the system.

Nothing is used to signal to the elaborators (i.e. the algorithms that translate abstract data into data concrete) that they should produce an invalid concrete hash.

Constructors

Hash
Fields unHash ∷ Maybe Int

Instances

Instances details

HasTypeReps Hash Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ Hash → Seq TypeRep Source #

ToCBOR Hash Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

toCBOR ∷ Hash → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Hash → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash] → Size Source #

EncCBOR Hash Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

encCBOR ∷ Hash → Encoding Source #

Data Hash Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Hash → c Hash #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Hash #

toConstr ∷ Hash → Constr #

dataTypeOf ∷ Hash → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Hash) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Hash) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Hash → Hash #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Hash → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Hash → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Hash → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Hash → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Hash → m Hash #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Hash → m Hash #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Hash → m Hash #

Generic Hash Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep Hash
Instance details Defined in Byron.Spec.Ledger.Core type Rep Hash = D1 ('MetaData "Hash" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "Hash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int))))

Methods

from ∷ Hash → Rep Hash x #

to ∷ Rep Hash x → Hash #

Show Hash Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → Hash → ShowS #

show ∷ Hash → String #

showList ∷ [Hash] → ShowS #

Eq Hash Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ Hash → Hash → Bool #

(/=) ∷ Hash → Hash → Bool #

Ord Hash Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

compare ∷ Hash → Hash → Ordering #

(<) ∷ Hash → Hash → Bool #

(<=) ∷ Hash → Hash → Bool #

(>) ∷ Hash → Hash → Bool #

(>=) ∷ Hash → Hash → Bool #

max ∷ Hash → Hash → Hash #

min ∷ Hash → Hash → Hash #

Hashable Hash Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hashWithSalt ∷ Int → Hash → Int Source #

hash ∷ Hash → Int Source #

NoThunks Hash Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → Hash → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Hash → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Hash → String Source #

type Rep Hash Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep Hash = D1 ('MetaData "Hash" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "Hash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int))))

isValid ∷ Hash → Bool Source #

class HasHash a where Source #

Hash part of the ledger payload

Methods

hash ∷ a → Hash Source #

Instances

Instances details

HasHash Addr Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods hash ∷ Addr → Hash Source #
HasHash VKey Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods hash ∷ VKey → Hash Source #
HasHash VKeyGenesis Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods hash ∷ VKeyGenesis → Hash Source #
HasHash TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hash ∷ TxBody → Hash Source #
HasHash [DCert] Source #
Instance details Defined in Byron.Spec.Ledger.Delegation Methods hash ∷ [DCert] → Hash Source #
HasHash [Tx] Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hash ∷ [Tx] → Hash Source #
HasHash (Maybe UProp, [Vote]) Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hash ∷ (Maybe UProp, [Vote]) → Hash Source #

newtype Owner Source #

Representation of the owner of key pair.

Constructors

Owner
Fields unOwner ∷ Natural

Instances

Instances details

HasTypeReps Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ Owner → Seq TypeRep Source #

FromCBOR Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

fromCBOR ∷ Decoder s Owner Source #

label ∷ Proxy Owner → Text Source #

ToCBOR Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

toCBOR ∷ Owner → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Owner → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Owner] → Size Source #

DecCBOR Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

decCBOR ∷ Decoder s Owner Source #

dropCBOR ∷ Proxy Owner → Decoder s () Source #

label ∷ Proxy Owner → Text Source #

EncCBOR Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

encCBOR ∷ Owner → Encoding Source #

Data Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Owner → c Owner #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Owner #

toConstr ∷ Owner → Constr #

dataTypeOf ∷ Owner → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Owner) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Owner) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Owner → Owner #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Owner → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Owner → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Owner → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Owner → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Owner → m Owner #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Owner → m Owner #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Owner → m Owner #

Generic Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep Owner
Instance details Defined in Byron.Spec.Ledger.Core type Rep Owner = D1 ('MetaData "Owner" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "Owner" 'PrefixI 'True) (S1 ('MetaSel ('Just "unOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

Methods

from ∷ Owner → Rep Owner x #

to ∷ Rep Owner x → Owner #

Show Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → Owner → ShowS #

show ∷ Owner → String #

showList ∷ [Owner] → ShowS #

Eq Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ Owner → Owner → Bool #

(/=) ∷ Owner → Owner → Bool #

Ord Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

compare ∷ Owner → Owner → Ordering #

(<) ∷ Owner → Owner → Bool #

(<=) ∷ Owner → Owner → Bool #

(>) ∷ Owner → Owner → Bool #

(>=) ∷ Owner → Owner → Bool #

max ∷ Owner → Owner → Owner #

min ∷ Owner → Owner → Owner #

Hashable Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hashWithSalt ∷ Int → Owner → Int Source #

hash ∷ Owner → Int Source #

NoThunks Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → Owner → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Owner → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Owner → String Source #

type Rep Owner Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep Owner = D1 ('MetaData "Owner" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "Owner" 'PrefixI 'True) (S1 ('MetaSel ('Just "unOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

class HasOwner a where Source #

Methods

owner ∷ a → Owner Source #

Instances

Instances details

HasOwner Addr Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods owner ∷ Addr → Owner Source #
HasOwner SKey Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods owner ∷ SKey → Owner Source #
HasOwner VKey Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods owner ∷ VKey → Owner Source #
HasOwner VKeyGenesis Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods owner ∷ VKeyGenesis → Owner Source #

newtype SKey Source #

Signing Key.

Constructors

SKey Owner

Instances

Instances details

HasOwner SKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

owner ∷ SKey → Owner Source #

HasTypeReps SKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ SKey → Seq TypeRep Source #

ToCBOR SKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

toCBOR ∷ SKey → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SKey → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SKey] → Size Source #

EncCBOR SKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

encCBOR ∷ SKey → Encoding Source #

Data SKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → SKey → c SKey #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SKey #

toConstr ∷ SKey → Constr #

dataTypeOf ∷ SKey → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SKey) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SKey) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → SKey → SKey #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SKey → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SKey → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → SKey → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SKey → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SKey → m SKey #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SKey → m SKey #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SKey → m SKey #

Generic SKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep SKey
Instance details Defined in Byron.Spec.Ledger.Core type Rep SKey = D1 ('MetaData "SKey" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "SKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Owner)))

Methods

from ∷ SKey → Rep SKey x #

to ∷ Rep SKey x → SKey #

Show SKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → SKey → ShowS #

show ∷ SKey → String #

showList ∷ [SKey] → ShowS #

Eq SKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ SKey → SKey → Bool #

(/=) ∷ SKey → SKey → Bool #

Ord SKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

compare ∷ SKey → SKey → Ordering #

(<) ∷ SKey → SKey → Bool #

(<=) ∷ SKey → SKey → Bool #

(>) ∷ SKey → SKey → Bool #

(>=) ∷ SKey → SKey → Bool #

max ∷ SKey → SKey → SKey #

min ∷ SKey → SKey → SKey #

NoThunks SKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → SKey → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SKey → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy SKey → String Source #

type Rep SKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep SKey = D1 ('MetaData "SKey" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "SKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Owner)))

newtype VKey Source #

Verification Key.

Constructors

VKey Owner

Instances

Instances details

HasHash VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hash ∷ VKey → Hash Source #

HasOwner VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

owner ∷ VKey → Owner Source #

HasTypeReps VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ VKey → Seq TypeRep Source #

FromCBOR VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

fromCBOR ∷ Decoder s VKey Source #

label ∷ Proxy VKey → Text Source #

ToCBOR VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

toCBOR ∷ VKey → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy VKey → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VKey] → Size Source #

DecCBOR VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

decCBOR ∷ Decoder s VKey Source #

dropCBOR ∷ Proxy VKey → Decoder s () Source #

label ∷ Proxy VKey → Text Source #

EncCBOR VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

encCBOR ∷ VKey → Encoding Source #

Data VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → VKey → c VKey #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c VKey #

toConstr ∷ VKey → Constr #

dataTypeOf ∷ VKey → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c VKey) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c VKey) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → VKey → VKey #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → VKey → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → VKey → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → VKey → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → VKey → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → VKey → m VKey #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → VKey → m VKey #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → VKey → m VKey #

Generic VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep VKey
Instance details Defined in Byron.Spec.Ledger.Core type Rep VKey = D1 ('MetaData "VKey" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "VKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Owner)))

Methods

from ∷ VKey → Rep VKey x #

to ∷ Rep VKey x → VKey #

Show VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → VKey → ShowS #

show ∷ VKey → String #

showList ∷ [VKey] → ShowS #

Eq VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ VKey → VKey → Bool #

(/=) ∷ VKey → VKey → Bool #

Ord VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

compare ∷ VKey → VKey → Ordering #

(<) ∷ VKey → VKey → Bool #

(<=) ∷ VKey → VKey → Bool #

(>) ∷ VKey → VKey → Bool #

(>=) ∷ VKey → VKey → Bool #

max ∷ VKey → VKey → VKey #

min ∷ VKey → VKey → VKey #

Hashable VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hashWithSalt ∷ Int → VKey → Int Source #

hash ∷ VKey → Int Source #

NoThunks VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → VKey → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VKey → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy VKey → String Source #

HasScheduledDelegations DIState [(Slot, (VKeyGenesis, VKey))] Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

scheduledDelegations ∷ Lens' DIState [(Slot, (VKeyGenesis, VKey))] Source #

HasScheduledDelegations DSState [(Slot, (VKeyGenesis, VKey))] Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

scheduledDelegations ∷ Lens' DSState [(Slot, (VKeyGenesis, VKey))] Source #

type Rep VKey Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep VKey = D1 ('MetaData "VKey" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "VKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Owner)))

newtype VKeyGenesis Source #

A genesis key is a specialisation of a generic VKey.

Constructors

VKeyGenesis
Fields unVKeyGenesis ∷ VKey

Instances

Instances details

HasHash VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hash ∷ VKeyGenesis → Hash Source #

HasOwner VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

owner ∷ VKeyGenesis → Owner Source #

HasTypeReps VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ VKeyGenesis → Seq TypeRep Source #

FromCBOR VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

fromCBOR ∷ Decoder s VKeyGenesis Source #

label ∷ Proxy VKeyGenesis → Text Source #

ToCBOR VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

toCBOR ∷ VKeyGenesis → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy VKeyGenesis → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VKeyGenesis] → Size Source #

DecCBOR VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

decCBOR ∷ Decoder s VKeyGenesis Source #

dropCBOR ∷ Proxy VKeyGenesis → Decoder s () Source #

label ∷ Proxy VKeyGenesis → Text Source #

EncCBOR VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

encCBOR ∷ VKeyGenesis → Encoding Source #

Data VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → VKeyGenesis → c VKeyGenesis #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c VKeyGenesis #

toConstr ∷ VKeyGenesis → Constr #

dataTypeOf ∷ VKeyGenesis → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c VKeyGenesis) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c VKeyGenesis) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → VKeyGenesis → VKeyGenesis #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → VKeyGenesis → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → VKeyGenesis → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → VKeyGenesis → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → VKeyGenesis → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → VKeyGenesis → m VKeyGenesis #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → VKeyGenesis → m VKeyGenesis #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → VKeyGenesis → m VKeyGenesis #

Generic VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep VKeyGenesis
Instance details Defined in Byron.Spec.Ledger.Core type Rep VKeyGenesis = D1 ('MetaData "VKeyGenesis" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "VKeyGenesis" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVKeyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VKey)))

Methods

from ∷ VKeyGenesis → Rep VKeyGenesis x #

to ∷ Rep VKeyGenesis x → VKeyGenesis #

Show VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → VKeyGenesis → ShowS #

show ∷ VKeyGenesis → String #

showList ∷ [VKeyGenesis] → ShowS #

Eq VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ VKeyGenesis → VKeyGenesis → Bool #

(/=) ∷ VKeyGenesis → VKeyGenesis → Bool #

Ord VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

compare ∷ VKeyGenesis → VKeyGenesis → Ordering #

(<) ∷ VKeyGenesis → VKeyGenesis → Bool #

(<=) ∷ VKeyGenesis → VKeyGenesis → Bool #

(>) ∷ VKeyGenesis → VKeyGenesis → Bool #

(>=) ∷ VKeyGenesis → VKeyGenesis → Bool #

max ∷ VKeyGenesis → VKeyGenesis → VKeyGenesis #

min ∷ VKeyGenesis → VKeyGenesis → VKeyGenesis #

Hashable VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hashWithSalt ∷ Int → VKeyGenesis → Int Source #

hash ∷ VKeyGenesis → Int Source #

NoThunks VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → VKeyGenesis → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VKeyGenesis → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy VKeyGenesis → String Source #

HasScheduledDelegations DIState [(Slot, (VKeyGenesis, VKey))] Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

scheduledDelegations ∷ Lens' DIState [(Slot, (VKeyGenesis, VKey))] Source #

HasScheduledDelegations DSState [(Slot, (VKeyGenesis, VKey))] Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

scheduledDelegations ∷ Lens' DSState [(Slot, (VKeyGenesis, VKey))] Source #

type Rep VKeyGenesis Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep VKeyGenesis = D1 ('MetaData "VKeyGenesis" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "VKeyGenesis" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVKeyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VKey)))

mkVKeyGenesis ∷ Natural → VKeyGenesis Source #

mkVkGenesisSet Source #

Arguments

∷ Word8	Number of genesis keys
→ Set VKeyGenesis

Make a set of genesis keys. The genesis keys are continuously numbered from 0 to the given number of genesis keys minus 1.

data KeyPair Source #

Key Pair.

Constructors

KeyPair
Fields sKey ∷ SKey vKey ∷ VKey

Instances

Instances details

HasTypeReps KeyPair Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ KeyPair → Seq TypeRep Source #

Generic KeyPair Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep KeyPair

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep KeyPair = D1 ('MetaData "KeyPair" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "KeyPair" 'PrefixI 'True) (S1 ('MetaSel ('Just "sKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SKey) :*: S1 ('MetaSel ('Just "vKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey)))

Methods

from ∷ KeyPair → Rep KeyPair x #

to ∷ Rep KeyPair x → KeyPair #

Show KeyPair Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → KeyPair → ShowS #

show ∷ KeyPair → String #

showList ∷ [KeyPair] → ShowS #

Eq KeyPair Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ KeyPair → KeyPair → Bool #

(/=) ∷ KeyPair → KeyPair → Bool #

Ord KeyPair Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

compare ∷ KeyPair → KeyPair → Ordering #

(<) ∷ KeyPair → KeyPair → Bool #

(<=) ∷ KeyPair → KeyPair → Bool #

(>) ∷ KeyPair → KeyPair → Bool #

(>=) ∷ KeyPair → KeyPair → Bool #

max ∷ KeyPair → KeyPair → KeyPair #

min ∷ KeyPair → KeyPair → KeyPair #

NoThunks KeyPair Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → KeyPair → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → KeyPair → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy KeyPair → String Source #

type Rep KeyPair Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep KeyPair = D1 ('MetaData "KeyPair" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "KeyPair" 'PrefixI 'True) (S1 ('MetaSel ('Just "sKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SKey) :*: S1 ('MetaSel ('Just "vKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey)))

keyPair ∷ Owner → KeyPair Source #

Return a key pair for a given owner.

data Sig a Source #

A digital signature.

Constructors

Sig a Owner

Instances

Instances details

Typeable a ⇒ HasTypeReps (Sig a) Source #

We need a custom instance here that returns only the top level type. A generic instance would have recursed into type a and since we use typeReps to compute abstractSize, this would mean the size of 'Sig a' would include the size of a (e.g. Tx). This would create an artificial coupling between the size of a type and it's "signature".

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ Sig a → Seq TypeRep Source #

Data a ⇒ Data (Sig a) Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Sig a → c (Sig a) #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c (Sig a) #

toConstr ∷ Sig a → Constr #

dataTypeOf ∷ Sig a → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (Sig a)) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (Sig a)) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Sig a → Sig a #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Sig a → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Sig a → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Sig a → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Sig a → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Sig a → m (Sig a) #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Sig a → m (Sig a) #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Sig a → m (Sig a) #

Generic (Sig a) Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep (Sig a)

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep (Sig a) = D1 ('MetaData "Sig" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "Sig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Owner)))

Methods

from ∷ Sig a → Rep (Sig a) x #

to ∷ Rep (Sig a) x → Sig a #

Show a ⇒ Show (Sig a) Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → Sig a → ShowS #

show ∷ Sig a → String #

showList ∷ [Sig a] → ShowS #

Eq a ⇒ Eq (Sig a) Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ Sig a → Sig a → Bool #

(/=) ∷ Sig a → Sig a → Bool #

Ord a ⇒ Ord (Sig a) Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

compare ∷ Sig a → Sig a → Ordering #

(<) ∷ Sig a → Sig a → Bool #

(<=) ∷ Sig a → Sig a → Bool #

(>) ∷ Sig a → Sig a → Bool #

(>=) ∷ Sig a → Sig a → Bool #

max ∷ Sig a → Sig a → Sig a #

min ∷ Sig a → Sig a → Sig a #

Hashable a ⇒ Hashable (Sig a) Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hashWithSalt ∷ Int → Sig a → Int Source #

hash ∷ Sig a → Int Source #

NoThunks a ⇒ NoThunks (Sig a) Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → Sig a → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Sig a → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Sig a) → String Source #

type Rep (Sig a) Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep (Sig a) = D1 ('MetaData "Sig" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'False) (C1 ('MetaCons "Sig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Owner)))

sign ∷ SKey → a → Sig a Source #

Produce a digital signature

verify ∷ Eq a ⇒ VKey → a → Sig a → Bool Source #

Verify a digital signature

newtype Epoch Source #

Constructors

Epoch
Fields unEpoch ∷ Word64

Instances

Instances details

HasTypeReps Epoch Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ Epoch → Seq TypeRep Source #

ToCBOR Epoch Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

toCBOR ∷ Epoch → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Epoch → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Epoch] → Size Source #

EncCBOR Epoch Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

encCBOR ∷ Epoch → Encoding Source #

Data Epoch Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Epoch → c Epoch #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Epoch #

toConstr ∷ Epoch → Constr #

dataTypeOf ∷ Epoch → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Epoch) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Epoch) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Epoch → Epoch #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Epoch → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Epoch → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Epoch → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Epoch → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Epoch → m Epoch #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Epoch → m Epoch #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Epoch → m Epoch #

Generic Epoch Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep Epoch
Instance details Defined in Byron.Spec.Ledger.Core type Rep Epoch = D1 ('MetaData "Epoch" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "Epoch" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ Epoch → Rep Epoch x #

to ∷ Rep Epoch x → Epoch #

Num Epoch Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(+) ∷ Epoch → Epoch → Epoch #

(-) ∷ Epoch → Epoch → Epoch #

(*) ∷ Epoch → Epoch → Epoch #

negate ∷ Epoch → Epoch #

abs ∷ Epoch → Epoch #

signum ∷ Epoch → Epoch #

fromInteger ∷ Integer → Epoch #

Show Epoch Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → Epoch → ShowS #

show ∷ Epoch → String #

showList ∷ [Epoch] → ShowS #

Eq Epoch Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ Epoch → Epoch → Bool #

(/=) ∷ Epoch → Epoch → Bool #

Ord Epoch Source #

Instance details

Defined in Byron.Spec.Ledger.Core

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 #

Hashable Epoch Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hashWithSalt ∷ Int → Epoch → Int Source #

hash ∷ Epoch → Int Source #

NoThunks Epoch Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → Epoch → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Epoch → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Epoch → String Source #

type Rep Epoch Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep Epoch = D1 ('MetaData "Epoch" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "Epoch" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype Slot Source #

Constructors

Slot
Fields unSlot ∷ Word64

Instances

Instances details

HasTypeReps Slot Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ Slot → Seq TypeRep Source #

ToCBOR Slot Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

toCBOR ∷ Slot → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Slot → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Slot] → Size Source #

EncCBOR Slot Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

encCBOR ∷ Slot → Encoding Source #

Data Slot Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Slot → c Slot #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Slot #

toConstr ∷ Slot → Constr #

dataTypeOf ∷ Slot → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Slot) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Slot) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Slot → Slot #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Slot → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Slot → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Slot → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Slot → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Slot → m Slot #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Slot → m Slot #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Slot → m Slot #

Generic Slot Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep Slot
Instance details Defined in Byron.Spec.Ledger.Core type Rep Slot = D1 ('MetaData "Slot" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "Slot" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ Slot → Rep Slot x #

to ∷ Rep Slot x → Slot #

Show Slot Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → Slot → ShowS #

show ∷ Slot → String #

showList ∷ [Slot] → ShowS #

Eq Slot Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ Slot → Slot → Bool #

(/=) ∷ Slot → Slot → Bool #

Ord Slot Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

compare ∷ Slot → Slot → Ordering #

(<) ∷ Slot → Slot → Bool #

(<=) ∷ Slot → Slot → Bool #

(>) ∷ Slot → Slot → Bool #

(>=) ∷ Slot → Slot → Bool #

max ∷ Slot → Slot → Slot #

min ∷ Slot → Slot → Slot #

Hashable Slot Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hashWithSalt ∷ Int → Slot → Int Source #

hash ∷ Slot → Int Source #

NoThunks Slot Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → Slot → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Slot → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Slot → String Source #

HasScheduledDelegations DIState [(Slot, (VKeyGenesis, VKey))] Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

scheduledDelegations ∷ Lens' DIState [(Slot, (VKeyGenesis, VKey))] Source #

HasScheduledDelegations DSState [(Slot, (VKeyGenesis, VKey))] Source #

Instance details

Defined in Byron.Spec.Ledger.Delegation

Methods

scheduledDelegations ∷ Lens' DSState [(Slot, (VKeyGenesis, VKey))] Source #

type Rep Slot Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep Slot = D1 ('MetaData "Slot" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "Slot" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype SlotCount Source #

A number of slots.

We use this newtype to distinguish between a cardinal slot and a relative period of slots, and also to distinguish between number of slots and number of blocks.

Constructors

SlotCount
Fields unSlotCount ∷ Word64

Instances

Instances details

HasTypeReps SlotCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ SlotCount → Seq TypeRep Source #

ToCBOR SlotCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

toCBOR ∷ SlotCount → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SlotCount → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SlotCount] → Size Source #

EncCBOR SlotCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

encCBOR ∷ SlotCount → Encoding Source #

Data SlotCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → SlotCount → c SlotCount #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SlotCount #

toConstr ∷ SlotCount → Constr #

dataTypeOf ∷ SlotCount → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SlotCount) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SlotCount) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → SlotCount → SlotCount #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SlotCount → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SlotCount → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → SlotCount → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SlotCount → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SlotCount → m SlotCount #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SlotCount → m SlotCount #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SlotCount → m SlotCount #

Generic SlotCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep SlotCount
Instance details Defined in Byron.Spec.Ledger.Core type Rep SlotCount = D1 ('MetaData "SlotCount" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "SlotCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ SlotCount → Rep SlotCount x #

to ∷ Rep SlotCount x → SlotCount #

Num SlotCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(+) ∷ SlotCount → SlotCount → SlotCount #

(-) ∷ SlotCount → SlotCount → SlotCount #

(*) ∷ SlotCount → SlotCount → SlotCount #

negate ∷ SlotCount → SlotCount #

abs ∷ SlotCount → SlotCount #

signum ∷ SlotCount → SlotCount #

fromInteger ∷ Integer → SlotCount #

Show SlotCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → SlotCount → ShowS #

show ∷ SlotCount → String #

showList ∷ [SlotCount] → ShowS #

Eq SlotCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ SlotCount → SlotCount → Bool #

(/=) ∷ SlotCount → SlotCount → Bool #

Ord SlotCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

compare ∷ SlotCount → SlotCount → Ordering #

(<) ∷ SlotCount → SlotCount → Bool #

(<=) ∷ SlotCount → SlotCount → Bool #

(>) ∷ SlotCount → SlotCount → Bool #

(>=) ∷ SlotCount → SlotCount → Bool #

max ∷ SlotCount → SlotCount → SlotCount #

min ∷ SlotCount → SlotCount → SlotCount #

Hashable SlotCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hashWithSalt ∷ Int → SlotCount → Int Source #

hash ∷ SlotCount → Int Source #

NoThunks SlotCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → SlotCount → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SlotCount → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy SlotCount → String Source #

type Rep SlotCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep SlotCount = D1 ('MetaData "SlotCount" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "SlotCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

addSlot ∷ Slot → SlotCount → Slot Source #

Add a slot count to a slot.

(+.) ∷ Slot → SlotCount → Slot infixl 6 Source #

An alias for addSlot

minusSlot ∷ Slot → SlotCount → Slot Source #

Subtract a slot count from a slot.

This is bounded below by 0.

(-.) ∷ Slot → SlotCount → Slot infixl 6 Source #

An alias for minusSlot

(*.) ∷ Word64 → BlockCount → SlotCount infixl 7 Source #

Multiply the block count by the given constant. This function does not check for overflow.

minusSlotMaybe ∷ Slot → SlotCount → Maybe Slot Source #

Subtract a slot count from a slot.

In case the slot count is greater than the slot's index, it returns Nothing.

newtype BlockCount Source #

Constructors

BlockCount
Fields unBlockCount ∷ Word64

Instances

Instances details

HasTypeReps BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ BlockCount → Seq TypeRep Source #

FromCBOR BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

fromCBOR ∷ Decoder s BlockCount Source #

label ∷ Proxy BlockCount → Text Source #

ToCBOR BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

toCBOR ∷ BlockCount → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy BlockCount → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BlockCount] → Size Source #

DecCBOR BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

decCBOR ∷ Decoder s BlockCount Source #

dropCBOR ∷ Proxy BlockCount → Decoder s () Source #

label ∷ Proxy BlockCount → Text Source #

EncCBOR BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

encCBOR ∷ BlockCount → Encoding Source #

Generic BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep BlockCount
Instance details Defined in Byron.Spec.Ledger.Core type Rep BlockCount = D1 ('MetaData "BlockCount" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "BlockCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ BlockCount → Rep BlockCount x #

to ∷ Rep BlockCount x → BlockCount #

Num BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(+) ∷ BlockCount → BlockCount → BlockCount #

(-) ∷ BlockCount → BlockCount → BlockCount #

(*) ∷ BlockCount → BlockCount → BlockCount #

negate ∷ BlockCount → BlockCount #

abs ∷ BlockCount → BlockCount #

signum ∷ BlockCount → BlockCount #

fromInteger ∷ Integer → BlockCount #

Show BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → BlockCount → ShowS #

show ∷ BlockCount → String #

showList ∷ [BlockCount] → ShowS #

Eq BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ BlockCount → BlockCount → Bool #

(/=) ∷ BlockCount → BlockCount → Bool #

Ord BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

compare ∷ BlockCount → BlockCount → Ordering #

(<) ∷ BlockCount → BlockCount → Bool #

(<=) ∷ BlockCount → BlockCount → Bool #

(>) ∷ BlockCount → BlockCount → Bool #

(>=) ∷ BlockCount → BlockCount → Bool #

max ∷ BlockCount → BlockCount → BlockCount #

min ∷ BlockCount → BlockCount → BlockCount #

Hashable BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hashWithSalt ∷ Int → BlockCount → Int Source #

hash ∷ BlockCount → Int Source #

NoThunks BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → BlockCount → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockCount → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy BlockCount → String Source #

type Rep BlockCount Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep BlockCount = D1 ('MetaData "BlockCount" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "BlockCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype Addr Source #

The address of a transaction output, used to identify the owner.

Constructors

Addr VKey

Instances

Instances details

HasHash Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hash ∷ Addr → Hash Source #

HasOwner Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

owner ∷ Addr → Owner Source #

HasTypeReps Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ Addr → Seq TypeRep Source #

ToCBOR Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

toCBOR ∷ Addr → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Addr → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Addr] → Size Source #

EncCBOR Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

encCBOR ∷ Addr → Encoding Source #

Data Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Addr → c Addr #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Addr #

toConstr ∷ Addr → Constr #

dataTypeOf ∷ Addr → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Addr) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Addr) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Addr → Addr #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Addr → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Addr → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Addr → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Addr → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Addr → m Addr #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Addr → m Addr #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Addr → m Addr #

Generic Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep Addr
Instance details Defined in Byron.Spec.Ledger.Core type Rep Addr = D1 ('MetaData "Addr" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "Addr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VKey)))

Methods

from ∷ Addr → Rep Addr x #

to ∷ Rep Addr x → Addr #

Show Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → Addr → ShowS #

show ∷ Addr → String #

showList ∷ [Addr] → ShowS #

Eq Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ Addr → Addr → Bool #

(/=) ∷ Addr → Addr → Bool #

Ord Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

compare ∷ Addr → Addr → Ordering #

(<) ∷ Addr → Addr → Bool #

(<=) ∷ Addr → Addr → Bool #

(>) ∷ Addr → Addr → Bool #

(>=) ∷ Addr → Addr → Bool #

max ∷ Addr → Addr → Addr #

min ∷ Addr → Addr → Addr #

Hashable Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hashWithSalt ∷ Int → Addr → Int Source #

hash ∷ Addr → Int Source #

NoThunks Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → Addr → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Addr → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Addr → String Source #

type Rep Addr Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep Addr = D1 ('MetaData "Addr" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "Addr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VKey)))

mkAddr ∷ Natural → Addr Source #

Create an address from a number.

newtype Lovelace Source #

A unit of value held by a UTxO.

Constructors

Lovelace
Fields unLovelace ∷ Integer

Instances

Instances details

HasTypeReps Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

typeReps ∷ Lovelace → Seq TypeRep Source #

ToCBOR Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

toCBOR ∷ Lovelace → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Lovelace → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Lovelace] → Size Source #

EncCBOR Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

encCBOR ∷ Lovelace → Encoding Source #

Monoid Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

mempty ∷ Lovelace #

mappend ∷ Lovelace → Lovelace → Lovelace #

mconcat ∷ [Lovelace] → Lovelace #

Semigroup Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(<>) ∷ Lovelace → Lovelace → Lovelace #

sconcat ∷ NonEmpty Lovelace → Lovelace #

stimes ∷ Integral b ⇒ b → Lovelace → Lovelace #

Data Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Lovelace → c Lovelace #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Lovelace #

toConstr ∷ Lovelace → Constr #

dataTypeOf ∷ Lovelace → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Lovelace) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Lovelace) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Lovelace → Lovelace #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Lovelace → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Lovelace → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Lovelace → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Lovelace → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Lovelace → m Lovelace #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Lovelace → m Lovelace #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Lovelace → m Lovelace #

Enum Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

succ ∷ Lovelace → Lovelace #

pred ∷ Lovelace → Lovelace #

toEnum ∷ Int → Lovelace #

fromEnum ∷ Lovelace → Int #

enumFrom ∷ Lovelace → [Lovelace] #

enumFromThen ∷ Lovelace → Lovelace → [Lovelace] #

enumFromTo ∷ Lovelace → Lovelace → [Lovelace] #

enumFromThenTo ∷ Lovelace → Lovelace → Lovelace → [Lovelace] #

Generic Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Rep Lovelace
Instance details Defined in Byron.Spec.Ledger.Core type Rep Lovelace = D1 ('MetaData "Lovelace" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "Lovelace" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLovelace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Methods

from ∷ Lovelace → Rep Lovelace x #

to ∷ Rep Lovelace x → Lovelace #

Num Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(+) ∷ Lovelace → Lovelace → Lovelace #

(-) ∷ Lovelace → Lovelace → Lovelace #

(*) ∷ Lovelace → Lovelace → Lovelace #

negate ∷ Lovelace → Lovelace #

abs ∷ Lovelace → Lovelace #

signum ∷ Lovelace → Lovelace #

fromInteger ∷ Integer → Lovelace #

Integral Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

quot ∷ Lovelace → Lovelace → Lovelace #

rem ∷ Lovelace → Lovelace → Lovelace #

div ∷ Lovelace → Lovelace → Lovelace #

mod ∷ Lovelace → Lovelace → Lovelace #

quotRem ∷ Lovelace → Lovelace → (Lovelace, Lovelace) #

divMod ∷ Lovelace → Lovelace → (Lovelace, Lovelace) #

toInteger ∷ Lovelace → Integer #

Real Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

toRational ∷ Lovelace → Rational #

Show Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

showsPrec ∷ Int → Lovelace → ShowS #

show ∷ Lovelace → String #

showList ∷ [Lovelace] → ShowS #

Eq Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

(==) ∷ Lovelace → Lovelace → Bool #

(/=) ∷ Lovelace → Lovelace → Bool #

Ord Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

compare ∷ Lovelace → Lovelace → Ordering #

(<) ∷ Lovelace → Lovelace → Bool #

(<=) ∷ Lovelace → Lovelace → Bool #

(>) ∷ Lovelace → Lovelace → Bool #

(>=) ∷ Lovelace → Lovelace → Bool #

max ∷ Lovelace → Lovelace → Lovelace #

min ∷ Lovelace → Lovelace → Lovelace #

Hashable Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

hashWithSalt ∷ Int → Lovelace → Int Source #

hash ∷ Lovelace → Int Source #

NoThunks Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Methods

noThunks ∷ Context → Lovelace → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Lovelace → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Lovelace → String Source #

type Rep Lovelace Source #

Instance details

Defined in Byron.Spec.Ledger.Core

type Rep Lovelace = D1 ('MetaData "Lovelace" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.1.0-inplace" 'True) (C1 ('MetaCons "Lovelace" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLovelace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

lovelaceCap ∷ Lovelace Source #

Constant amount of Lovelace in the system.

class Relation m where Source #

Minimal complete definition

singleton, dom, range, (◁), (⋪), (▷), (⋫), (∪), (⨃), (<=◁), (▷<=), (▷>=), size

Associated Types

type Domain m Source #

type Range m Source #

Methods

singleton ∷ Domain m → Range m → m Source #

dom ∷ m → Set (Domain m) Source #

Domain

range ∷ m → Set (Range m) Source #

Range

(◁) ∷ (Ord (Domain m), Foldable f) ⇒ f (Domain m) → m → m Source #

Domain restriction

Unicode: 25c1

(<|) ∷ (Ord (Domain m), Foldable f) ⇒ f (Domain m) → m → m Source #

Domain restriction

Unicode: 25c1

(⋪) ∷ (Ord (Domain m), Foldable f) ⇒ f (Domain m) → m → m Source #

Domain exclusion

Unicode: 22ea

(</|) ∷ (Ord (Domain m), Foldable f) ⇒ f (Domain m) → m → m Source #

Domain exclusion

Unicode: 22ea

(▷) ∷ m → Set (Range m) → m Source #

Range restriction

Unicode: 25b7

(|>) ∷ m → Set (Range m) → m Source #

Range restriction

Unicode: 25b7

(⋫) ∷ m → Set (Range m) → m Source #

Range exclusion

Unicode: 22eb

(|/>) ∷ m → Set (Range m) → m Source #

Range exclusion

Unicode: 22eb

(∪) ∷ m → m → m Source #

Union

(⨃) ∷ (Ord (Domain m), Ord (Range m), Foldable f) ⇒ m → f (Domain m, Range m) → m Source #

Union Override Right

(<=◁) ∷ Domain m → m → m infixl 5 Source #

Restrict domain to values less or equal than the given value.

Unicode: 25c1

(▷<=) ∷ m → Range m → m infixl 5 Source #

Restrict range to values less or equal than the given value

Unicode: 25b7

(▷>=) ∷ m → Range m → m infixl 5 Source #

Restrict range to values greater or equal than the given value

Unicode: 25b7

size ∷ Integral n ⇒ m → n Source #

Size of the relation

Instances

Instances details

Relation UTxO Source #

Instance details

Defined in Byron.Spec.Ledger.UTxO

Associated Types

type Domain UTxO
Instance details Defined in Byron.Spec.Ledger.UTxO type Domain UTxO = Domain (Map TxIn TxOut)
type Range UTxO
Instance details Defined in Byron.Spec.Ledger.UTxO type Range UTxO = Range (Map TxIn TxOut)

Methods

singleton ∷ Domain UTxO → Range UTxO → UTxO Source #

dom ∷ UTxO → Set (Domain UTxO) Source #

range ∷ UTxO → Set (Range UTxO) Source #

(◁) ∷ (Ord (Domain UTxO), Foldable f) ⇒ f (Domain UTxO) → UTxO → UTxO Source #

(<|) ∷ (Ord (Domain UTxO), Foldable f) ⇒ f (Domain UTxO) → UTxO → UTxO Source #

(⋪) ∷ (Ord (Domain UTxO), Foldable f) ⇒ f (Domain UTxO) → UTxO → UTxO Source #

(</|) ∷ (Ord (Domain UTxO), Foldable f) ⇒ f (Domain UTxO) → UTxO → UTxO Source #

(▷) ∷ UTxO → Set (Range UTxO) → UTxO Source #

(|>) ∷ UTxO → Set (Range UTxO) → UTxO Source #

(⋫) ∷ UTxO → Set (Range UTxO) → UTxO Source #

(|/>) ∷ UTxO → Set (Range UTxO) → UTxO Source #

(∪) ∷ UTxO → UTxO → UTxO Source #

(⨃) ∷ (Ord (Domain UTxO), Ord (Range UTxO), Foldable f) ⇒ UTxO → f (Domain UTxO, Range UTxO) → UTxO Source #

(<=◁) ∷ Domain UTxO → UTxO → UTxO Source #

(▷<=) ∷ UTxO → Range UTxO → UTxO Source #

(▷>=) ∷ UTxO → Range UTxO → UTxO Source #

size ∷ Integral n ⇒ UTxO → n Source #

Relation (Set (a, b)) Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Domain (Set (a, b))
Instance details Defined in Byron.Spec.Ledger.Core type Domain (Set (a, b)) = a
type Range (Set (a, b))
Instance details Defined in Byron.Spec.Ledger.Core type Range (Set (a, b)) = b

Methods

singleton ∷ Domain (Set (a, b)) → Range (Set (a, b)) → Set (a, b) Source #

dom ∷ Set (a, b) → Set (Domain (Set (a, b))) Source #

range ∷ Set (a, b) → Set (Range (Set (a, b))) Source #

(◁) ∷ (Ord (Domain (Set (a, b))), Foldable f) ⇒ f (Domain (Set (a, b))) → Set (a, b) → Set (a, b) Source #

(<|) ∷ (Ord (Domain (Set (a, b))), Foldable f) ⇒ f (Domain (Set (a, b))) → Set (a, b) → Set (a, b) Source #

(⋪) ∷ (Ord (Domain (Set (a, b))), Foldable f) ⇒ f (Domain (Set (a, b))) → Set (a, b) → Set (a, b) Source #

(</|) ∷ (Ord (Domain (Set (a, b))), Foldable f) ⇒ f (Domain (Set (a, b))) → Set (a, b) → Set (a, b) Source #

(▷) ∷ Set (a, b) → Set (Range (Set (a, b))) → Set (a, b) Source #

(|>) ∷ Set (a, b) → Set (Range (Set (a, b))) → Set (a, b) Source #

(⋫) ∷ Set (a, b) → Set (Range (Set (a, b))) → Set (a, b) Source #

(|/>) ∷ Set (a, b) → Set (Range (Set (a, b))) → Set (a, b) Source #

(∪) ∷ Set (a, b) → Set (a, b) → Set (a, b) Source #

(⨃) ∷ (Ord (Domain (Set (a, b))), Ord (Range (Set (a, b))), Foldable f) ⇒ Set (a, b) → f (Domain (Set (a, b)), Range (Set (a, b))) → Set (a, b) Source #

(<=◁) ∷ Domain (Set (a, b)) → Set (a, b) → Set (a, b) Source #

(▷<=) ∷ Set (a, b) → Range (Set (a, b)) → Set (a, b) Source #

(▷>=) ∷ Set (a, b) → Range (Set (a, b)) → Set (a, b) Source #

size ∷ Integral n ⇒ Set (a, b) → n Source #

Relation [(a, b)] Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Domain [(a, b)]
Instance details Defined in Byron.Spec.Ledger.Core type Domain [(a, b)] = a
type Range [(a, b)]
Instance details Defined in Byron.Spec.Ledger.Core type Range [(a, b)] = b

Methods

singleton ∷ Domain [(a, b)] → Range [(a, b)] → [(a, b)] Source #

dom ∷ [(a, b)] → Set (Domain [(a, b)]) Source #

range ∷ [(a, b)] → Set (Range [(a, b)]) Source #

(◁) ∷ (Ord (Domain [(a, b)]), Foldable f) ⇒ f (Domain [(a, b)]) → [(a, b)] → [(a, b)] Source #

(<|) ∷ (Ord (Domain [(a, b)]), Foldable f) ⇒ f (Domain [(a, b)]) → [(a, b)] → [(a, b)] Source #

(⋪) ∷ (Ord (Domain [(a, b)]), Foldable f) ⇒ f (Domain [(a, b)]) → [(a, b)] → [(a, b)] Source #

(</|) ∷ (Ord (Domain [(a, b)]), Foldable f) ⇒ f (Domain [(a, b)]) → [(a, b)] → [(a, b)] Source #

(▷) ∷ [(a, b)] → Set (Range [(a, b)]) → [(a, b)] Source #

(|>) ∷ [(a, b)] → Set (Range [(a, b)]) → [(a, b)] Source #

(⋫) ∷ [(a, b)] → Set (Range [(a, b)]) → [(a, b)] Source #

(|/>) ∷ [(a, b)] → Set (Range [(a, b)]) → [(a, b)] Source #

(∪) ∷ [(a, b)] → [(a, b)] → [(a, b)] Source #

(⨃) ∷ (Ord (Domain [(a, b)]), Ord (Range [(a, b)]), Foldable f) ⇒ [(a, b)] → f (Domain [(a, b)], Range [(a, b)]) → [(a, b)] Source #

(<=◁) ∷ Domain [(a, b)] → [(a, b)] → [(a, b)] Source #

(▷<=) ∷ [(a, b)] → Range [(a, b)] → [(a, b)] Source #

(▷>=) ∷ [(a, b)] → Range [(a, b)] → [(a, b)] Source #

size ∷ Integral n ⇒ [(a, b)] → n Source #

(Ord k, Ord v) ⇒ Relation (Bimap k v) Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Domain (Bimap k v)
Instance details Defined in Byron.Spec.Ledger.Core type Domain (Bimap k v) = k
type Range (Bimap k v)
Instance details Defined in Byron.Spec.Ledger.Core type Range (Bimap k v) = v

Methods

singleton ∷ Domain (Bimap k v) → Range (Bimap k v) → Bimap k v Source #

dom ∷ Bimap k v → Set (Domain (Bimap k v)) Source #

range ∷ Bimap k v → Set (Range (Bimap k v)) Source #

(◁) ∷ (Ord (Domain (Bimap k v)), Foldable f) ⇒ f (Domain (Bimap k v)) → Bimap k v → Bimap k v Source #

(<|) ∷ (Ord (Domain (Bimap k v)), Foldable f) ⇒ f (Domain (Bimap k v)) → Bimap k v → Bimap k v Source #

(⋪) ∷ (Ord (Domain (Bimap k v)), Foldable f) ⇒ f (Domain (Bimap k v)) → Bimap k v → Bimap k v Source #

(</|) ∷ (Ord (Domain (Bimap k v)), Foldable f) ⇒ f (Domain (Bimap k v)) → Bimap k v → Bimap k v Source #

(▷) ∷ Bimap k v → Set (Range (Bimap k v)) → Bimap k v Source #

(|>) ∷ Bimap k v → Set (Range (Bimap k v)) → Bimap k v Source #

(⋫) ∷ Bimap k v → Set (Range (Bimap k v)) → Bimap k v Source #

(|/>) ∷ Bimap k v → Set (Range (Bimap k v)) → Bimap k v Source #

(∪) ∷ Bimap k v → Bimap k v → Bimap k v Source #

(⨃) ∷ (Ord (Domain (Bimap k v)), Ord (Range (Bimap k v)), Foldable f) ⇒ Bimap k v → f (Domain (Bimap k v), Range (Bimap k v)) → Bimap k v Source #

(<=◁) ∷ Domain (Bimap k v) → Bimap k v → Bimap k v Source #

(▷<=) ∷ Bimap k v → Range (Bimap k v) → Bimap k v Source #

(▷>=) ∷ Bimap k v → Range (Bimap k v) → Bimap k v Source #

size ∷ Integral n ⇒ Bimap k v → n Source #

Relation (Map k v) Source #

Instance details

Defined in Byron.Spec.Ledger.Core

Associated Types

type Domain (Map k v)
Instance details Defined in Byron.Spec.Ledger.Core type Domain (Map k v) = k
type Range (Map k v)
Instance details Defined in Byron.Spec.Ledger.Core type Range (Map k v) = v

Methods

singleton ∷ Domain (Map k v) → Range (Map k v) → Map k v Source #

dom ∷ Map k v → Set (Domain (Map k v)) Source #

range ∷ Map k v → Set (Range (Map k v)) Source #

(◁) ∷ (Ord (Domain (Map k v)), Foldable f) ⇒ f (Domain (Map k v)) → Map k v → Map k v Source #

(<|) ∷ (Ord (Domain (Map k v)), Foldable f) ⇒ f (Domain (Map k v)) → Map k v → Map k v Source #

(⋪) ∷ (Ord (Domain (Map k v)), Foldable f) ⇒ f (Domain (Map k v)) → Map k v → Map k v Source #

(</|) ∷ (Ord (Domain (Map k v)), Foldable f) ⇒ f (Domain (Map k v)) → Map k v → Map k v Source #

(▷) ∷ Map k v → Set (Range (Map k v)) → Map k v Source #

(|>) ∷ Map k v → Set (Range (Map k v)) → Map k v Source #

(⋫) ∷ Map k v → Set (Range (Map k v)) → Map k v Source #

(|/>) ∷ Map k v → Set (Range (Map k v)) → Map k v Source #

(∪) ∷ Map k v → Map k v → Map k v Source #

(⨃) ∷ (Ord (Domain (Map k v)), Ord (Range (Map k v)), Foldable f) ⇒ Map k v → f (Domain (Map k v), Range (Map k v)) → Map k v Source #

(<=◁) ∷ Domain (Map k v) → Map k v → Map k v Source #

(▷<=) ∷ Map k v → Range (Map k v) → Map k v Source #

(▷>=) ∷ Map k v → Range (Map k v) → Map k v Source #

size ∷ Integral n ⇒ Map k v → n Source #

(∈) ∷ (Eq a, Foldable f) ⇒ a → f a → Bool Source #

Alias for elem.

Unicode: 2208

(∉) ∷ (Eq a, Foldable f) ⇒ a → f a → Bool infixl 4 Source #

Alias for not elem.

Unicode: 2209

(∪+) ∷ (Ord a, Ord b, Num b) ⇒ Map a b → Map a b → Map a b Source #

Union override plus is (AB)∪(BA)∪{k|->v1+v2 | k|->v1 : A / k|->v2 : B}

(⊆) ∷ (Foldable f, Foldable g, Ord a) ⇒ f a → g a → Bool Source #

Inclusion among foldables.

Unicode: 2286

toSet ∷ (Foldable f, Ord a) ⇒ f a → Set a Source #

(∩) ∷ Ord a ⇒ Set a → Set a → Set a Source #