Maintainer	emi@haskell.fyi
Safe Haskell	Safe-Inferred
Language	Haskell2010

Agora.ScriptInfo

Contents

Types
Introduction functions

Description

Exportable script bundles for off-chain consumption.

Synopsis

data PolicyInfo = PolicyInfo {
- policy :: MintingPolicy
- currencySymbol :: CurrencySymbol
}
data ValidatorInfo = ValidatorInfo {
- script :: Validator
- hash :: ValidatorHash
}
mkValidatorInfo :: ClosedTerm PValidator -> ValidatorInfo
mkPolicyInfo :: ClosedTerm PMintingPolicy -> PolicyInfo

Types

data PolicyInfo Source #

Bundle containing a MintingPolicy and its symbol.

Since: 0.1.0

Constructors

PolicyInfo
Fields policy :: MintingPolicy The minting policy. currencySymbol :: CurrencySymbol The symbol given by the minting policy.

Instances

Instances details

FromJSON PolicyInfo Source #	Since: 0.1.0
Instance details Defined in Agora.ScriptInfo Methods parseJSON :: Value -> Parser PolicyInfo Source # parseJSONList :: Value -> Parser [PolicyInfo] Source #
ToJSON PolicyInfo Source #	Since: 0.1.0
Instance details Defined in Agora.ScriptInfo Methods toJSON :: PolicyInfo -> Value Source # toEncoding :: PolicyInfo -> Encoding Source # toJSONList :: [PolicyInfo] -> Value Source # toEncodingList :: [PolicyInfo] -> Encoding Source #
Generic PolicyInfo Source #
Instance details Defined in Agora.ScriptInfo Associated Types type Rep PolicyInfo :: Type -> Type Source # Methods from :: PolicyInfo -> Rep PolicyInfo x Source # to :: Rep PolicyInfo x -> PolicyInfo Source #
Show PolicyInfo Source #	Since: 0.1.0
Instance details Defined in Agora.ScriptInfo Methods showsPrec :: Int -> PolicyInfo -> ShowS Source # show :: PolicyInfo -> String Source # showList :: [PolicyInfo] -> ShowS Source #
Eq PolicyInfo Source #	Since: 0.1.0
Instance details Defined in Agora.ScriptInfo Methods (==) :: PolicyInfo -> PolicyInfo -> Bool Source # (/=) :: PolicyInfo -> PolicyInfo -> Bool Source #
type Rep PolicyInfo Source #	Since: 0.1.0
Instance details Defined in Agora.ScriptInfo type Rep PolicyInfo = D1 ('MetaData "PolicyInfo" "Agora.ScriptInfo" "agora-0.1.0-C1o5klqsCO77ggIWQdJiNp" 'False) (C1 ('MetaCons "PolicyInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "policy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MintingPolicy) :*: S1 ('MetaSel ('Just "currencySymbol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CurrencySymbol)))

data ValidatorInfo Source #

Bundle containing a Validator and its hash.

Since: 0.1.0

Constructors

ValidatorInfo
Fields script :: Validator The validator script. hash :: ValidatorHash Hash of the validator.

Instances

Instances details

FromJSON ValidatorInfo Source #	Since: 0.1.0
Instance details Defined in Agora.ScriptInfo Methods parseJSON :: Value -> Parser ValidatorInfo Source # parseJSONList :: Value -> Parser [ValidatorInfo] Source #
ToJSON ValidatorInfo Source #	Since: 0.1.0
Instance details Defined in Agora.ScriptInfo Methods toJSON :: ValidatorInfo -> Value Source # toEncoding :: ValidatorInfo -> Encoding Source # toJSONList :: [ValidatorInfo] -> Value Source # toEncodingList :: [ValidatorInfo] -> Encoding Source #
Generic ValidatorInfo Source #
Instance details Defined in Agora.ScriptInfo Associated Types type Rep ValidatorInfo :: Type -> Type Source # Methods from :: ValidatorInfo -> Rep ValidatorInfo x Source # to :: Rep ValidatorInfo x -> ValidatorInfo Source #
Show ValidatorInfo Source #	Since: 0.1.0
Instance details Defined in Agora.ScriptInfo Methods showsPrec :: Int -> ValidatorInfo -> ShowS Source # show :: ValidatorInfo -> String Source # showList :: [ValidatorInfo] -> ShowS Source #
Eq ValidatorInfo Source #	Since: 0.1.0
Instance details Defined in Agora.ScriptInfo Methods (==) :: ValidatorInfo -> ValidatorInfo -> Bool Source # (/=) :: ValidatorInfo -> ValidatorInfo -> Bool Source #
type Rep ValidatorInfo Source #	Since: 0.1.0
Instance details Defined in Agora.ScriptInfo type Rep ValidatorInfo = D1 ('MetaData "ValidatorInfo" "Agora.ScriptInfo" "agora-0.1.0-C1o5klqsCO77ggIWQdJiNp" 'False) (C1 ('MetaCons "ValidatorInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "script") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Validator) :*: S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidatorHash)))

Introduction functions

mkValidatorInfo :: ClosedTerm PValidator -> ValidatorInfo Source #

Create a ValidatorInfo given a Plutarch term.

Since: 0.1.0

mkPolicyInfo :: ClosedTerm PMintingPolicy -> PolicyInfo Source #

Create a PolicyInfo given a Plutarch term.

Since: 0.1.0