Copyright	(c) 2025 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	Safe-Inferred
Language	GHC2021

GeniusYield.Types.Reexpose

Description

Synopsis

newtype Port = Port {
- portToWord16 ∷ Word16
}
data DnsName
data Network
- = Testnet
- | Mainnet
class Bounded r ⇒ BoundedRational r where
- boundRational ∷ Rational → Maybe r
- unboundRational ∷ r → Rational
data UnitInterval
data ProtVer = ProtVer {
- pvMajor ∷ !Version
- pvMinor ∷ !Natural
}
module Cardano.Ledger.Binary.Version

Documentation

newtype Port #

Constructors

Port
Fields portToWord16 ∷ Word16

Instances

Instances details

FromJSON Port
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser Port # parseJSONList ∷ Value → Parser [Port] # omittedField ∷ Maybe Port #
ToJSON Port
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON ∷ Port → Value # toEncoding ∷ Port → Encoding # toJSONList ∷ [Port] → Value # toEncodingList ∷ [Port] → Encoding # omitField ∷ Port → Bool #
Generic Port
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep Port ∷ Type → Type # Methods from ∷ Port → Rep Port x # to ∷ Rep Port x → Port #
Num Port
Instance details Defined in Cardano.Ledger.BaseTypes Methods (+) ∷ Port → Port → Port # (-) ∷ Port → Port → Port # (*) ∷ Port → Port → Port # negate ∷ Port → Port # abs ∷ Port → Port # signum ∷ Port → Port # fromInteger ∷ Integer → Port #
Show Port
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec ∷ Int → Port → ShowS # show ∷ Port → String # showList ∷ [Port] → ShowS #
DecCBOR Port
Instance details Defined in Cardano.Ledger.BaseTypes Methods decCBOR ∷ Decoder s Port # dropCBOR ∷ Proxy Port → Decoder s () # label ∷ Proxy Port → Text #
EncCBOR Port
Instance details Defined in Cardano.Ledger.BaseTypes Methods encCBOR ∷ Port → Encoding # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Port → Size # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Port] → Size #
NFData Port
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf ∷ Port → () #
Eq Port
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ Port → Port → Bool # (/=) ∷ Port → Port → Bool #
Ord Port
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare ∷ Port → Port → Ordering # (<) ∷ Port → Port → Bool # (<=) ∷ Port → Port → Bool # (>) ∷ Port → Port → Bool # (>=) ∷ Port → Port → Bool # max ∷ Port → Port → Port # min ∷ Port → Port → Port #
NoThunks Port
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Port → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Port → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy Port → String #
type Rep Port
Instance details Defined in Cardano.Ledger.BaseTypes type Rep Port = D1 ('MetaData "Port" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.15.0.0-1046d1b1904b07389ef0faa5b38408cc4c76b23815c29933c8ff4d80bd3043da" 'True) (C1 ('MetaCons "Port" 'PrefixI 'True) (S1 ('MetaSel ('Just "portToWord16") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data DnsName #

Instances

Instances details

FromJSON DnsName
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser DnsName # parseJSONList ∷ Value → Parser [DnsName] # omittedField ∷ Maybe DnsName #
ToJSON DnsName
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON ∷ DnsName → Value # toEncoding ∷ DnsName → Encoding # toJSONList ∷ [DnsName] → Value # toEncodingList ∷ [DnsName] → Encoding # omitField ∷ DnsName → Bool #
Generic DnsName
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep DnsName ∷ Type → Type # Methods from ∷ DnsName → Rep DnsName x # to ∷ Rep DnsName x → DnsName #
Show DnsName
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec ∷ Int → DnsName → ShowS # show ∷ DnsName → String # showList ∷ [DnsName] → ShowS #
DecCBOR DnsName
Instance details Defined in Cardano.Ledger.BaseTypes Methods decCBOR ∷ Decoder s DnsName # dropCBOR ∷ Proxy DnsName → Decoder s () # label ∷ Proxy DnsName → Text #
EncCBOR DnsName
Instance details Defined in Cardano.Ledger.BaseTypes Methods encCBOR ∷ DnsName → Encoding # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy DnsName → Size # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DnsName] → Size #
NFData DnsName
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf ∷ DnsName → () #
Eq DnsName
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ DnsName → DnsName → Bool # (/=) ∷ DnsName → DnsName → Bool #
Ord DnsName
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare ∷ DnsName → DnsName → Ordering # (<) ∷ DnsName → DnsName → Bool # (<=) ∷ DnsName → DnsName → Bool # (>) ∷ DnsName → DnsName → Bool # (>=) ∷ DnsName → DnsName → Bool # max ∷ DnsName → DnsName → DnsName # min ∷ DnsName → DnsName → DnsName #
NoThunks DnsName
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → DnsName → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → DnsName → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy DnsName → String #
type Rep DnsName
Instance details Defined in Cardano.Ledger.BaseTypes type Rep DnsName = D1 ('MetaData "DnsName" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.15.0.0-1046d1b1904b07389ef0faa5b38408cc4c76b23815c29933c8ff4d80bd3043da" 'True) (C1 ('MetaCons "DnsName" 'PrefixI 'True) (S1 ('MetaSel ('Just "dnsToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Network #

Constructors

Testnet
Mainnet

Instances

Instances details

FromJSON Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser Network # parseJSONList ∷ Value → Parser [Network] # omittedField ∷ Maybe Network #
ToJSON Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON ∷ Network → Value # toEncoding ∷ Network → Encoding # toJSONList ∷ [Network] → Value # toEncodingList ∷ [Network] → Encoding # omitField ∷ Network → Bool #
Bounded Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound ∷ Network # maxBound ∷ Network #
Enum Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods succ ∷ Network → Network # pred ∷ Network → Network # toEnum ∷ Int → Network # fromEnum ∷ Network → Int # enumFrom ∷ Network → [Network] # enumFromThen ∷ Network → Network → [Network] # enumFromTo ∷ Network → Network → [Network] # enumFromThenTo ∷ Network → Network → Network → [Network] #
Generic Network
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep Network ∷ Type → Type # Methods from ∷ Network → Rep Network x # to ∷ Rep Network x → Network #
Show Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec ∷ Int → Network → ShowS # show ∷ Network → String # showList ∷ [Network] → ShowS #
DecCBOR Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods decCBOR ∷ Decoder s Network # dropCBOR ∷ Proxy Network → Decoder s () # label ∷ Proxy Network → Text #
EncCBOR Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods encCBOR ∷ Network → Encoding # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Network → Size # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Network] → Size #
Default Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods def ∷ Network #
NFData Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf ∷ Network → () #
Eq Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ Network → Network → Bool # (/=) ∷ Network → Network → Bool #
Ord Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare ∷ Network → Network → Ordering # (<) ∷ Network → Network → Bool # (<=) ∷ Network → Network → Bool # (>) ∷ Network → Network → Bool # (>=) ∷ Network → Network → Bool # max ∷ Network → Network → Network # min ∷ Network → Network → Network #
NoThunks Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Network → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Network → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy Network → String #
type Rep Network
Instance details Defined in Cardano.Ledger.BaseTypes type Rep Network = D1 ('MetaData "Network" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.15.0.0-1046d1b1904b07389ef0faa5b38408cc4c76b23815c29933c8ff4d80bd3043da" 'False) (C1 ('MetaCons "Testnet" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Mainnet" 'PrefixI 'False) (U1 ∷ Type → Type))

class Bounded r ⇒ BoundedRational r where #

Type clases that allows conversion between Rational and some form of bounded rational type. Bounds can be restricted by both the Bounded type class and underlyng representation.

maybe True (\br -> minBound <= br && br <= maxBound) . boundRational

Roundtrip properties must hold:

\r -> maybe True ((r ==) . unboundRational) (boundRational r)
\br -> Just br == boundRational (unboundRational br)

Methods

boundRational ∷ Rational → Maybe r #

Returns Nothing when supplied value is not within bounds or when precision is too high to be represented by the underlying type

Example

Expand

>>> :set -XTypeApplications
>>> import Data.Ratio
>>> boundRational @UnitInterval $ 2 % 3
Just (2 % 3)
>>> boundRational @UnitInterval (-0.5)
Nothing
>>> boundRational @UnitInterval (1.5)
Nothing
>>> boundRational @UnitInterval 0
Just (0 % 1)
>>> boundRational @PositiveUnitInterval 0
Nothing

unboundRational ∷ r → Rational #

Promote bounded rational type into the unbounded Rational.

Instances

Instances details

BoundedRational NonNegativeInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational ∷ Rational → Maybe NonNegativeInterval # unboundRational ∷ NonNegativeInterval → Rational #
BoundedRational PositiveInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational ∷ Rational → Maybe PositiveInterval # unboundRational ∷ PositiveInterval → Rational #
BoundedRational PositiveUnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational ∷ Rational → Maybe PositiveUnitInterval # unboundRational ∷ PositiveUnitInterval → Rational #
BoundedRational UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational ∷ Rational → Maybe UnitInterval # unboundRational ∷ UnitInterval → Rational #
(Bounded (BoundedRatio b a), Bounded a, Integral a) ⇒ BoundedRational (BoundedRatio b a)
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational ∷ Rational → Maybe (BoundedRatio b a) # unboundRational ∷ BoundedRatio b a → Rational #

data UnitInterval #

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

Instances

Instances details

FromJSON UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser UnitInterval # parseJSONList ∷ Value → Parser [UnitInterval] # omittedField ∷ Maybe UnitInterval #
ToJSON UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON ∷ UnitInterval → Value # toEncoding ∷ UnitInterval → Encoding # toJSONList ∷ [UnitInterval] → Value # toEncodingList ∷ [UnitInterval] → Encoding # omitField ∷ UnitInterval → Bool #
Bounded UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound ∷ UnitInterval # maxBound ∷ UnitInterval #
Generic UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep UnitInterval ∷ Type → Type # Methods from ∷ UnitInterval → Rep UnitInterval x # to ∷ Rep UnitInterval x → UnitInterval #
Show UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec ∷ Int → UnitInterval → ShowS # show ∷ UnitInterval → String # showList ∷ [UnitInterval] → ShowS #
DecCBOR UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods decCBOR ∷ Decoder s UnitInterval # dropCBOR ∷ Proxy UnitInterval → Decoder s () # label ∷ Proxy UnitInterval → Text #
EncCBOR UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods encCBOR ∷ UnitInterval → Encoding # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy UnitInterval → Size # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [UnitInterval] → Size #
BoundedRational UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational ∷ Rational → Maybe UnitInterval # unboundRational ∷ UnitInterval → Rational #
IsRatio UnitInterval
Instance details Defined in Test.Cardano.Ledger.Core.Rational Methods (%!) ∷ Integer → Integer → UnitInterval
Default UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods def ∷ UnitInterval #
NFData UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf ∷ UnitInterval → () #
Eq UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ UnitInterval → UnitInterval → Bool # (/=) ∷ UnitInterval → UnitInterval → Bool #
Ord UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare ∷ UnitInterval → UnitInterval → Ordering # (<) ∷ UnitInterval → UnitInterval → Bool # (<=) ∷ UnitInterval → UnitInterval → Bool # (>) ∷ UnitInterval → UnitInterval → Bool # (>=) ∷ UnitInterval → UnitInterval → Bool # max ∷ UnitInterval → UnitInterval → UnitInterval # min ∷ UnitInterval → UnitInterval → UnitInterval #
NoThunks UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → UnitInterval → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → UnitInterval → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy UnitInterval → String #
Integral a ⇒ Bounded (BoundedRatio UnitInterval a)
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound ∷ BoundedRatio UnitInterval a # maxBound ∷ BoundedRatio UnitInterval a #
type Rep UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes type Rep UnitInterval = D1 ('MetaData "UnitInterval" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.15.0.0-1046d1b1904b07389ef0faa5b38408cc4c76b23815c29933c8ff4d80bd3043da" 'True) (C1 ('MetaCons "UnitInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BoundedRatio UnitInterval Word64))))

data ProtVer #

Constructors

ProtVer
Fields pvMajor ∷ !Version pvMinor ∷ !Natural

Instances

Instances details

FromJSON ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser ProtVer # parseJSONList ∷ Value → Parser [ProtVer] # omittedField ∷ Maybe ProtVer #
ToJSON ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON ∷ ProtVer → Value # toEncoding ∷ ProtVer → Encoding # toJSONList ∷ [ProtVer] → Value # toEncodingList ∷ [ProtVer] → Encoding # omitField ∷ ProtVer → Bool #
Generic ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep ProtVer ∷ Type → Type # Methods from ∷ ProtVer → Rep ProtVer x # to ∷ Rep ProtVer x → ProtVer #
Show ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec ∷ Int → ProtVer → ShowS # show ∷ ProtVer → String # showList ∷ [ProtVer] → ShowS #
FromCBOR ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR ∷ Decoder s ProtVer # label ∷ Proxy ProtVer → Text #
ToCBOR ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBOR ∷ ProtVer → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ProtVer → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ProtVer] → Size #
DecCBOR ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods decCBOR ∷ Decoder s ProtVer # dropCBOR ∷ Proxy ProtVer → Decoder s () # label ∷ Proxy ProtVer → Text #
EncCBOR ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods encCBOR ∷ ProtVer → Encoding # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ProtVer → Size # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ProtVer] → Size #
DecCBORGroup ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods decCBORGroup ∷ Decoder s ProtVer #
EncCBORGroup ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods encCBORGroup ∷ ProtVer → Encoding # encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy ProtVer → Size # listLen ∷ ProtVer → Word # listLenBound ∷ Proxy ProtVer → Word #
NFData ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf ∷ ProtVer → () #
Eq ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ ProtVer → ProtVer → Bool # (/=) ∷ ProtVer → ProtVer → Bool #
Ord ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare ∷ ProtVer → ProtVer → Ordering # (<) ∷ ProtVer → ProtVer → Bool # (<=) ∷ ProtVer → ProtVer → Bool # (>) ∷ ProtVer → ProtVer → Bool # (>=) ∷ ProtVer → ProtVer → Bool # max ∷ ProtVer → ProtVer → ProtVer # min ∷ ProtVer → ProtVer → ProtVer #
NoThunks ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → ProtVer → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → ProtVer → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy ProtVer → String #
type Rep ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes type Rep ProtVer = D1 ('MetaData "ProtVer" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.15.0.0-1046d1b1904b07389ef0faa5b38408cc4c76b23815c29933c8ff4d80bd3043da" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Version) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)))

module Cardano.Ledger.Binary.Version