Safe Haskell	None
Language	Haskell2010

PlutusLedgerApi.V1.Data.Credential

Description

Address and staking address credentials for outputs.

Synopsis

data StakingCredential
pattern StakingHash :: Credential -> StakingCredential
pattern StakingPtr :: Integer -> Integer -> Integer -> StakingCredential
data Credential
pattern PubKeyCredential :: PubKeyHash -> Credential
pattern ScriptCredential :: ScriptHash -> Credential
matchCredential :: Credential -> (PubKeyHash -> r) -> (ScriptHash -> r) -> r
matchStakingCredential :: StakingCredential -> (Credential -> r) -> (Integer -> Integer -> Integer -> r) -> r

Documentation

data StakingCredential Source #

Staking credential used to assign rewards.

The staking hash constructor is the Credential required to unlock a transaction output. Either a public key credential (PubKeyHash) or a script credential (ScriptHash). Both are hashed with BLAKE2b-244. 28 byte.

The StakingPtr constructor is the certificate pointer, constructed by the given slot number, transaction and certificate indices. NB: The fields should really be all Word64, as they are implemented in Word64, but Integer is our only integral type so we need to use it instead.

Instances

Instances details

Generic StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Associated Types

type Rep StakingCredential

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

type Rep StakingCredential = D1 ('MetaData "StakingCredential" "PlutusLedgerApi.V1.Data.Credential" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "StakingCredential_6989586621680084560" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

Methods

from :: StakingCredential -> Rep StakingCredential x Source #

to :: Rep StakingCredential x -> StakingCredential Source #

Show StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

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

show :: StakingCredential -> String Source #

showList :: [StakingCredential] -> ShowS Source #

NFData StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

rnf :: StakingCredential -> () Source #

Eq StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

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

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

Ord StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

compare :: StakingCredential -> StakingCredential -> Ordering Source #

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

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

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

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

max :: StakingCredential -> StakingCredential -> StakingCredential Source #

min :: StakingCredential -> StakingCredential -> StakingCredential Source #

HasBlueprintDefinition StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Associated Types

type Unroll StakingCredential
Instance details Defined in PlutusLedgerApi.V1.Data.Credential type Unroll StakingCredential = Insert StakingCredential (GUnroll (IfStuckRep (RepIsStuckError StakingCredential :: Type -> Type) (Rep StakingCredential)))

Methods

definitionId :: DefinitionId

Eq StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

(==) :: StakingCredential -> StakingCredential -> Bool

FromData StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

fromBuiltinData :: BuiltinData -> Maybe StakingCredential #

ToData StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

toBuiltinData :: StakingCredential -> BuiltinData #

UnsafeFromData StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

unsafeFromBuiltinData :: BuiltinData -> StakingCredential #

Show StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

showsPrec :: Integer -> StakingCredential -> ShowS

show :: StakingCredential -> BuiltinString

Pretty StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

pretty :: StakingCredential -> Doc ann

prettyList :: [StakingCredential] -> Doc ann

Lift DefaultUni StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

lift :: StakingCredential -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

typeRep :: Proxy StakingCredential -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

type Rep StakingCredential = D1 ('MetaData "StakingCredential" "PlutusLedgerApi.V1.Data.Credential" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "StakingCredential_6989586621680084560" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

type Unroll StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

type Unroll StakingCredential = Insert StakingCredential (GUnroll (IfStuckRep (RepIsStuckError StakingCredential :: Type -> Type) (Rep StakingCredential)))

pattern StakingHash :: Credential -> StakingCredential Source #

pattern StakingPtr :: Integer -> Integer -> Integer -> StakingCredential Source #

data Credential Source #

Credentials required to unlock a transaction output.

The PubKeyCredential constructor represents the transaction that spends this output and must be signed by the private key. See PubKeyHash.

The ScriptCredential constructor represents the transaction that spends this output must include the validator script and be accepted by the validator. See ScriptHash.

Instances

Instances details

Generic Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Associated Types

type Rep Credential
Instance details Defined in PlutusLedgerApi.V1.Data.Credential type Rep Credential = D1 ('MetaData "Credential" "PlutusLedgerApi.V1.Data.Credential" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "Credential_6989586621680083652" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

Methods

from :: Credential -> Rep Credential x Source #

to :: Rep Credential x -> Credential Source #

Show Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

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

show :: Credential -> String Source #

showList :: [Credential] -> ShowS Source #

NFData Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

rnf :: Credential -> () Source #

Eq Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

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

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

Ord Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

compare :: Credential -> Credential -> Ordering Source #

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

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

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

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

max :: Credential -> Credential -> Credential Source #

min :: Credential -> Credential -> Credential Source #

HasBlueprintDefinition Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Associated Types

type Unroll Credential
Instance details Defined in PlutusLedgerApi.V1.Data.Credential type Unroll Credential = Insert Credential (GUnroll (IfStuckRep (RepIsStuckError Credential :: Type -> Type) (Rep Credential)))