shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.BaseTypes

Contents

Synopsis

Documentation

type FixedPoint = Digits34 Source #

(==>)BoolBoolBool infix 1 Source #

(⭒)NonceNonceNonce Source #

Evolve the nonce

data Network Source #

Constructors

Testnet 
Mainnet 

Instances

Instances details
Bounded Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Enum Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Eq Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(==)NetworkNetworkBool #

(/=)NetworkNetworkBool #

Ord Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

compareNetworkNetworkOrdering #

(<)NetworkNetworkBool #

(<=)NetworkNetworkBool #

(>)NetworkNetworkBool #

(>=)NetworkNetworkBool #

maxNetworkNetworkNetwork #

minNetworkNetworkNetwork #

Show Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

showsPrecIntNetworkShowS #

showNetworkString #

showList ∷ [Network] → ShowS #

Generic Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep NetworkTypeType #

Methods

fromNetworkRep Network x #

toRep Network x → Network #

NFData Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnfNetwork → () #

ToCBOR Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORNetworkEncoding Source #

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

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

FromCBOR Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → NetworkIO (Maybe ThunkInfo)

wNoThunks ∷ Context → NetworkIO (Maybe ThunkInfo)

showTypeOfProxy NetworkString

FromJSON Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Network

parseJSONList ∷ Value → Parser [Network]

ToJSON Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toJSONNetwork → Value

toEncodingNetwork → Encoding

toJSONList ∷ [Network] → Value

toEncodingList ∷ [Network] → Encoding

type Rep Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep Network = D1 ('MetaData "Network" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Testnet" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Mainnet" 'PrefixI 'False) (U1TypeType))

data Nonce Source #

Evolving nonce type.

Constructors

Nonce !(Hash Blake2b_256 Nonce) 
NeutralNonce

Identity element

Instances

Instances details
Eq Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(==)NonceNonceBool #

(/=)NonceNonceBool #

Ord Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

compareNonceNonceOrdering #

(<)NonceNonceBool #

(<=)NonceNonceBool #

(>)NonceNonceBool #

(>=)NonceNonceBool #

maxNonceNonceNonce #

minNonceNonceNonce #

Show Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

showsPrecIntNonceShowS #

showNonceString #

showList ∷ [Nonce] → ShowS #

Generic Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep NonceTypeType #

Methods

fromNonceRep Nonce x #

toRep Nonce x → Nonce #

NFData Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnfNonce → () #

ToCBOR Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORNonceEncoding Source #

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

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

FromCBOR Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → NonceIO (Maybe ThunkInfo)

wNoThunks ∷ Context → NonceIO (Maybe ThunkInfo)

showTypeOfProxy NonceString

FromJSON Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Nonce

parseJSONList ∷ Value → Parser [Nonce]

ToJSON Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toJSONNonce → Value

toEncodingNonce → Encoding

toJSONList ∷ [Nonce] → Value

toEncodingList ∷ [Nonce] → Encoding

type Rep Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep Nonce = D1 ('MetaData "Nonce" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Nonce" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Blake2b_256 Nonce))) :+: C1 ('MetaCons "NeutralNonce" 'PrefixI 'False) (U1TypeType))

newtype Seed Source #

Seed to the verifiable random function.

We do not expose the constructor to Seed. Instead, a Seed should be created using mkSeed for a VRF calculation.

Constructors

Seed (Hash Blake2b_256 Seed) 

Instances

Instances details
Eq Seed Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(==)SeedSeedBool #

(/=)SeedSeedBool #

Ord Seed Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

compareSeedSeedOrdering #

(<)SeedSeedBool #

(<=)SeedSeedBool #

(>)SeedSeedBool #

(>=)SeedSeedBool #

maxSeedSeedSeed #

minSeedSeedSeed #

Show Seed Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

showsPrecIntSeedShowS #

showSeedString #

showList ∷ [Seed] → ShowS #

Generic Seed Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep SeedTypeType #

Methods

fromSeedRep Seed x #

toRep Seed x → Seed #

ToCBOR Seed Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORSeedEncoding Source #

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

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

SignableRepresentation Seed Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks Seed Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → SeedIO (Maybe ThunkInfo)

wNoThunks ∷ Context → SeedIO (Maybe ThunkInfo)

showTypeOfProxy SeedString

type Rep Seed Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep Seed = D1 ('MetaData "Seed" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Seed" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Blake2b_256 Seed))))

data UnitInterval Source #

Type to represent a value in the unit interval [0; 1]

Instances

Instances details
Eq UnitInterval Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Ord UnitInterval Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Show UnitInterval Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Generic UnitInterval Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep UnitIntervalTypeType #

NFData UnitInterval Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnfUnitInterval → () #

ToCBOR UnitInterval Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORUnitIntervalEncoding Source #

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

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

FromCBOR UnitInterval Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks UnitInterval Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → UnitIntervalIO (Maybe ThunkInfo)

wNoThunks ∷ Context → UnitIntervalIO (Maybe ThunkInfo)

showTypeOfProxy UnitIntervalString

FromJSON UnitInterval Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser UnitInterval

parseJSONList ∷ Value → Parser [UnitInterval]

ToJSON UnitInterval Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toJSONUnitInterval → Value

toEncodingUnitInterval → Encoding

toJSONList ∷ [UnitInterval] → Value

toEncodingList ∷ [UnitInterval] → Encoding

type Rep UnitInterval Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep UnitInterval = D1 ('MetaData "UnitInterval" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "UnsafeUnitInterval" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Ratio Word64))))

intervalValueUnitIntervalRatio Word64 Source #

Get rational value of UnitInterval type

mkNonceFromOutputVRFOutputVRF v → Nonce Source #

Make a nonce from the VRF output bytes

mkNonceFromNumberWord64Nonce Source #

Make a nonce from a number.

mkUnitIntervalRatio Word64Maybe UnitInterval Source #

Return a UnitInterval type if r is in [0; 1].

truncateUnitIntervalRatio Word64UnitInterval Source #

Convert a rational to a UnitInterval by ignoring its integer part.

data StrictMaybe a Source #

Strict Maybe.

TODO move to cardano-prelude

Constructors

SNothing 
SJust !a 

Instances

Instances details
Monad StrictMaybe Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(>>=)StrictMaybe a → (a → StrictMaybe b) → StrictMaybe b #

(>>)StrictMaybe a → StrictMaybe b → StrictMaybe b #

return ∷ a → StrictMaybe a #

Functor StrictMaybe Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

fmap ∷ (a → b) → StrictMaybe a → StrictMaybe b #

(<$) ∷ a → StrictMaybe b → StrictMaybe a #

MonadFail StrictMaybe Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

failStringStrictMaybe a #

Applicative StrictMaybe Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

pure ∷ a → StrictMaybe a #

(<*>)StrictMaybe (a → b) → StrictMaybe a → StrictMaybe b #

liftA2 ∷ (a → b → c) → StrictMaybe a → StrictMaybe b → StrictMaybe c #

(*>)StrictMaybe a → StrictMaybe b → StrictMaybe b #

(<*)StrictMaybe a → StrictMaybe b → StrictMaybe a #

Foldable StrictMaybe Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

foldMonoid m ⇒ StrictMaybe m → m #

foldMapMonoid m ⇒ (a → m) → StrictMaybe a → m #

foldMap'Monoid m ⇒ (a → m) → StrictMaybe a → m #

foldr ∷ (a → b → b) → b → StrictMaybe a → b #

foldr' ∷ (a → b → b) → b → StrictMaybe a → b #

foldl ∷ (b → a → b) → b → StrictMaybe a → b #

foldl' ∷ (b → a → b) → b → StrictMaybe a → b #

foldr1 ∷ (a → a → a) → StrictMaybe a → a #

foldl1 ∷ (a → a → a) → StrictMaybe a → a #

toListStrictMaybe a → [a] #

nullStrictMaybe a → Bool #

lengthStrictMaybe a → Int #

elemEq a ⇒ a → StrictMaybe a → Bool #

maximumOrd a ⇒ StrictMaybe a → a #

minimumOrd a ⇒ StrictMaybe a → a #

sumNum a ⇒ StrictMaybe a → a #

productNum a ⇒ StrictMaybe a → a #

Traversable StrictMaybe Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

traverseApplicative f ⇒ (a → f b) → StrictMaybe a → f (StrictMaybe b) #

sequenceAApplicative f ⇒ StrictMaybe (f a) → f (StrictMaybe a) #

mapMMonad m ⇒ (a → m b) → StrictMaybe a → m (StrictMaybe b) #

sequenceMonad m ⇒ StrictMaybe (m a) → m (StrictMaybe a) #

HasField "mdHash" (TxBody era) (StrictMaybe (MetaDataHash era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictMaybe (MetaDataHash era) #

HasField "update" (TxBody era) (StrictMaybe (Update era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictMaybe (Update era) #

Eq a ⇒ Eq (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(==)StrictMaybe a → StrictMaybe a → Bool #

(/=)StrictMaybe a → StrictMaybe a → Bool #

Ord a ⇒ Ord (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Show a ⇒ Show (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

showsPrecIntStrictMaybe a → ShowS #

showStrictMaybe a → String #

showList ∷ [StrictMaybe a] → ShowS #

Generic (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep (StrictMaybe a) ∷ TypeType #

Methods

fromStrictMaybe a → Rep (StrictMaybe a) x #

toRep (StrictMaybe a) x → StrictMaybe a #

NFData a ⇒ NFData (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnfStrictMaybe a → () #

ToCBOR a ⇒ ToCBOR (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORStrictMaybe a → Encoding Source #

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

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

Era era ⇒ ToCBOR (PParamsUpdate era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBORPParamsUpdate era → Encoding Source #

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

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

FromCBOR a ⇒ FromCBOR (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Era era ⇒ FromCBOR (PParamsUpdate era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

NoThunks a ⇒ NoThunks (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo)

showTypeOfProxy (StrictMaybe a) → String

NoThunks (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

noThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo)

showTypeOfProxy (PParamsUpdate era) → String

FromJSON a ⇒ FromJSON (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser (StrictMaybe a)

parseJSONList ∷ Value → Parser [StrictMaybe a]

ToJSON a ⇒ ToJSON (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toJSONStrictMaybe a → Value

toEncodingStrictMaybe a → Encoding

toJSONList ∷ [StrictMaybe a] → Value

toEncodingList ∷ [StrictMaybe a] → Encoding

Eq (PParams' StrictMaybe era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Ord (PParams' StrictMaybe era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Show (PParams' StrictMaybe era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

NFData (PParams' StrictMaybe era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

rnfPParams' StrictMaybe era → () #

type Rep (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

fromSMaybe ∷ a → StrictMaybe a → a Source #

data Url Source #

Instances

Instances details
Eq Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(==)UrlUrlBool #

(/=)UrlUrlBool #

Ord Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

compareUrlUrlOrdering #

(<)UrlUrlBool #

(<=)UrlUrlBool #

(>)UrlUrlBool #

(>=)UrlUrlBool #

maxUrlUrlUrl #

minUrlUrlUrl #

Show Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

showsPrecIntUrlShowS #

showUrlString #

showList ∷ [Url] → ShowS #

Generic Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep UrlTypeType #

Methods

fromUrlRep Url x #

toRep Url x → Url #

NFData Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnfUrl → () #

ToCBOR Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORUrlEncoding Source #

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

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

FromCBOR Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → UrlIO (Maybe ThunkInfo)

wNoThunks ∷ Context → UrlIO (Maybe ThunkInfo)

showTypeOfProxy UrlString

FromJSON Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Url

parseJSONList ∷ Value → Parser [Url]

ToJSON Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toJSONUrl → Value

toEncodingUrl → Encoding

toJSONList ∷ [Url] → Value

toEncodingList ∷ [Url] → Encoding

type Rep Url Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep Url = D1 ('MetaData "Url" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Url" 'PrefixI 'True) (S1 ('MetaSel ('Just "urlToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data DnsName Source #

Instances

Instances details
Eq DnsName Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(==)DnsNameDnsNameBool #

(/=)DnsNameDnsNameBool #

Ord DnsName Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

compareDnsNameDnsNameOrdering #

(<)DnsNameDnsNameBool #

(<=)DnsNameDnsNameBool #

(>)DnsNameDnsNameBool #

(>=)DnsNameDnsNameBool #

maxDnsNameDnsNameDnsName #

minDnsNameDnsNameDnsName #

Show DnsName Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

showsPrecIntDnsNameShowS #

showDnsNameString #

showList ∷ [DnsName] → ShowS #

Generic DnsName Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep DnsNameTypeType #

Methods

fromDnsNameRep DnsName x #

toRep DnsName x → DnsName #

NFData DnsName Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnfDnsName → () #

ToCBOR DnsName Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORDnsNameEncoding Source #

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

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

FromCBOR DnsName Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks DnsName Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → DnsNameIO (Maybe ThunkInfo)

wNoThunks ∷ Context → DnsNameIO (Maybe ThunkInfo)

showTypeOfProxy DnsNameString

FromJSON DnsName Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser DnsName

parseJSONList ∷ Value → Parser [DnsName]

ToJSON DnsName Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toJSONDnsName → Value

toEncodingDnsName → Encoding

toJSONList ∷ [DnsName] → Value

toEncodingList ∷ [DnsName] → Encoding

type Rep DnsName Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep DnsName = D1 ('MetaData "DnsName" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "DnsName" 'PrefixI 'True) (S1 ('MetaSel ('Just "dnsToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Port Source #

Constructors

Port 

Fields

Instances

Instances details
Eq Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(==)PortPortBool #

(/=)PortPortBool #

Num Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(+)PortPortPort #

(-)PortPortPort #

(*)PortPortPort #

negatePortPort #

absPortPort #

signumPortPort #

fromIntegerIntegerPort #

Ord Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

comparePortPortOrdering #

(<)PortPortBool #

(<=)PortPortBool #

(>)PortPortBool #

(>=)PortPortBool #

maxPortPortPort #

minPortPortPort #

Show Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

showsPrecIntPortShowS #

showPortString #

showList ∷ [Port] → ShowS #

Generic Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep PortTypeType #

Methods

fromPortRep Port x #

toRep Port x → Port #

NFData Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnfPort → () #

ToCBOR Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORPortEncoding Source #

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

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

FromCBOR Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → PortIO (Maybe ThunkInfo)

wNoThunks ∷ Context → PortIO (Maybe ThunkInfo)

showTypeOfProxy PortString

FromJSON Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Port

parseJSONList ∷ Value → Parser [Port]

ToJSON Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toJSONPort → Value

toEncodingPort → Encoding

toJSONList ∷ [Port] → Value

toEncodingList ∷ [Port] → Encoding

type Rep Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep Port = D1 ('MetaData "Port" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Port" 'PrefixI 'True) (S1 ('MetaSel ('Just "portToWord16") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data ActiveSlotCoeff Source #

Instances

Instances details
Eq ActiveSlotCoeff Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Ord ActiveSlotCoeff Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Show ActiveSlotCoeff Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Generic ActiveSlotCoeff Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep ActiveSlotCoeffTypeType #

ToCBOR ActiveSlotCoeff Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromCBOR ActiveSlotCoeff Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks ActiveSlotCoeff Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → ActiveSlotCoeffIO (Maybe ThunkInfo)

wNoThunks ∷ Context → ActiveSlotCoeffIO (Maybe ThunkInfo)

showTypeOfProxy ActiveSlotCoeffString

type Rep ActiveSlotCoeff Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep ActiveSlotCoeff = D1 ('MetaData "ActiveSlotCoeff" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ActiveSlotCoeff" 'PrefixI 'True) (S1 ('MetaSel ('Just "unActiveSlotVal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "unActiveSlotLog") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)))

STS Base

data Globals Source #

Constructors

Globals 

Fields

Instances

Instances details
Generic Globals Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep GlobalsTypeType #

Methods

fromGlobalsRep Globals x #

toRep Globals x → Globals #

NoThunks Globals Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → GlobalsIO (Maybe ThunkInfo)

wNoThunks ∷ Context → GlobalsIO (Maybe ThunkInfo)

showTypeOfProxy GlobalsString

type Rep Globals Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes