Safe Haskell	Safe-Inferred
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
- type Range m ∷ Type
- singleton ∷ Domain m → Range m → m
- dom ∷ Ord (Domain m) ⇒ m → Set (Domain m)
- range ∷ Ord (Range m) ⇒ 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 (Range m) ⇒ m → Set (Range m) → m
- (⋫), (|/>) ∷ Ord (Range m) ⇒ m → Set (Range m) → m
- (∪) ∷ (Ord (Domain m), Ord (Range m)) ⇒ m → m → m
- (⨃) ∷ (Ord (Domain m), Ord (Range m), Foldable f) ⇒ m → f (Domain m, Range m) → m
- (<=◁) ∷ Ord (Domain m) ⇒ Domain m → m → m
- (▷<=) ∷ Ord (Range m) ⇒ m → Range m → m
- (▷>=) ∷ Ord (Range 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

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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Hash Source # toConstr ∷ Hash → Constr Source # dataTypeOf ∷ Hash → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Hash) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Hash) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Hash → Hash Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Hash → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Hash → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Hash → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Hash → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Hash → m Hash Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Hash → m Hash Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Hash → m Hash Source #
Generic Hash Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep Hash ∷ Type → Type Source # Methods from ∷ Hash → Rep Hash x Source # to ∷ Rep Hash x → Hash Source #
Show Hash Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → Hash → ShowS Source # show ∷ Hash → String Source # showList ∷ [Hash] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Hash → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Hash] → Size Source #
Eq Hash Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ Hash → Hash → Bool Source # (/=) ∷ Hash → Hash → Bool Source #
Ord Hash Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ Hash → Hash → Ordering Source # (<) ∷ Hash → Hash → Bool Source # (<=) ∷ Hash → Hash → Bool Source # (>) ∷ Hash → Hash → Bool Source # (>=) ∷ Hash → Hash → Bool Source # max ∷ Hash → Hash → Hash Source # min ∷ Hash → Hash → Hash Source #
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.0.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

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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Owner Source # toConstr ∷ Owner → Constr Source # dataTypeOf ∷ Owner → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Owner) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Owner) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Owner → Owner Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Owner → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Owner → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Owner → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Owner → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Owner → m Owner Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Owner → m Owner Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Owner → m Owner Source #
Generic Owner Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep Owner ∷ Type → Type Source # Methods from ∷ Owner → Rep Owner x Source # to ∷ Rep Owner x → Owner Source #
Show Owner Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → Owner → ShowS Source # show ∷ Owner → String Source # showList ∷ [Owner] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Owner → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Owner] → Size Source #
Eq Owner Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ Owner → Owner → Bool Source # (/=) ∷ Owner → Owner → Bool Source #
Ord Owner Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ Owner → Owner → Ordering Source # (<) ∷ Owner → Owner → Bool Source # (<=) ∷ Owner → Owner → Bool Source # (>) ∷ Owner → Owner → Bool Source # (>=) ∷ Owner → Owner → Bool Source # max ∷ Owner → Owner → Owner Source # min ∷ Owner → Owner → Owner Source #
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.0.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

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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SKey Source # toConstr ∷ SKey → Constr Source # dataTypeOf ∷ SKey → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SKey) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SKey) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → SKey → SKey Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SKey → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SKey → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → SKey → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SKey → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SKey → m SKey Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SKey → m SKey Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SKey → m SKey Source #
Generic SKey Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep SKey ∷ Type → Type Source # Methods from ∷ SKey → Rep SKey x Source # to ∷ Rep SKey x → SKey Source #
Show SKey Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → SKey → ShowS Source # show ∷ SKey → String Source # showList ∷ [SKey] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SKey → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SKey] → Size Source #
Eq SKey Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ SKey → SKey → Bool Source # (/=) ∷ SKey → SKey → Bool Source #
Ord SKey Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ SKey → SKey → Ordering Source # (<) ∷ SKey → SKey → Bool Source # (<=) ∷ SKey → SKey → Bool Source # (>) ∷ SKey → SKey → Bool Source # (>=) ∷ SKey → SKey → Bool Source # max ∷ SKey → SKey → SKey Source # min ∷ SKey → SKey → SKey Source #
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.0.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

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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c VKey Source # toConstr ∷ VKey → Constr Source # dataTypeOf ∷ VKey → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c VKey) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c VKey) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → VKey → VKey Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → VKey → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → VKey → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → VKey → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → VKey → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → VKey → m VKey Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → VKey → m VKey Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → VKey → m VKey Source #
Generic VKey Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep VKey ∷ Type → Type Source # Methods from ∷ VKey → Rep VKey x Source # to ∷ Rep VKey x → VKey Source #
Show VKey Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → VKey → ShowS Source # show ∷ VKey → String Source # showList ∷ [VKey] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy VKey → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VKey] → Size Source #
Eq VKey Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ VKey → VKey → Bool Source # (/=) ∷ VKey → VKey → Bool Source #
Ord VKey Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ VKey → VKey → Ordering Source # (<) ∷ VKey → VKey → Bool Source # (<=) ∷ VKey → VKey → Bool Source # (>) ∷ VKey → VKey → Bool Source # (>=) ∷ VKey → VKey → Bool Source # max ∷ VKey → VKey → VKey Source # min ∷ VKey → VKey → VKey Source #
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.0.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

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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c VKeyGenesis Source # toConstr ∷ VKeyGenesis → Constr Source # dataTypeOf ∷ VKeyGenesis → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c VKeyGenesis) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c VKeyGenesis) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → VKeyGenesis → VKeyGenesis Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → VKeyGenesis → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → VKeyGenesis → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → VKeyGenesis → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → VKeyGenesis → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → VKeyGenesis → m VKeyGenesis Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → VKeyGenesis → m VKeyGenesis Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → VKeyGenesis → m VKeyGenesis Source #
Generic VKeyGenesis Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep VKeyGenesis ∷ Type → Type Source # Methods from ∷ VKeyGenesis → Rep VKeyGenesis x Source # to ∷ Rep VKeyGenesis x → VKeyGenesis Source #
Show VKeyGenesis Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → VKeyGenesis → ShowS Source # show ∷ VKeyGenesis → String Source # showList ∷ [VKeyGenesis] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy VKeyGenesis → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VKeyGenesis] → Size Source #
Eq VKeyGenesis Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ VKeyGenesis → VKeyGenesis → Bool Source # (/=) ∷ VKeyGenesis → VKeyGenesis → Bool Source #
Ord VKeyGenesis Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ VKeyGenesis → VKeyGenesis → Ordering Source # (<) ∷ VKeyGenesis → VKeyGenesis → Bool Source # (<=) ∷ VKeyGenesis → VKeyGenesis → Bool Source # (>) ∷ VKeyGenesis → VKeyGenesis → Bool Source # (>=) ∷ VKeyGenesis → VKeyGenesis → Bool Source # max ∷ VKeyGenesis → VKeyGenesis → VKeyGenesis Source # min ∷ VKeyGenesis → VKeyGenesis → VKeyGenesis Source #
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.0.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

Generic KeyPair Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep KeyPair ∷ Type → Type Source # Methods from ∷ KeyPair → Rep KeyPair x Source # to ∷ Rep KeyPair x → KeyPair Source #
Show KeyPair Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → KeyPair → ShowS Source # show ∷ KeyPair → String Source # showList ∷ [KeyPair] → ShowS Source #
HasTypeReps KeyPair Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods typeReps ∷ KeyPair → Seq TypeRep Source #
Eq KeyPair Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ KeyPair → KeyPair → Bool Source # (/=) ∷ KeyPair → KeyPair → Bool Source #
Ord KeyPair Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ KeyPair → KeyPair → Ordering Source # (<) ∷ KeyPair → KeyPair → Bool Source # (<=) ∷ KeyPair → KeyPair → Bool Source # (>) ∷ KeyPair → KeyPair → Bool Source # (>=) ∷ KeyPair → KeyPair → Bool Source # max ∷ KeyPair → KeyPair → KeyPair Source # min ∷ KeyPair → KeyPair → KeyPair Source #
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.0.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

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) Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c (Sig a) Source # toConstr ∷ Sig a → Constr Source # dataTypeOf ∷ Sig a → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (Sig a)) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (Sig a)) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Sig a → Sig a Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Sig a → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Sig a → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Sig a → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Sig a → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Sig a → m (Sig a) Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Sig a → m (Sig a) Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Sig a → m (Sig a) Source #
Generic (Sig a) Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep (Sig a) ∷ Type → Type Source # Methods from ∷ Sig a → Rep (Sig a) x Source # to ∷ Rep (Sig a) x → Sig a Source #
Show a ⇒ Show (Sig a) Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → Sig a → ShowS Source # show ∷ Sig a → String Source # showList ∷ [Sig a] → ShowS Source #
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 #
Eq a ⇒ Eq (Sig a) Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ Sig a → Sig a → Bool Source # (/=) ∷ Sig a → Sig a → Bool Source #
Ord a ⇒ Ord (Sig a) Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ Sig a → Sig a → Ordering Source # (<) ∷ Sig a → Sig a → Bool Source # (<=) ∷ Sig a → Sig a → Bool Source # (>) ∷ Sig a → Sig a → Bool Source # (>=) ∷ Sig a → Sig a → Bool Source # max ∷ Sig a → Sig a → Sig a Source # min ∷ Sig a → Sig a → Sig a Source #
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.0.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

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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Epoch Source # toConstr ∷ Epoch → Constr Source # dataTypeOf ∷ Epoch → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Epoch) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Epoch) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Epoch → Epoch Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Epoch → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Epoch → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Epoch → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Epoch → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Epoch → m Epoch Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Epoch → m Epoch Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Epoch → m Epoch Source #
Generic Epoch Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep Epoch ∷ Type → Type Source # Methods from ∷ Epoch → Rep Epoch x Source # to ∷ Rep Epoch x → Epoch Source #
Num Epoch Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (+) ∷ Epoch → Epoch → Epoch Source # (-) ∷ Epoch → Epoch → Epoch Source # (*) ∷ Epoch → Epoch → Epoch Source # negate ∷ Epoch → Epoch Source # abs ∷ Epoch → Epoch Source # signum ∷ Epoch → Epoch Source # fromInteger ∷ Integer → Epoch Source #
Show Epoch Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → Epoch → ShowS Source # show ∷ Epoch → String Source # showList ∷ [Epoch] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Epoch → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Epoch] → Size Source #
Eq Epoch Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ Epoch → Epoch → Bool Source # (/=) ∷ Epoch → Epoch → Bool Source #
Ord Epoch Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ Epoch → Epoch → Ordering Source # (<) ∷ Epoch → Epoch → Bool Source # (<=) ∷ Epoch → Epoch → Bool Source # (>) ∷ Epoch → Epoch → Bool Source # (>=) ∷ Epoch → Epoch → Bool Source # max ∷ Epoch → Epoch → Epoch Source # min ∷ Epoch → Epoch → Epoch Source #
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.0.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

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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Slot Source # toConstr ∷ Slot → Constr Source # dataTypeOf ∷ Slot → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Slot) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Slot) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Slot → Slot Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Slot → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Slot → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Slot → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Slot → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Slot → m Slot Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Slot → m Slot Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Slot → m Slot Source #
Generic Slot Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep Slot ∷ Type → Type Source # Methods from ∷ Slot → Rep Slot x Source # to ∷ Rep Slot x → Slot Source #
Show Slot Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → Slot → ShowS Source # show ∷ Slot → String Source # showList ∷ [Slot] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Slot → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Slot] → Size Source #
Eq Slot Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ Slot → Slot → Bool Source # (/=) ∷ Slot → Slot → Bool Source #
Ord Slot Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ Slot → Slot → Ordering Source # (<) ∷ Slot → Slot → Bool Source # (<=) ∷ Slot → Slot → Bool Source # (>) ∷ Slot → Slot → Bool Source # (>=) ∷ Slot → Slot → Bool Source # max ∷ Slot → Slot → Slot Source # min ∷ Slot → Slot → Slot Source #
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.0.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

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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SlotCount Source # toConstr ∷ SlotCount → Constr Source # dataTypeOf ∷ SlotCount → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SlotCount) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SlotCount) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → SlotCount → SlotCount Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SlotCount → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SlotCount → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → SlotCount → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SlotCount → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SlotCount → m SlotCount Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SlotCount → m SlotCount Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SlotCount → m SlotCount Source #
Generic SlotCount Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep SlotCount ∷ Type → Type Source # Methods from ∷ SlotCount → Rep SlotCount x Source # to ∷ Rep SlotCount x → SlotCount Source #
Num SlotCount Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (+) ∷ SlotCount → SlotCount → SlotCount Source # (-) ∷ SlotCount → SlotCount → SlotCount Source # (*) ∷ SlotCount → SlotCount → SlotCount Source # negate ∷ SlotCount → SlotCount Source # abs ∷ SlotCount → SlotCount Source # signum ∷ SlotCount → SlotCount Source # fromInteger ∷ Integer → SlotCount Source #
Show SlotCount Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → SlotCount → ShowS Source # show ∷ SlotCount → String Source # showList ∷ [SlotCount] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SlotCount → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SlotCount] → Size Source #
Eq SlotCount Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ SlotCount → SlotCount → Bool Source # (/=) ∷ SlotCount → SlotCount → Bool Source #
Ord SlotCount Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ SlotCount → SlotCount → Ordering Source # (<) ∷ SlotCount → SlotCount → Bool Source # (<=) ∷ SlotCount → SlotCount → Bool Source # (>) ∷ SlotCount → SlotCount → Bool Source # (>=) ∷ SlotCount → SlotCount → Bool Source # max ∷ SlotCount → SlotCount → SlotCount Source # min ∷ SlotCount → SlotCount → SlotCount Source #
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.0.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

Generic BlockCount Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep BlockCount ∷ Type → Type Source # Methods from ∷ BlockCount → Rep BlockCount x Source # to ∷ Rep BlockCount x → BlockCount Source #
Num BlockCount Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (+) ∷ BlockCount → BlockCount → BlockCount Source # (-) ∷ BlockCount → BlockCount → BlockCount Source # (*) ∷ BlockCount → BlockCount → BlockCount Source # negate ∷ BlockCount → BlockCount Source # abs ∷ BlockCount → BlockCount Source # signum ∷ BlockCount → BlockCount Source # fromInteger ∷ Integer → BlockCount Source #
Show BlockCount Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → BlockCount → ShowS Source # show ∷ BlockCount → String Source # showList ∷ [BlockCount] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy BlockCount → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [BlockCount] → Size Source #
Eq BlockCount Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ BlockCount → BlockCount → Bool Source # (/=) ∷ BlockCount → BlockCount → Bool Source #
Ord BlockCount Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ BlockCount → BlockCount → Ordering Source # (<) ∷ BlockCount → BlockCount → Bool Source # (<=) ∷ BlockCount → BlockCount → Bool Source # (>) ∷ BlockCount → BlockCount → Bool Source # (>=) ∷ BlockCount → BlockCount → Bool Source # max ∷ BlockCount → BlockCount → BlockCount Source # min ∷ BlockCount → BlockCount → BlockCount Source #
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.0.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

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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Addr Source # toConstr ∷ Addr → Constr Source # dataTypeOf ∷ Addr → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Addr) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Addr) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Addr → Addr Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Addr → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Addr → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Addr → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Addr → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Addr → m Addr Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Addr → m Addr Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Addr → m Addr Source #
Generic Addr Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep Addr ∷ Type → Type Source # Methods from ∷ Addr → Rep Addr x Source # to ∷ Rep Addr x → Addr Source #
Show Addr Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → Addr → ShowS Source # show ∷ Addr → String Source # showList ∷ [Addr] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Addr → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Addr] → Size Source #
Eq Addr Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ Addr → Addr → Bool Source # (/=) ∷ Addr → Addr → Bool Source #
Ord Addr Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ Addr → Addr → Ordering Source # (<) ∷ Addr → Addr → Bool Source # (<=) ∷ Addr → Addr → Bool Source # (>) ∷ Addr → Addr → Bool Source # (>=) ∷ Addr → Addr → Bool Source # max ∷ Addr → Addr → Addr Source # min ∷ Addr → Addr → Addr Source #
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.0.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

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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Lovelace Source # toConstr ∷ Lovelace → Constr Source # dataTypeOf ∷ Lovelace → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Lovelace) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Lovelace) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Lovelace → Lovelace Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Lovelace → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Lovelace → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Lovelace → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Lovelace → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Lovelace → m Lovelace Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Lovelace → m Lovelace Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Lovelace → m Lovelace Source #
Monoid Lovelace Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods mempty ∷ Lovelace Source # mappend ∷ Lovelace → Lovelace → Lovelace Source # mconcat ∷ [Lovelace] → Lovelace Source #
Semigroup Lovelace Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (<>) ∷ Lovelace → Lovelace → Lovelace Source # sconcat ∷ NonEmpty Lovelace → Lovelace Source # stimes ∷ Integral b ⇒ b → Lovelace → Lovelace Source #
Enum Lovelace Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods succ ∷ Lovelace → Lovelace Source # pred ∷ Lovelace → Lovelace Source # toEnum ∷ Int → Lovelace Source # fromEnum ∷ Lovelace → Int Source # enumFrom ∷ Lovelace → [Lovelace] Source # enumFromThen ∷ Lovelace → Lovelace → [Lovelace] Source # enumFromTo ∷ Lovelace → Lovelace → [Lovelace] Source # enumFromThenTo ∷ Lovelace → Lovelace → Lovelace → [Lovelace] Source #
Generic Lovelace Source #
Instance details Defined in Byron.Spec.Ledger.Core Associated Types type Rep Lovelace ∷ Type → Type Source # Methods from ∷ Lovelace → Rep Lovelace x Source # to ∷ Rep Lovelace x → Lovelace Source #
Num Lovelace Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (+) ∷ Lovelace → Lovelace → Lovelace Source # (-) ∷ Lovelace → Lovelace → Lovelace Source # (*) ∷ Lovelace → Lovelace → Lovelace Source # negate ∷ Lovelace → Lovelace Source # abs ∷ Lovelace → Lovelace Source # signum ∷ Lovelace → Lovelace Source # fromInteger ∷ Integer → Lovelace Source #
Integral Lovelace Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods quot ∷ Lovelace → Lovelace → Lovelace Source # rem ∷ Lovelace → Lovelace → Lovelace Source # div ∷ Lovelace → Lovelace → Lovelace Source # mod ∷ Lovelace → Lovelace → Lovelace Source # quotRem ∷ Lovelace → Lovelace → (Lovelace, Lovelace) Source # divMod ∷ Lovelace → Lovelace → (Lovelace, Lovelace) Source # toInteger ∷ Lovelace → Integer Source #
Real Lovelace Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods toRational ∷ Lovelace → Rational Source #
Show Lovelace Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods showsPrec ∷ Int → Lovelace → ShowS Source # show ∷ Lovelace → String Source # showList ∷ [Lovelace] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Lovelace → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Lovelace] → Size Source #
Eq Lovelace Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods (==) ∷ Lovelace → Lovelace → Bool Source # (/=) ∷ Lovelace → Lovelace → Bool Source #
Ord Lovelace Source #
Instance details Defined in Byron.Spec.Ledger.Core Methods compare ∷ Lovelace → Lovelace → Ordering Source # (<) ∷ Lovelace → Lovelace → Bool Source # (<=) ∷ Lovelace → Lovelace → Bool Source # (>) ∷ Lovelace → Lovelace → Bool Source # (>=) ∷ Lovelace → Lovelace → Bool Source # max ∷ Lovelace → Lovelace → Lovelace Source # min ∷ Lovelace → Lovelace → Lovelace Source #
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.0.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 ∷ Type Source #

type Range m ∷ Type Source #

Methods

singleton ∷ Domain m → Range m → m Source #

dom ∷ Ord (Domain m) ⇒ m → Set (Domain m) Source #

Domain

range ∷ Ord (Range m) ⇒ 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

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

Range restriction

Unicode: 25b7

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

Range restriction

Unicode: 25b7

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

Range exclusion

Unicode: 22eb

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

Range exclusion

Unicode: 22eb

(∪) ∷ (Ord (Domain m), Ord (Range m)) ⇒ m → m → m Source #

Union

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

Union Override Right

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

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

Unicode: 25c1

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

Restrict range to values less or equal than the given value

Unicode: 25b7

(▷>=) ∷ Ord (Range m) ⇒ 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 Source # type Range UTxO Source # 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)) Source # type Range (Set (a, b)) Source # 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)] Source # type Range [(a, b)] Source # 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) Source # type Range (Bimap k v) Source # 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) Source # type Range (Map k v) Source # 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 #