type Rep Port
Instance details Defined in Cardano.Ledger.BaseTypes type Rep Port = D1 ('MetaData "Port" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.17.0.0-4816f6493dd543b78767f05e25bc94667cc1a25332fefdec96fe01e511f97bc7" 'True) (C1 ('MetaCons "Port" 'PrefixI 'True) (S1 ('MetaSel ('Just "portToWord16") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

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 #

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.17.0.0-4816f6493dd543b78767f05e25bc94667cc1a25332fefdec96fe01e511f97bc7" '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 #

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 :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy DnsName -> Size #

encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [DnsName] -> Size #

NFData DnsName

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf :: DnsName -> () #

Generic DnsName

Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep DnsName
Instance details Defined in Cardano.Ledger.BaseTypes type Rep DnsName = D1 ('MetaData "DnsName" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.17.0.0-4816f6493dd543b78767f05e25bc94667cc1a25332fefdec96fe01e511f97bc7" 'True) (C1 ('MetaCons "DnsName" 'PrefixI 'True) (S1 ('MetaSel ('Just "dnsToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

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 #

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.17.0.0-4816f6493dd543b78767f05e25bc94667cc1a25332fefdec96fe01e511f97bc7" '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 #

FromCBOR Network

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

fromCBOR :: Decoder s Network #

label :: Proxy Network -> Text #

ToCBOR Network

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toCBOR :: Network -> Encoding #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Network -> Size #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Network] -> Size #

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 :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy Network -> Size #

encodedListSizeExpr :: (forall 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 -> () #

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
Instance details Defined in Cardano.Ledger.BaseTypes type Rep Network = D1 ('MetaData "Network" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.17.0.0-4816f6493dd543b78767f05e25bc94667cc1a25332fefdec96fe01e511f97bc7" 'False) (C1 ('MetaCons "Testnet" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mainnet" 'PrefixI 'False) (U1 :: 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 #

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.17.0.0-4816f6493dd543b78767f05e25bc94667cc1a25332fefdec96fe01e511f97bc7" '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 #

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 :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy UnitInterval -> Size #

encodedListSizeExpr :: (forall 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 #

ToPlutusData UnitInterval

Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData :: UnitInterval -> Data #

fromPlutusData :: Data -> Maybe UnitInterval #

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 -> () #

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

Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep UnitInterval = D1 ('MetaData "UnitInterval" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.17.0.0-4816f6493dd543b78767f05e25bc94667cc1a25332fefdec96fe01e511f97bc7" 'True) (C1 ('MetaCons "UnitInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BoundedRatio UnitInterval Word64))))

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 #

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.17.0.0-4816f6493dd543b78767f05e25bc94667cc1a25332fefdec96fe01e511f97bc7" '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 #

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 :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ProtVer -> Size #

encodedListSizeExpr :: (forall 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 :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy ProtVer -> Size #

encodedListSizeExpr :: (forall 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 :: (forall x. EncCBOR x => Proxy x -> Size) -> Proxy ProtVer -> Size #

listLen :: ProtVer -> Word #

listLenBound :: Proxy ProtVer -> Word #

ToPlutusData ProtVer

Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData :: ProtVer -> Data #

fromPlutusData :: Data -> Maybe ProtVer #

NFData ProtVer

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf :: ProtVer -> () #

Generic ProtVer

Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep ProtVer

Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep ProtVer = D1 ('MetaData "ProtVer" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.17.0.0-4816f6493dd543b78767f05e25bc94667cc1a25332fefdec96fe01e511f97bc7" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Version) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)))

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 #

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.17.0.0-4816f6493dd543b78767f05e25bc94667cc1a25332fefdec96fe01e511f97bc7" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Version) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)))

data GovRelation (f :: Type -> Type) era #

Abstract data type for representing relationship of governance action with the same purpose

Constructors

GovRelation
Fields grPParamUpdate :: !(f (GovPurposeId 'PParamUpdatePurpose era)) grHardFork :: !(f (GovPurposeId 'HardForkPurpose era)) grCommittee :: !(f (GovPurposeId 'CommitteePurpose era)) grConstitution :: !(f (GovPurposeId 'ConstitutionPurpose era))

Instances

Instances details

(Era era, forall (p :: GovActionPurpose). ToJSON (f (GovPurposeId p era))) => ToJSON (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON :: GovRelation f era -> Value #

toEncoding :: GovRelation f era -> Encoding #

toJSONList :: [GovRelation f era] -> Value #

toEncodingList :: [GovRelation f era] -> Encoding #

omitField :: GovRelation f era -> Bool #

(Era era, Typeable f, forall (p :: GovActionPurpose). Typeable p => DecCBOR (f (GovPurposeId p era))) => DecCBOR (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR :: Decoder s (GovRelation f era) #

dropCBOR :: Proxy (GovRelation f era) -> Decoder s () #

label :: Proxy (GovRelation f era) -> Text #

(Era era, Typeable f, forall (p :: GovActionPurpose). Typeable p => EncCBOR (f (GovPurposeId p era))) => EncCBOR (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR :: GovRelation f era -> Encoding #

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (GovRelation f era) -> Size #

encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [GovRelation f era] -> Size #

(forall (p :: GovActionPurpose). Default (f (GovPurposeId p era))) => Default (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

def :: GovRelation f era #

(forall (p :: GovActionPurpose). NFData (f (GovPurposeId p era))) => NFData (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf :: GovRelation f era -> () #

(forall (p :: GovActionPurpose). Monoid (f (GovPurposeId p era))) => Monoid (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

mempty :: GovRelation f era #

mappend :: GovRelation f era -> GovRelation f era -> GovRelation f era #

mconcat :: [GovRelation f era] -> GovRelation f era #

(forall (p :: GovActionPurpose). Semigroup (f (GovPurposeId p era))) => Semigroup (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(<>) :: GovRelation f era -> GovRelation f era -> GovRelation f era #

sconcat :: NonEmpty (GovRelation f era) -> GovRelation f era #

stimes :: Integral b => b -> GovRelation f era -> GovRelation f era #

Generic (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovRelation f era) = D1 ('MetaData "GovRelation" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-b76bb97b04d8061031f2334df9d2de626eaa8b08fd77b042c133904e9d2a5e06" 'False) (C1 ('MetaCons "GovRelation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "grPParamUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'PParamUpdatePurpose era))) :*: S1 ('MetaSel ('Just "grHardFork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'HardForkPurpose era)))) :*: (S1 ('MetaSel ('Just "grCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'CommitteePurpose era))) :*: S1 ('MetaSel ('Just "grConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'ConstitutionPurpose era))))))

Methods

from :: GovRelation f era -> Rep (GovRelation f era) x #

to :: Rep (GovRelation f era) x -> GovRelation f era #

(forall (p :: GovActionPurpose). Show (f (GovPurposeId p era))) => Show (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec :: Int -> GovRelation f era -> ShowS #

show :: GovRelation f era -> String #

showList :: [GovRelation f era] -> ShowS #

(forall (p :: GovActionPurpose). Eq (f (GovPurposeId p era))) => Eq (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==) :: GovRelation f era -> GovRelation f era -> Bool #

(/=) :: GovRelation f era -> GovRelation f era -> Bool #

(forall (p :: GovActionPurpose). NoThunks (f (GovPurposeId p era))) => NoThunks (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks :: Context -> GovRelation f era -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> GovRelation f era -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (GovRelation f era) -> String #

type Rep (GovRelation f era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovRelation f era) = D1 ('MetaData "GovRelation" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-b76bb97b04d8061031f2334df9d2de626eaa8b08fd77b042c133904e9d2a5e06" 'False) (C1 ('MetaCons "GovRelation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "grPParamUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'PParamUpdatePurpose era))) :*: S1 ('MetaSel ('Just "grHardFork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'HardForkPurpose era)))) :*: (S1 ('MetaSel ('Just "grCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'CommitteePurpose era))) :*: S1 ('MetaSel ('Just "grConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'ConstitutionPurpose era))))))

data PRoot a #

The root of a single Proposals tree. prRoot is always expected to be equal to the respective PrevGovActionId at the end of every epoch boundary

Constructors

PRoot
Fields prRoot :: !(StrictMaybe a) prChildren :: !(Set a)

Instances

Instances details

Default (PRoot a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

def :: PRoot a #

NFData a => NFData (PRoot a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

rnf :: PRoot a -> () #

Generic (PRoot a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Associated Types

type Rep (PRoot a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Rep (PRoot a) = D1 ('MetaData "PRoot" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.19.0.0-b76bb97b04d8061031f2334df9d2de626eaa8b08fd77b042c133904e9d2a5e06" 'False) (C1 ('MetaCons "PRoot" 'PrefixI 'True) (S1 ('MetaSel ('Just "prRoot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe a)) :*: S1 ('MetaSel ('Just "prChildren") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set a))))

Methods

from :: PRoot a -> Rep (PRoot a) x #

to :: Rep (PRoot a) x -> PRoot a #

Show a => Show (PRoot a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

showsPrec :: Int -> PRoot a -> ShowS #

show :: PRoot a -> String #

showList :: [PRoot a] -> ShowS #

Eq a => Eq (PRoot a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

(==) :: PRoot a -> PRoot a -> Bool #

(/=) :: PRoot a -> PRoot a -> Bool #

Ord a => Ord (PRoot a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

compare :: PRoot a -> PRoot a -> Ordering #

(<) :: PRoot a -> PRoot a -> Bool #

(<=) :: PRoot a -> PRoot a -> Bool #

(>) :: PRoot a -> PRoot a -> Bool #

(>=) :: PRoot a -> PRoot a -> Bool #

max :: PRoot a -> PRoot a -> PRoot a #

min :: PRoot a -> PRoot a -> PRoot a #

NoThunks a => NoThunks (PRoot a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

noThunks :: Context -> PRoot a -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> PRoot a -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (PRoot a) -> String #

type Rep (PRoot a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Rep (PRoot a) = D1 ('MetaData "PRoot" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.19.0.0-b76bb97b04d8061031f2334df9d2de626eaa8b08fd77b042c133904e9d2a5e06" 'False) (C1 ('MetaCons "PRoot" 'PrefixI 'True) (S1 ('MetaSel ('Just "prRoot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe a)) :*: S1 ('MetaSel ('Just "prChildren") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set a))))

newtype PGraph a #

A single proposal-tree. This map represents all the action-ids that form a tree.

Constructors

PGraph
Fields unPGraph :: Map a (PEdges a)

Instances

Instances details

Default (PGraph a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

def :: PGraph a #

NFData a => NFData (PGraph a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

rnf :: PGraph a -> () #

Generic (PGraph a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Associated Types

type Rep (PGraph a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Rep (PGraph a) = D1 ('MetaData "PGraph" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.19.0.0-b76bb97b04d8061031f2334df9d2de626eaa8b08fd77b042c133904e9d2a5e06" 'True) (C1 ('MetaCons "PGraph" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPGraph") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map a (PEdges a)))))

Methods

from :: PGraph a -> Rep (PGraph a) x #

to :: Rep (PGraph a) x -> PGraph a #

Show a => Show (PGraph a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

showsPrec :: Int -> PGraph a -> ShowS #

show :: PGraph a -> String #

showList :: [PGraph a] -> ShowS #

Eq a => Eq (PGraph a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

(==) :: PGraph a -> PGraph a -> Bool #

(/=) :: PGraph a -> PGraph a -> Bool #

Ord a => Ord (PGraph a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

compare :: PGraph a -> PGraph a -> Ordering #

(<) :: PGraph a -> PGraph a -> Bool #

(<=) :: PGraph a -> PGraph a -> Bool #

(>) :: PGraph a -> PGraph a -> Bool #

(>=) :: PGraph a -> PGraph a -> Bool #

max :: PGraph a -> PGraph a -> PGraph a #

min :: PGraph a -> PGraph a -> PGraph a #

NoThunks a => NoThunks (PGraph a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

noThunks :: Context -> PGraph a -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> PGraph a -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (PGraph a) -> String #

type Rep (PGraph a)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Rep (PGraph a) = D1 ('MetaData "PGraph" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.19.0.0-b76bb97b04d8061031f2334df9d2de626eaa8b08fd77b042c133904e9d2a5e06" 'True) (C1 ('MetaCons "PGraph" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPGraph") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map a (PEdges a)))))

module Cardano.Ledger.Binary.Version