Modulebyron-spec-ledger-1.1.0.1Haskell2010

Byron.Spec.Ledger.Core

Synopsis

newtype Hash
value isValid
class HasHash
newtype Owner
class HasOwner
newtype SKey
newtype VKey
newtype VKeyGenesis
value mkVKeyGenesis
value mkVkGenesisSet
data KeyPair
value keyPair
data Sig
value sign
value verify
newtype Epoch
newtype Slot
newtype SlotCount
value addSlot
value +.
value minusSlot
value -.
value *.
value minusSlotMaybe
newtype BlockCount
newtype Addr
value mkAddr
newtype Lovelace
value lovelaceCap
class Relation
value ∈
value ∉
value ∪+
value ⊆
value toSet
value ∩

Packagebyron-spec-ledger-1.1.0.1
Exports36
LanguageHaskell2010
LicenceApache-2.0
SourceCore.hs

newtypenewtype Hash

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
- unHash :: Maybe Int

Instances11Eq, Data, Ord, Show, Generic, Hashable, …

Eq HashDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Data HashDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord HashDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show HashDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic HashDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Hashable HashDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks HashDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
ToCBOR HashDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
EncCBOR HashDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasTypeReps HashDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
type Rep Hash = D1 ('MetaData "Hash" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'True) (C1 ('MetaCons "Hash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int))))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

valueisValid :: Hash -> Bool

classclass HasHash a where

Source#

Hash part of the ledger payload

Methods

hash :: a -> Hash

Instances7HasHash, …

HasHash AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasHash VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasHash VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasHash TxBodyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
HasHash [DCert]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasHash [Tx]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
HasHash (Maybe UProp, [Vote])Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update

newtypenewtype Owner

Source#

Representation of the owner of key pair.

Constructors

Owner
- unOwner :: Natural

Instances13Eq, Data, Ord, Show, Generic, Hashable, …

Eq OwnerDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Data OwnerDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord OwnerDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show OwnerDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic OwnerDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Hashable OwnerDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks OwnerDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
FromCBOR OwnerDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
ToCBOR OwnerDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
DecCBOR OwnerDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
EncCBOR OwnerDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasTypeReps OwnerDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
type Rep Owner = D1 ('MetaData "Owner" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'True) (C1 ('MetaCons "Owner" 'PrefixI 'True) (S1 ('MetaSel ('Just "unOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

classclass HasOwner a where

Methods

owner :: a -> Owner

Instances4HasOwner

HasOwner AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasOwner SKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasOwner VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasOwner VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

newtypenewtype SKey

Source#

Signing Key.

Constructors

SKey Owner

Instances11Eq, Data, Ord, Show, Generic, NoThunks, …

Eq SKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Data SKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord SKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show SKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic SKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks SKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
ToCBOR SKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
EncCBOR SKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasOwner SKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasTypeReps SKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
type Rep SKey = D1 ('MetaData "SKey" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'True) (C1 ('MetaCons "SKey" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Owner)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

newtypenewtype VKey

Source#

Verification Key.

Constructors

VKey Owner

Instances19Eq, Data, Ord, Show, Generic, Hashable, …

Eq VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Data VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Hashable VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
FromCBOR VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
ToCBOR VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
DecCBOR VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
EncCBOR VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasHash VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasOwner VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasTypeReps VKeyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasScheduledDelegations DIState [(Slot, (VKeyGenesis, VKey))]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasScheduledDelegations DSState [(Slot, (VKeyGenesis, VKey))]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasDelegationMap DIState (Bimap VKeyGenesis VKey)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasDelegationMap DState (Bimap VKeyGenesis VKey)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep VKey = D1 ('MetaData "VKey" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'True) (C1 ('MetaCons "VKey" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Owner)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

newtypenewtype VKeyGenesis

Source#

A genesis key is a specialisation of a generic VKey.

Constructors

VKeyGenesis
- unVKeyGenesis :: VKey

Instances24Eq, Data, Ord, Show, Generic, Hashable, …

Eq VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Data VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Hashable VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
FromCBOR VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
ToCBOR VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
DecCBOR VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
EncCBOR VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasHash VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasOwner VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasTypeReps VKeyGenesisDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasAllowedDelegators DSEnv (Set VKeyGenesis)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasScheduledDelegations DIState [(Slot, (VKeyGenesis, VKey))]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasScheduledDelegations DSState [(Slot, (VKeyGenesis, VKey))]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasKeyEpochDelegations DIState (Set (Epoch, VKeyGenesis))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasKeyEpochDelegations DSState (Set (Epoch, VKeyGenesis))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasDelegationMap DIState (Bimap VKeyGenesis VKey)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasDelegationMap DState (Bimap VKeyGenesis VKey)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasLastDelegation DIState (Map VKeyGenesis Slot)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasLastDelegation DState (Map VKeyGenesis Slot)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep VKeyGenesis = D1 ('MetaData "VKeyGenesis" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'True) (C1 ('MetaCons "VKeyGenesis" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVKeyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VKey)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

valuemkVKeyGenesis :: Natural -> VKeyGenesis

valuemkVkGenesisSet

:: Word8
Number of genesis keys
-> Set VKeyGenesis

Source#

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

datadata KeyPair

Source#

Key Pair.

Constructors

KeyPair
- sKey :: SKey
- vKey :: VKey

Instances7Eq, Ord, Show, Generic, NoThunks, HasTypeReps, …

Eq KeyPairDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord KeyPairDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show KeyPairDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic KeyPairDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks KeyPairDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasTypeReps KeyPairDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
type Rep KeyPair = D1 ('MetaData "KeyPair" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) (C1 ('MetaCons "KeyPair" 'PrefixI 'True) (S1 ('MetaSel ('Just "sKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SKey) :*: S1 ('MetaSel ('Just "vKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

valuekeyPair :: Owner -> KeyPair

Source#

Return a key pair for a given owner.

datadata Sig a

Source#

A digital signature.

Constructors

Sig a Owner

Instances9Eq, Data, Ord, Show, Generic, Hashable, …

Eq a => Eq (Sig a)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Data a => Data (Sig a)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord a => Ord (Sig a)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show a => Show (Sig a)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic (Sig a)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Hashable a => Hashable (Sig a)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks a => NoThunks (Sig a)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Typeable a => HasTypeReps (Sig a)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
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".
type Rep (Sig a) = D1 ('MetaData "Sig" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'False) (C1 ('MetaCons "Sig" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Owner)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

valuesign :: SKey -> a -> Sig a

Source#

Produce a digital signature

valueverify :: Eq a => VKey -> a -> Sig a -> Bool

Source#

Verify a digital signature

newtypenewtype Epoch

Constructors

Epoch
- unEpoch :: Word64

Instances15Eq, Data, Num, Ord, Show, Generic, …

Eq EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Data EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Num EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Hashable EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
ToCBOR EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
EncCBOR EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasTypeReps EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasEpoch DSEnv EpochDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasKeyEpochDelegations DIState (Set (Epoch, VKeyGenesis))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasKeyEpochDelegations DSState (Set (Epoch, VKeyGenesis))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep Epoch = D1 ('MetaData "Epoch" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'True) (C1 ('MetaCons "Epoch" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

newtypenewtype Slot

Constructors

Slot
- unSlot :: Word64

Instances16Eq, Data, Ord, Show, Generic, Hashable, …

Eq SlotDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Data SlotDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord SlotDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show SlotDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic SlotDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Hashable SlotDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks SlotDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
ToCBOR SlotDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
EncCBOR SlotDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasTypeReps SlotDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasSlot DSEnv SlotDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasScheduledDelegations DIState [(Slot, (VKeyGenesis, VKey))]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasScheduledDelegations DSState [(Slot, (VKeyGenesis, VKey))]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasLastDelegation DIState (Map VKeyGenesis Slot)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
HasLastDelegation DState (Map VKeyGenesis Slot)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep Slot = D1 ('MetaData "Slot" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'True) (C1 ('MetaCons "Slot" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

newtypenewtype 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
- unSlotCount :: Word64

Instances12Eq, Data, Num, Ord, Show, Generic, …

Eq SlotCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Data SlotCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Num SlotCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord SlotCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show SlotCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic SlotCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Hashable SlotCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks SlotCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
ToCBOR SlotCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
EncCBOR SlotCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasTypeReps SlotCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
type Rep SlotCount = D1 ('MetaData "SlotCount" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'True) (C1 ('MetaCons "SlotCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

valueaddSlot :: Slot -> SlotCount -> Slot

Source#

Add a slot count to a slot.

value(+.) :: Slot -> SlotCount -> Slot

Source#

An alias for addSlot

valueminusSlot :: Slot -> SlotCount -> Slot

Source#

Subtract a slot count from a slot.

This is bounded below by 0.

value(-.) :: Slot -> SlotCount -> Slot

Source#

An alias for minusSlot

value(*.) :: Word64 -> BlockCount -> SlotCount

Source#

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

valueminusSlotMaybe :: 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.

newtypenewtype BlockCount

Constructors

BlockCount
- unBlockCount :: Word64

Instances14Eq, Num, Ord, Show, Generic, Hashable, …

Eq BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Num BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Hashable BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
FromCBOR BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
ToCBOR BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
DecCBOR BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
EncCBOR BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasTypeReps BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasK DSEnv BlockCountDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type Rep BlockCount = D1 ('MetaData "BlockCount" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'True) (C1 ('MetaCons "BlockCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

newtypenewtype Addr

Source#

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

Constructors

Addr VKey

Instances13Eq, Data, Ord, Show, Generic, Hashable, …

Eq AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Data AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Hashable AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
ToCBOR AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
EncCBOR AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasHash AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasOwner AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasTypeReps AddrDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
type Rep Addr = D1 ('MetaData "Addr" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'True) (C1 ('MetaCons "Addr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VKey)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

valuemkAddr :: Natural -> Addr

Source#

Create an address from a number.

newtypenewtype Lovelace

Source#

A unit of value held by a UTxO.

Constructors

Lovelace
- unLovelace :: Integer

Instances17Enum, Eq, Integral, Data, Num, Ord, …

Enum LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Eq LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Integral LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Data LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Num LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Ord LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Real LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Show LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Generic LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Semigroup LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Monoid LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Hashable LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
NoThunks LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
ToCBOR LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
EncCBOR LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
HasTypeReps LovelaceDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
type Rep Lovelace = D1 ('MetaData "Lovelace" "Byron.Spec.Ledger.Core" "byron-spec-ledger-1.1.0.1-4ms0SFSYlRI2bOX3cINqEl" 'True) (C1 ('MetaCons "Lovelace" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLovelace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core

valuelovelaceCap :: Lovelace

Source#

Constant amount of Lovelace in the system.

classclass Relation m where

Associated types

type family Domain m
type family Range m

Methods

singleton :: Domain m -> Range m -> m
dom :: Ord (Domain m) => m -> Set (Domain m)
Domain
range :: Ord (Range m) => m -> Set (Range m)
Range
(◁) :: (Ord (Domain m), Foldable f) => f (Domain m) -> m -> m
Domain restriction
Unicode: 25c1
(<|) :: (Ord (Domain m), Foldable f) => f (Domain m) -> m -> m
Domain restriction
Unicode: 25c1
(⋪) :: (Ord (Domain m), Foldable f) => f (Domain m) -> m -> m
Domain exclusion
Unicode: 22ea
(</|) :: (Ord (Domain m), Foldable f) => f (Domain m) -> m -> m
Domain exclusion
Unicode: 22ea
(▷) :: Ord (Range m) => m -> Set (Range m) -> m
Range restriction
Unicode: 25b7
(|>) :: Ord (Range m) => m -> Set (Range m) -> m
Range restriction
Unicode: 25b7
(⋫) :: Ord (Range m) => m -> Set (Range m) -> m
Range exclusion
Unicode: 22eb
(|/>) :: Ord (Range m) => m -> Set (Range m) -> m
Range exclusion
Unicode: 22eb
(∪) :: (Ord (Domain m), Ord (Range m)) => m -> m -> m
Union
(⨃) :: (Ord (Domain m), Ord (Range m), Foldable f) => m -> f (Domain m, Range m) -> m
Union Override Right
(<=◁) :: Ord (Domain m) => Domain m -> m -> minfixl 5
Restrict domain to values less or equal than the given value.
Unicode: 25c1
(▷<=) :: Ord (Range m) => m -> Range m -> minfixl 5
Restrict range to values less or equal than the given value
Unicode: 25b7
(▷>=) :: Ord (Range m) => m -> Range m -> minfixl 5
Restrict range to values greater or equal than the given value
Unicode: 25b7
size :: Integral n => m -> n
Size of the relation

Instances5Relation

Relation UTxODefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Relation (Set (a, b))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Relation [(a, b)]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
Relation (Map k v)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core
(Ord k, Ord v) => Relation (Bimap k v)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Core