Safe Haskell	None
Language	Haskell2010

Plutus.Contracts.Prism.Credential

Description

Minting policy script for credential tokens.

Synopsis

newtype CredentialAuthority = CredentialAuthority {
- unCredentialAuthority :: PaymentPubKeyHash
}
data Credential = Credential {
- credAuthority :: CredentialAuthority
- credName :: TokenName
}
policy :: CredentialAuthority -> MintingPolicy
token :: Credential -> Value
tokens :: Credential -> Integer -> Value
tokenAccount :: Credential -> Account

Documentation

newtype CredentialAuthority Source #

Entity that is authorised to mint credential tokens

Constructors

CredentialAuthority
Fields unCredentialAuthority :: PaymentPubKeyHash

Instances

Instances details

Eq CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods (==) :: CredentialAuthority -> CredentialAuthority -> Bool Source # (/=) :: CredentialAuthority -> CredentialAuthority -> Bool Source #
Ord CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods compare :: CredentialAuthority -> CredentialAuthority -> Ordering Source # (<) :: CredentialAuthority -> CredentialAuthority -> Bool Source # (<=) :: CredentialAuthority -> CredentialAuthority -> Bool Source # (>) :: CredentialAuthority -> CredentialAuthority -> Bool Source # (>=) :: CredentialAuthority -> CredentialAuthority -> Bool Source # max :: CredentialAuthority -> CredentialAuthority -> CredentialAuthority Source # min :: CredentialAuthority -> CredentialAuthority -> CredentialAuthority Source #
Show CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods showsPrec :: Int -> CredentialAuthority -> ShowS Source # show :: CredentialAuthority -> String Source # showList :: [CredentialAuthority] -> ShowS Source #
Generic CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Associated Types type Rep CredentialAuthority :: Type -> Type Source # Methods from :: CredentialAuthority -> Rep CredentialAuthority x Source # to :: Rep CredentialAuthority x -> CredentialAuthority Source #
FromJSON CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods parseJSON :: Value -> Parser CredentialAuthority parseJSONList :: Value -> Parser [CredentialAuthority]
ToJSON CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods toJSON :: CredentialAuthority -> Value toEncoding :: CredentialAuthority -> Encoding toJSONList :: [CredentialAuthority] -> Value toEncodingList :: [CredentialAuthority] -> Encoding
ToData CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods toBuiltinData :: CredentialAuthority -> BuiltinData
FromData CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods fromBuiltinData :: BuiltinData -> Maybe CredentialAuthority
UnsafeFromData CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods unsafeFromBuiltinData :: BuiltinData -> CredentialAuthority
Hashable CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods hashWithSalt :: Int -> CredentialAuthority -> Int hash :: CredentialAuthority -> Int
Lift DefaultUni CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods lift :: CredentialAuthority -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods typeRep :: Proxy CredentialAuthority -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep CredentialAuthority Source #
Instance details Defined in Plutus.Contracts.Prism.Credential type Rep CredentialAuthority = D1 ('MetaData "CredentialAuthority" "Plutus.Contracts.Prism.Credential" "plutus-use-cases-1.2.0.0-BuYOLXrynPcLosE012cowc" 'True) (C1 ('MetaCons "CredentialAuthority" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCredentialAuthority") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PaymentPubKeyHash)))

data Credential Source #

Named credential issued by a credential authority

Constructors

Credential
Fields credAuthority :: CredentialAuthority credName :: TokenName

Instances

Instances details

Eq Credential Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods (==) :: Credential -> Credential -> Bool Source # (/=) :: Credential -> Credential -> Bool Source #
Ord Credential Source #
Instance details Defined in Plutus.Contracts.Prism.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 #
Show Credential Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods showsPrec :: Int -> Credential -> ShowS Source # show :: Credential -> String Source # showList :: [Credential] -> ShowS Source #
Generic Credential Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Associated Types type Rep Credential :: Type -> Type Source # Methods from :: Credential -> Rep Credential x Source # to :: Rep Credential x -> Credential Source #
FromJSON Credential Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods parseJSON :: Value -> Parser Credential parseJSONList :: Value -> Parser [Credential]
ToJSON Credential Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods toJSON :: Credential -> Value toEncoding :: Credential -> Encoding toJSONList :: [Credential] -> Value toEncodingList :: [Credential] -> Encoding
ToData Credential Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods toBuiltinData :: Credential -> BuiltinData
FromData Credential Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods fromBuiltinData :: BuiltinData -> Maybe Credential
UnsafeFromData Credential Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods unsafeFromBuiltinData :: BuiltinData -> Credential
Hashable Credential Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods hashWithSalt :: Int -> Credential -> Int hash :: Credential -> Int
Lift DefaultUni Credential Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods lift :: Credential -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni Credential Source #
Instance details Defined in Plutus.Contracts.Prism.Credential Methods typeRep :: Proxy Credential -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep Credential Source #
Instance details Defined in Plutus.Contracts.Prism.Credential type Rep Credential = D1 ('MetaData "Credential" "Plutus.Contracts.Prism.Credential" "plutus-use-cases-1.2.0.0-BuYOLXrynPcLosE012cowc" 'False) (C1 ('MetaCons "Credential" 'PrefixI 'True) (S1 ('MetaSel ('Just "credAuthority") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CredentialAuthority) :*: S1 ('MetaSel ('Just "credName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TokenName)))

policy :: CredentialAuthority -> MintingPolicy Source #

token :: Credential -> Value Source #

A single credential of the given name

tokens :: Credential -> Integer -> Value Source #

A number of credentials of the given name

tokenAccount :: Credential -> Account Source #

The Account that can be spent by presenting the credential