Safe Haskell	None
Language	Haskell2010

PlutusLedgerApi.V1.Credential

Description

Address and staking address credentials for outputs.

Synopsis

data StakingCredential
- = StakingHash Credential
- | StakingPtr Integer Integer Integer
data Credential
- = PubKeyCredential PubKeyHash
- | ScriptCredential ScriptHash

Documentation

data StakingCredential Source #

Staking credential used to assign rewards.

Constructors

StakingHash Credential	The staking hash 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.
StakingPtr	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.
Fields Integer the slot number Integer the transaction index (within the block) Integer the certificate index (within the transaction)

Instances

Instances details

Generic StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Associated Types

type Rep StakingCredential

Instance details

Defined in PlutusLedgerApi.V1.Credential

type Rep StakingCredential = D1 ('MetaData "StakingCredential" "PlutusLedgerApi.V1.Credential" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "StakingHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)) :+: C1 ('MetaCons "StakingPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))

Methods

from :: StakingCredential -> Rep StakingCredential x Source #

to :: Rep StakingCredential x -> StakingCredential Source #

Show StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

show :: StakingCredential -> String Source #

showList :: [StakingCredential] -> ShowS Source #

NFData StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

rnf :: StakingCredential -> () Source #

Eq StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

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

Ord StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.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.Credential

Associated Types

type Unroll StakingCredential
Instance details Defined in PlutusLedgerApi.V1.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.Credential

Methods

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

FromData StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

fromBuiltinData :: BuiltinData -> Maybe StakingCredential #

ToData StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

toBuiltinData :: StakingCredential -> BuiltinData #

UnsafeFromData StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

unsafeFromBuiltinData :: BuiltinData -> StakingCredential #

Show StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

showsPrec :: Integer -> StakingCredential -> ShowS

show :: StakingCredential -> BuiltinString

Pretty StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

pretty :: StakingCredential -> Doc ann

prettyList :: [StakingCredential] -> Doc ann

(HasSchemaDefinition Credential referencedTypes, HasSchemaDefinition Integer referencedTypes) => HasBlueprintSchema StakingCredential referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

schema :: Schema referencedTypes

Lift DefaultUni StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

Typeable DefaultUni StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

type Rep StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

type Rep StakingCredential = D1 ('MetaData "StakingCredential" "PlutusLedgerApi.V1.Credential" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "StakingHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)) :+: C1 ('MetaCons "StakingPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))

type Unroll StakingCredential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

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

data Credential Source #

Credentials required to unlock a transaction output.

Constructors

PubKeyCredential PubKeyHash	The transaction that spends this output must be signed by the private key. See `PubKeyHash`.
ScriptCredential ScriptHash	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.Credential

Associated Types

type Rep Credential

Instance details

Defined in PlutusLedgerApi.V1.Credential

type Rep Credential = D1 ('MetaData "Credential" "PlutusLedgerApi.V1.Credential" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "PubKeyCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)) :+: C1 ('MetaCons "ScriptCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash)))

Methods

from :: Credential -> Rep Credential x Source #

to :: Rep Credential x -> Credential Source #

Show Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

show :: Credential -> String Source #

showList :: [Credential] -> ShowS Source #

NFData Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

rnf :: Credential -> () Source #

Eq Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

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

Ord Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.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.Credential

Associated Types

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

Methods

definitionId :: DefinitionId

Eq Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

FromData Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

fromBuiltinData :: BuiltinData -> Maybe Credential #

ToData Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

toBuiltinData :: Credential -> BuiltinData #

UnsafeFromData Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

unsafeFromBuiltinData :: BuiltinData -> Credential #

Show Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

showsPrec :: Integer -> Credential -> ShowS

show :: Credential -> BuiltinString

Pretty Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

pretty :: Credential -> Doc ann

prettyList :: [Credential] -> Doc ann

(HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition ScriptHash referencedTypes) => HasBlueprintSchema Credential referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

schema :: Schema referencedTypes

Lift DefaultUni Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

Typeable DefaultUni Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

type Rep Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

type Rep Credential = D1 ('MetaData "Credential" "PlutusLedgerApi.V1.Credential" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "PubKeyCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)) :+: C1 ('MetaCons "ScriptCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash)))

type Unroll Credential Source #

Instance details

Defined in PlutusLedgerApi.V1.Credential

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