Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.Tx.Address

Contents

Address
Reward Account

Synopsis

data Addr c
- = Addr Network (PaymentCredential c) (StakeReference c)
- | AddrBootstrap (BootstrapAddress c)
newtype BootstrapAddress c = BootstrapAddress {
- unBootstrapAddress :: Address
}
serialiseAddr :: Addr c -> ByteString
decodeAddr :: (Crypto c, MonadFail m) => ByteString -> m (Addr c)
decodeAddrEither :: Crypto c => ByteString -> Either String (Addr c)
decodeAddrShort :: (Crypto c, MonadFail m) => ShortByteString -> m (Addr c)
decodeAddrShortEither :: Crypto c => ShortByteString -> Either String (Addr c)
getNetwork :: Addr c -> Network
data RewardAcnt c = RewardAcnt {
- getRwdNetwork :: !Network
- getRwdCred :: !(Credential 'Staking c)
}
mkRwdAcnt :: Network -> Credential 'Staking c -> RewardAcnt c
serialiseRewardAcnt :: RewardAcnt c -> ByteString
deserialiseRewardAcnt :: Crypto c => ByteString -> Maybe (RewardAcnt c)

Address

data Addr c #

Constructors

Addr Network (PaymentCredential c) (StakeReference c)
AddrBootstrap (BootstrapAddress c)

Instances

Instances details

Crypto c => FromJSON (Addr c)
Instance details Defined in Cardano.Ledger.Address Methods parseJSON :: Value -> Parser (Addr c) parseJSONList :: Value -> Parser [Addr c] omittedField :: Maybe (Addr c)
Crypto c => FromJSONKey (Addr c)
Instance details Defined in Cardano.Ledger.Address Methods fromJSONKey :: FromJSONKeyFunction (Addr c) fromJSONKeyList :: FromJSONKeyFunction [Addr c]
ToJSON (Addr c)
Instance details Defined in Cardano.Ledger.Address Methods toJSON :: Addr c -> Value toEncoding :: Addr c -> Encoding toJSONList :: [Addr c] -> Value toEncodingList :: [Addr c] -> Encoding omitField :: Addr c -> Bool
ToJSONKey (Addr c)
Instance details Defined in Cardano.Ledger.Address Methods toJSONKey :: ToJSONKeyFunction (Addr c) toJSONKeyList :: ToJSONKeyFunction [Addr c]
Generic (Addr c)
Instance details Defined in Cardano.Ledger.Address Associated Types type Rep (Addr c) :: Type -> Type Source # Methods from :: Addr c -> Rep (Addr c) x Source # to :: Rep (Addr c) x -> Addr c Source #
Show (Addr c)
Instance details Defined in Cardano.Ledger.Address Methods showsPrec :: Int -> Addr c -> ShowS Source # show :: Addr c -> String Source # showList :: [Addr c] -> ShowS Source #
Crypto c => DecCBOR (Addr c)
Instance details Defined in Cardano.Ledger.Address Methods decCBOR :: Decoder s (Addr c) dropCBOR :: Proxy (Addr c) -> Decoder s () label :: Proxy (Addr c) -> Text
Crypto c => EncCBOR (Addr c)
Instance details Defined in Cardano.Ledger.Address Methods encCBOR :: Addr c -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (Addr c) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [Addr c] -> Size
NFData (Addr c)
Instance details Defined in Cardano.Ledger.Address Methods rnf :: Addr c -> () Source #
Eq (Addr c)
Instance details Defined in Cardano.Ledger.Address Methods (==) :: Addr c -> Addr c -> Bool Source # (/=) :: Addr c -> Addr c -> Bool Source #
Ord (Addr c)
Instance details Defined in Cardano.Ledger.Address Methods compare :: Addr c -> Addr c -> Ordering Source # (<) :: Addr c -> Addr c -> Bool Source # (<=) :: Addr c -> Addr c -> Bool Source # (>) :: Addr c -> Addr c -> Bool Source # (>=) :: Addr c -> Addr c -> Bool Source # max :: Addr c -> Addr c -> Addr c Source # min :: Addr c -> Addr c -> Addr c Source #
NoThunks (Addr c)
Instance details Defined in Cardano.Ledger.Address Methods noThunks :: Context -> Addr c -> IO (Maybe ThunkInfo) wNoThunks :: Context -> Addr c -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (Addr c) -> String
ToExpr (Addr c)
Instance details Defined in Cardano.Ledger.Address Methods toExpr :: Addr c -> Expr listToExpr :: [Addr c] -> Expr
type Rep (Addr c)
Instance details Defined in Cardano.Ledger.Address type Rep (Addr c) = D1 ('MetaData "Addr" "Cardano.Ledger.Address" "cardano-ledger-core-1.9.0.0-1dQ7WLDbkZc8aXLEpNIvOr" 'False) (C1 ('MetaCons "Addr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PaymentCredential c)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StakeReference c)))) :+: C1 ('MetaCons "AddrBootstrap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BootstrapAddress c))))

newtype BootstrapAddress c #

Constructors

BootstrapAddress
Fields unBootstrapAddress :: Address

Instances

Instances details

Generic (BootstrapAddress c)
Instance details Defined in Cardano.Ledger.Address Associated Types type Rep (BootstrapAddress c) :: Type -> Type Source # Methods from :: BootstrapAddress c -> Rep (BootstrapAddress c) x Source # to :: Rep (BootstrapAddress c) x -> BootstrapAddress c Source #
Show (BootstrapAddress c)
Instance details Defined in Cardano.Ledger.Address Methods showsPrec :: Int -> BootstrapAddress c -> ShowS Source # show :: BootstrapAddress c -> String Source # showList :: [BootstrapAddress c] -> ShowS Source #
NFData (BootstrapAddress c)
Instance details Defined in Cardano.Ledger.Address Methods rnf :: BootstrapAddress c -> () Source #
Eq (BootstrapAddress c)
Instance details Defined in Cardano.Ledger.Address Methods (==) :: BootstrapAddress c -> BootstrapAddress c -> Bool Source # (/=) :: BootstrapAddress c -> BootstrapAddress c -> Bool Source #
Ord (BootstrapAddress c)
Instance details Defined in Cardano.Ledger.Address Methods compare :: BootstrapAddress c -> BootstrapAddress c -> Ordering Source # (<) :: BootstrapAddress c -> BootstrapAddress c -> Bool Source # (<=) :: BootstrapAddress c -> BootstrapAddress c -> Bool Source # (>) :: BootstrapAddress c -> BootstrapAddress c -> Bool Source # (>=) :: BootstrapAddress c -> BootstrapAddress c -> Bool Source # max :: BootstrapAddress c -> BootstrapAddress c -> BootstrapAddress c Source # min :: BootstrapAddress c -> BootstrapAddress c -> BootstrapAddress c Source #
NoThunks (BootstrapAddress c)
Instance details Defined in Cardano.Ledger.Address Methods noThunks :: Context -> BootstrapAddress c -> IO (Maybe ThunkInfo) wNoThunks :: Context -> BootstrapAddress c -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (BootstrapAddress c) -> String
ToExpr (BootstrapAddress c)
Instance details Defined in Cardano.Ledger.Address Methods toExpr :: BootstrapAddress c -> Expr listToExpr :: [BootstrapAddress c] -> Expr
type Rep (BootstrapAddress c)
Instance details Defined in Cardano.Ledger.Address type Rep (BootstrapAddress c) = D1 ('MetaData "BootstrapAddress" "Cardano.Ledger.Address" "cardano-ledger-core-1.9.0.0-1dQ7WLDbkZc8aXLEpNIvOr" 'True) (C1 ('MetaCons "BootstrapAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBootstrapAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Address)))

serialiseAddr :: Addr c -> ByteString #

decodeAddr :: (Crypto c, MonadFail m) => ByteString -> m (Addr c) #

decodeAddrEither :: Crypto c => ByteString -> Either String (Addr c) #

decodeAddrShort :: (Crypto c, MonadFail m) => ShortByteString -> m (Addr c) #

decodeAddrShortEither :: Crypto c => ShortByteString -> Either String (Addr c) #

getNetwork :: Addr c -> Network #

Reward Account

data RewardAcnt c #

Constructors

RewardAcnt
Fields getRwdNetwork :: !Network getRwdCred :: !(Credential 'Staking c)

Instances

Instances details

Crypto c => FromJSON (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods parseJSON :: Value -> Parser (RewardAcnt c) parseJSONList :: Value -> Parser [RewardAcnt c] omittedField :: Maybe (RewardAcnt c)
Crypto c => FromJSONKey (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods fromJSONKey :: FromJSONKeyFunction (RewardAcnt c) fromJSONKeyList :: FromJSONKeyFunction [RewardAcnt c]
Crypto c => ToJSON (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods toJSON :: RewardAcnt c -> Value toEncoding :: RewardAcnt c -> Encoding toJSONList :: [RewardAcnt c] -> Value toEncodingList :: [RewardAcnt c] -> Encoding omitField :: RewardAcnt c -> Bool
Crypto c => ToJSONKey (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods toJSONKey :: ToJSONKeyFunction (RewardAcnt c) toJSONKeyList :: ToJSONKeyFunction [RewardAcnt c]
Generic (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Associated Types type Rep (RewardAcnt c) :: Type -> Type Source # Methods from :: RewardAcnt c -> Rep (RewardAcnt c) x Source # to :: Rep (RewardAcnt c) x -> RewardAcnt c Source #
Show (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods showsPrec :: Int -> RewardAcnt c -> ShowS Source # show :: RewardAcnt c -> String Source # showList :: [RewardAcnt c] -> ShowS Source #
Crypto c => DecCBOR (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods decCBOR :: Decoder s (RewardAcnt c) dropCBOR :: Proxy (RewardAcnt c) -> Decoder s () label :: Proxy (RewardAcnt c) -> Text
Crypto c => EncCBOR (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods encCBOR :: RewardAcnt c -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (RewardAcnt c) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [RewardAcnt c] -> Size
Crypto c => Default (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods def :: RewardAcnt c
NFData (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods rnf :: RewardAcnt c -> () Source #
Eq (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods (==) :: RewardAcnt c -> RewardAcnt c -> Bool Source # (/=) :: RewardAcnt c -> RewardAcnt c -> Bool Source #
Ord (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods compare :: RewardAcnt c -> RewardAcnt c -> Ordering Source # (<) :: RewardAcnt c -> RewardAcnt c -> Bool Source # (<=) :: RewardAcnt c -> RewardAcnt c -> Bool Source # (>) :: RewardAcnt c -> RewardAcnt c -> Bool Source # (>=) :: RewardAcnt c -> RewardAcnt c -> Bool Source # max :: RewardAcnt c -> RewardAcnt c -> RewardAcnt c Source # min :: RewardAcnt c -> RewardAcnt c -> RewardAcnt c Source #
NoThunks (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods noThunks :: Context -> RewardAcnt c -> IO (Maybe ThunkInfo) wNoThunks :: Context -> RewardAcnt c -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (RewardAcnt c) -> String
ToExpr (RewardAcnt era)
Instance details Defined in Cardano.Ledger.Address Methods toExpr :: RewardAcnt era -> Expr listToExpr :: [RewardAcnt era] -> Expr
type Rep (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address type Rep (RewardAcnt c) = D1 ('MetaData "RewardAcnt" "Cardano.Ledger.Address" "cardano-ledger-core-1.9.0.0-1dQ7WLDbkZc8aXLEpNIvOr" 'False) (C1 ('MetaCons "RewardAcnt" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRwdNetwork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "getRwdCred") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking c))))

mkRwdAcnt :: Network -> Credential 'Staking c -> RewardAcnt c #

serialiseRewardAcnt :: RewardAcnt c -> ByteString #

deserialiseRewardAcnt :: Crypto c => ByteString -> Maybe (RewardAcnt c) #