atlas-cardano
Copyright(c) 2025 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellNone
LanguageGHC2021

GeniusYield.Types.Reexpose

Description

 
Synopsis

Documentation

newtype Port #

Constructors

Port 

Fields

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 #

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

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

NFData Port 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf :: Port -> () #

Generic Port 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

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

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

module Cardano.Ledger.Binary.Version