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 # 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 ∷ Type → Type # 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 #
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 # (/=) ∷ 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.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 # 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 ∷ Type → Type # 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 #
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 # (/=) ∷ 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.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 # 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 ∷ Type → Type # 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 #
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 # (/=) ∷ 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.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 # 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 ∷ Type → Type # 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 #
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 # (/=) ∷ 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.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 # 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 ∷ Type → Type # 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 #
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 # (/=) ∷ 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.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 # 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 #
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 # (/=) ∷ 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.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) # 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) ∷ Type → Type # 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 #
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 # (/=) ∷ 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.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 # 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 ∷ Type → Type # 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 #
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 # (/=) ∷ 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.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 # 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 ∷ Type → Type # 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 #
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 # (/=) ∷ 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.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 # 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 ∷ Type → Type # 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 #
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 # (/=) ∷ 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.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 # 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 #
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 # (/=) ∷ 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.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 # 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 ∷ Type → Type # 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 #
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 # (/=) ∷ 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.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 # 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 #
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 #
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 ∷ Type → Type # 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 #
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 # (/=) ∷ 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.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 #