cardano-wallet-core-2022.7.1: The Wallet Backend for a Cardano node.
Copyright © 2022 IOHK
License Apache-2.0
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Credential.Safe

Description

Re-exports functionality provided by module Credential , but with a safer interface.

Synopsis

Safe Ptr interface

data Ptr Source #

Pointer to a slot number, transaction index and an index in certificate list.

Instances

Instances details
Eq Ptr
Instance details

Defined in Cardano.Ledger.Credential

Methods

(==) :: Ptr -> Ptr -> Bool Source #

(/=) :: Ptr -> Ptr -> Bool Source #

Ord Ptr
Instance details

Defined in Cardano.Ledger.Credential

Methods

compare :: Ptr -> Ptr -> Ordering Source #

(<) :: Ptr -> Ptr -> Bool Source #

(<=) :: Ptr -> Ptr -> Bool Source #

(>) :: Ptr -> Ptr -> Bool Source #

(>=) :: Ptr -> Ptr -> Bool Source #

max :: Ptr -> Ptr -> Ptr Source #

min :: Ptr -> Ptr -> Ptr Source #

Show Ptr
Instance details

Defined in Cardano.Ledger.Credential

Methods

showsPrec :: Int -> Ptr -> ShowS Source #

show :: Ptr -> String Source #

showList :: [ Ptr ] -> ShowS Source #

Generic Ptr
Instance details

Defined in Cardano.Ledger.Credential

Associated Types

type Rep Ptr :: Type -> Type Source #

Methods

from :: Ptr -> Rep Ptr x Source #

to :: Rep Ptr x -> Ptr Source #

NFData Ptr
Instance details

Defined in Cardano.Ledger.Credential

Methods

rnf :: Ptr -> () Source #

FromCBOR Ptr
Instance details

Defined in Cardano.Ledger.Credential

Methods

fromCBOR :: Decoder s Ptr Source #

label :: Proxy Ptr -> Text Source #

ToCBOR Ptr
Instance details

Defined in Cardano.Ledger.Credential

Methods

toCBOR :: Ptr -> Encoding Source #

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

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

ToCBORGroup Ptr
Instance details

Defined in Cardano.Ledger.Credential

Methods

toCBORGroup :: Ptr -> Encoding Source #

encodedGroupSizeExpr :: ( forall x. ToCBOR x => Proxy x -> Size ) -> Proxy Ptr -> Size Source #

listLen :: Ptr -> Word Source #

listLenBound :: Proxy Ptr -> Word Source #

FromCBORGroup Ptr
Instance details

Defined in Cardano.Ledger.Credential

Methods

fromCBORGroup :: Decoder s Ptr Source #

NoThunks Ptr
Instance details

Defined in Cardano.Ledger.Credential

Methods

noThunks :: Context -> Ptr -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> Ptr -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy Ptr -> String Source #

type Rep Ptr
Instance details

Defined in Cardano.Ledger.Credential

type Rep Ptr = D1 (' MetaData "Ptr" "Cardano.Ledger.Credential" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "Ptr" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 SlotNo ) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 TxIx ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 CertIx ))))

safePtr :: SlotNo32 -> TxIx -> CertIx -> Ptr Source #

Safely constructs a Ptr without silent truncation of slot numbers.

Use toSlotNo32 to convert an ordinary SlotNo to a SlotNo32 .

This function should satisfy the following property: 

safeUnwrapPtr (safePtr s t c) == (s, t, c)

safeUnwrapPtr :: Ptr -> ( SlotNo32 , TxIx , CertIx ) Source #

Safely deconstructs a Ptr .

Use fromSlotNo32 to convert the returned slot number to a SlotNo .

This function should satisfy the following property: 

safeUnwrapPtr (safePtr s t c) == (s, t, c)

Conversions to and from Slot32

newtype SlotNo32 Source #

A 32-bit wide slot number.

Constructors

SlotNo32 Word32

Instances

Instances details
Eq SlotNo32 Source #
Instance details

Defined in Cardano.Ledger.Credential.Safe

Methods

(==) :: SlotNo32 -> SlotNo32 -> Bool Source #

(/=) :: SlotNo32 -> SlotNo32 -> Bool Source #

Num SlotNo32 Source #
Instance details

Defined in Cardano.Ledger.Credential.Safe

Methods

(+) :: SlotNo32 -> SlotNo32 -> SlotNo32 Source #

(-) :: SlotNo32 -> SlotNo32 -> SlotNo32 Source #

(*) :: SlotNo32 -> SlotNo32 -> SlotNo32 Source #

negate :: SlotNo32 -> SlotNo32 Source #

abs :: SlotNo32 -> SlotNo32 Source #

signum :: SlotNo32 -> SlotNo32 Source #

fromInteger :: Integer -> SlotNo32 Source #

Ord SlotNo32 Source #
Instance details

Defined in Cardano.Ledger.Credential.Safe

Methods

compare :: SlotNo32 -> SlotNo32 -> Ordering Source #

(<) :: SlotNo32 -> SlotNo32 -> Bool Source #

(<=) :: SlotNo32 -> SlotNo32 -> Bool Source #

(>) :: SlotNo32 -> SlotNo32 -> Bool Source #

(>=) :: SlotNo32 -> SlotNo32 -> Bool Source #

max :: SlotNo32 -> SlotNo32 -> SlotNo32 Source #

min :: SlotNo32 -> SlotNo32 -> SlotNo32 Source #

Show SlotNo32 Source #
Instance details

Defined in Cardano.Ledger.Credential.Safe

Methods

showsPrec :: Int -> SlotNo32 -> ShowS Source #

show :: SlotNo32 -> String Source #

showList :: [ SlotNo32 ] -> ShowS Source #

toSlotNo32 :: SlotNo -> Maybe SlotNo32 Source #

Converts an ordinary SlotNo into a SlotNo32 .

Returns Nothing if the slot number could not be converted safely.

fromSlotNo32 :: SlotNo32 -> SlotNo Source #

Converts a SlotNo32 into an ordinary SlotNo .