shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.Coin

Synopsis

Documentation

newtype Coin Source #

The amount of value held by a transaction output.

Constructors

Coin 

Fields

Instances

Instances details
Enum Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

succ :: Coin -> Coin #

pred :: Coin -> Coin #

toEnum :: Int -> Coin #

fromEnum :: Coin -> Int #

enumFrom :: Coin -> [Coin] #

enumFromThen :: Coin -> Coin -> [Coin] #

enumFromTo :: Coin -> Coin -> [Coin] #

enumFromThenTo :: Coin -> Coin -> Coin -> [Coin] #

Eq Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

(==) :: Coin -> Coin -> Bool #

(/=) :: Coin -> Coin -> Bool #

Ord Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

compare :: Coin -> Coin -> Ordering #

(<) :: Coin -> Coin -> Bool #

(<=) :: Coin -> Coin -> Bool #

(>) :: Coin -> Coin -> Bool #

(>=) :: Coin -> Coin -> Bool #

max :: Coin -> Coin -> Coin #

min :: Coin -> Coin -> Coin #

Show Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

showsPrec :: Int -> Coin -> ShowS #

show :: Coin -> String #

showList :: [Coin] -> ShowS #

Generic Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Associated Types

type Rep Coin :: Type -> Type #

Methods

from :: Coin -> Rep Coin x #

to :: Rep Coin x -> Coin #

Semigroup Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

(<>) :: Coin -> Coin -> Coin #

sconcat :: NonEmpty Coin -> Coin #

stimes :: Integral b => b -> Coin -> Coin #

Monoid Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

mempty :: Coin #

mappend :: Coin -> Coin -> Coin #

mconcat :: [Coin] -> Coin #

NFData Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

rnf :: Coin -> () #

ToJSON Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

FromJSON Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

ToCBOR Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

toCBOR :: Coin -> Encoding Source #

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

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

FromCBOR Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Group Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

invert :: Coin -> Coin Source #

(~~) :: Coin -> Coin -> Coin Source #

pow :: Integral x => Coin -> x -> Coin Source #

Abelian Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

NoThunks Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

PartialOrd Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Compactible Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Associated Types

data CompactForm Coin Source #

Torsor Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Associated Types

type Delta Coin Source #

EncodeMint Coin Source # 
Instance details

Defined in Cardano.Ledger.Val

DecodeMint Coin Source # 
Instance details

Defined in Cardano.Ledger.Val

DecodeNonNegative Coin Source # 
Instance details

Defined in Cardano.Ledger.Val

Val Coin Source # 
Instance details

Defined in Cardano.Ledger.Val

HasField "txfee" (TxBody era) Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getField :: TxBody era -> Coin #

Eq (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Show (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

ToCBOR (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

FromCBOR (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

NoThunks (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Rep Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Rep Coin = D1 ('MetaData "Coin" "Shelley.Spec.Ledger.Coin" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
newtype CompactForm Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Delta Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

data family CompactForm a :: Type Source #

Instances

Instances details
Eq (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Show (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

ToCBOR (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

FromCBOR (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

NoThunks (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

(DecodeNonNegative a, Compactible a, Show a) => DecodeNonNegative (CompactForm a) Source # 
Instance details

Defined in Cardano.Ledger.Val

newtype CompactForm Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

newtype DeltaCoin Source #

Constructors

DeltaCoin Integer 

Instances

Instances details
Enum DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Eq DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Ord DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Show DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Generic DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Associated Types

type Rep DeltaCoin :: Type -> Type #

Semigroup DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Monoid DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

NFData DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

rnf :: DeltaCoin -> () #

ToCBOR DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

toCBOR :: DeltaCoin -> Encoding Source #

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

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

FromCBOR DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Group DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Abelian DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

NoThunks DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

PartialOrd DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Val DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Val

type Rep DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Rep DeltaCoin = D1 ('MetaData "DeltaCoin" "Shelley.Spec.Ledger.Coin" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'True) (C1 ('MetaCons "DeltaCoin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))