cardano-ledger-shelley-ma-0.1.0.0: Shelley ledger with multiasset and time lock support.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.ShelleyMA.TxBody

Synopsis

Documentation

newtype TxBody e Source #

Constructors

TxBodyConstr (MemoBytes (TxBodyRaw e)) 

Bundled Patterns

pattern TxBody :: (Val (Value era), FamsTo era) => Set (TxIn (Crypto era)) -> StrictSeq (TxOut era) -> StrictSeq (DCert (Crypto era)) -> Wdrl (Crypto era) -> Coin -> ValidityInterval -> StrictMaybe (Update era) -> StrictMaybe (AuxiliaryDataHash (Crypto era)) -> Value era -> TxBody era 

Instances

Instances details
Value era ~ value => HasField "mint" (TxBody era) value Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody era -> value #

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

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody era -> Coin #

HasField "vldt" (TxBody era) ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Crypto era ~ crypto => HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody era -> StrictMaybe (AuxiliaryDataHash crypto) #

Crypto era ~ crypto => HasField "certs" (TxBody era) (StrictSeq (DCert crypto)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody era -> StrictSeq (DCert crypto) #

Crypto era ~ crypto => HasField "inputs" (TxBody era) (Set (TxIn crypto)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody era -> Set (TxIn crypto) #

HasField "outputs" (TxBody era) (StrictSeq (TxOut era)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody era -> StrictSeq (TxOut era) #

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

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody era -> StrictMaybe (Update era) #

Crypto era ~ crypto => HasField "wdrls" (TxBody era) (Wdrl crypto) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody era -> Wdrl crypto #

(Compactible (Value era), Eq (Value era), Eq (CompactForm (Value era))) => Eq (TxBody era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

(==) :: TxBody era -> TxBody era -> Bool #

(/=) :: TxBody era -> TxBody era -> Bool #

(Era era, Compactible (Value era), Show (Value era)) => Show (TxBody era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

showsPrec :: Int -> TxBody era -> ShowS #

show :: TxBody era -> String #

showList :: [TxBody era] -> ShowS #

Generic (TxBody era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Associated Types

type Rep (TxBody era) :: Type -> Type #

Methods

from :: TxBody era -> Rep (TxBody era) x #

to :: Rep (TxBody era) x -> TxBody era #

(NFData (Value era), Era era) => NFData (TxBody era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

rnf :: TxBody era -> () #

Typeable era => ToCBOR (TxBody era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

toCBOR :: TxBody era -> Encoding Source #

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

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

(Val (Value era), FamsFrom era) => FromCBOR (Annotator (TxBody era)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

(Typeable era, NoThunks (Value era)) => NoThunks (TxBody era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Era era => HashAnnotated (TxBody era) era Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Associated Types

type HashIndex (TxBody era) Source #

Methods

hashAnnotated :: TxBody era -> Hash (HASH (Crypto era)) (HashIndex (TxBody era)) Source #

Crypto c => TranslateEra (MaryEra c) TxBody Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) TxBody Source #

type Rep (TxBody era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

type Rep (TxBody era) = D1 ('MetaData "TxBody" "Cardano.Ledger.ShelleyMA.TxBody" "cardano-ledger-shelley-ma-0.1.0.0-1YGSw9UWWJIK0EmJl3eL5D" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (TxBodyRaw era)))))
type HashIndex (TxBody era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

type TranslationError (MaryEra c) TxBody Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

data TxBodyRaw era Source #

Constructors

TxBodyRaw 

Fields

Instances

Instances details
(Compactible (Value era), Eq (Value era), Eq (CompactForm (Value era))) => Eq (TxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

(==) :: TxBodyRaw era -> TxBodyRaw era -> Bool #

(/=) :: TxBodyRaw era -> TxBodyRaw era -> Bool #

(Era era, Compactible (Value era), Show (Value era)) => Show (TxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

showsPrec :: Int -> TxBodyRaw era -> ShowS #

show :: TxBodyRaw era -> String #

showList :: [TxBodyRaw era] -> ShowS #

Generic (TxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Associated Types

type Rep (TxBodyRaw era) :: Type -> Type #

Methods

from :: TxBodyRaw era -> Rep (TxBodyRaw era) x #

to :: Rep (TxBodyRaw era) x -> TxBodyRaw era #

(NFData (Value era), Era era) => NFData (TxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

rnf :: TxBodyRaw era -> () #

(Val (Value era), FamsFrom era) => FromCBOR (Annotator (TxBodyRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

(Val (Value era), FamsFrom era) => FromCBOR (TxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

NoThunks (Value era) => NoThunks (TxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

type Rep (TxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

type FamsTo era = (Era era, ToCBOR (Value era), Compactible (Value era), EncodeMint (Value era), ToCBOR (CompactForm (Value era)), ToCBOR (Script era), Typeable (AuxiliaryData era)) Source #

txSparse :: (Val (Value era), FamsTo era) => TxBodyRaw era -> Encode ('Closed 'Sparse) (TxBodyRaw era) Source #

data StrictMaybe a Source #

Strict Maybe.

TODO move to cardano-prelude

Constructors

SNothing 
SJust !a 

Instances

Instances details
Monad StrictMaybe 
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 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

fmap :: (a -> b) -> StrictMaybe a -> StrictMaybe b #

(<$) :: a -> StrictMaybe b -> StrictMaybe a #

MonadFail StrictMaybe 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

fail :: String -> StrictMaybe a #

Applicative StrictMaybe 
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 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

fold :: Monoid m => StrictMaybe m -> m #

foldMap :: Monoid 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 #

toList :: StrictMaybe a -> [a] #

null :: StrictMaybe a -> Bool #

length :: StrictMaybe a -> Int #

elem :: Eq a => a -> StrictMaybe a -> Bool #

maximum :: Ord a => StrictMaybe a -> a #

minimum :: Ord a => StrictMaybe a -> a #

sum :: Num a => StrictMaybe a -> a #

product :: Num a => StrictMaybe a -> a #

Traversable StrictMaybe 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

traverse :: Applicative f => (a -> f b) -> StrictMaybe a -> f (StrictMaybe b) #

sequenceA :: Applicative f => StrictMaybe (f a) -> f (StrictMaybe a) #

mapM :: Monad m => (a -> m b) -> StrictMaybe a -> m (StrictMaybe b) #

sequence :: Monad m => StrictMaybe (m a) -> m (StrictMaybe a) #

Crypto era ~ crypto => HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto)) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getField :: TxBody era -> StrictMaybe (AuxiliaryDataHash crypto) #

Crypto era ~ crypto => HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody era -> StrictMaybe (AuxiliaryDataHash crypto) #

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

Defined in Shelley.Spec.Ledger.TxBody

Methods

getField :: TxBody era -> StrictMaybe (Update era) #

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

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody era -> StrictMaybe (Update era) #

Eq a => Eq (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Ord a => Ord (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Show a => Show (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Generic (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep (StrictMaybe a) :: Type -> Type #

Methods

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

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

NFData a => NFData (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnf :: StrictMaybe a -> () #

ToJSON a => ToJSON (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromJSON a => FromJSON (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Era era => ToCBOR (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBOR :: PParamsUpdate era -> Encoding Source #

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

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

ToCBOR a => ToCBOR (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBOR :: StrictMaybe a -> Encoding Source #

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

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

Era era => FromCBOR (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

FromCBOR a => FromCBOR (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

NoThunks a => NoThunks (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Eq (PParams' StrictMaybe era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Ord (PParams' StrictMaybe era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Show (PParams' StrictMaybe era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

NFData (PParams' StrictMaybe era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

rnf :: PParams' StrictMaybe era -> () #

type Rep (StrictMaybe a) 
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-Is3EknyvW92LxCl96jGQVW" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

data ValidityInterval Source #

ValidityInterval is a half open interval. Closed on the bottom, Open on the top. A SNothing on the bottom is negative infinity, and a SNothing on the top is positive infinity

Instances

Instances details
Eq ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Ord ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Show ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Generic ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Associated Types

type Rep ValidityInterval :: Type -> Type #

NFData ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

rnf :: ValidityInterval -> () #

ToCBOR ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

FromCBOR ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

NoThunks ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

HasField "vldt" (TxBody era) ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

type Rep ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.ShelleyMA.Timelocks" "cardano-ledger-shelley-ma-0.1.0.0-1YGSw9UWWJIK0EmJl3eL5D" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))

initial :: Val (Value era) => TxBodyRaw era Source #