atlas-cardano-0.5.0: Application backend for Plutus smart contracts on Cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellSafe-Inferred
LanguageGHC2021

GeniusYield.Types.PlutusVersion

Description

 
Synopsis

Plutus version

data PlutusVersion #

Constructors

PlutusV1 
PlutusV2 

Instances

Instances details
Show PlutusVersion # 
Instance details

Defined in GeniusYield.Types.PlutusVersion

Eq PlutusVersion # 
Instance details

Defined in GeniusYield.Types.PlutusVersion

GCompare SingPlutusVersion # 
Instance details

Defined in GeniusYield.Types.PlutusVersion

Methods

gcompare ∷ ∀ (a ∷ k) (b ∷ k). SingPlutusVersion a → SingPlutusVersion b → GOrdering a b Source #

GCompare GYMintingPolicy # 
Instance details

Defined in GeniusYield.Types.Script

Methods

gcompare ∷ ∀ (a ∷ k) (b ∷ k). GYMintingPolicy a → GYMintingPolicy b → GOrdering a b Source #

GCompare GYScript # 
Instance details

Defined in GeniusYield.Types.Script

Methods

gcompare ∷ ∀ (a ∷ k) (b ∷ k). GYScript a → GYScript b → GOrdering a b Source #

GCompare GYStakeValidator # 
Instance details

Defined in GeniusYield.Types.Script

Methods

gcompare ∷ ∀ (a ∷ k) (b ∷ k). GYStakeValidator a → GYStakeValidator b → GOrdering a b Source #

GCompare GYValidator # 
Instance details

Defined in GeniusYield.Types.Script

Methods

gcompare ∷ ∀ (a ∷ k) (b ∷ k). GYValidator a → GYValidator b → GOrdering a b Source #

GEq SingPlutusVersion # 
Instance details

Defined in GeniusYield.Types.PlutusVersion

Methods

geq ∷ ∀ (a ∷ k) (b ∷ k). SingPlutusVersion a → SingPlutusVersion b → Maybe (a :~: b) Source #

GEq GYMintingPolicy # 
Instance details

Defined in GeniusYield.Types.Script

Methods

geq ∷ ∀ (a ∷ k) (b ∷ k). GYMintingPolicy a → GYMintingPolicy b → Maybe (a :~: b) Source #

GEq GYScript # 
Instance details

Defined in GeniusYield.Types.Script

Methods

geq ∷ ∀ (a ∷ k) (b ∷ k). GYScript a → GYScript b → Maybe (a :~: b) Source #

GEq GYStakeValidator # 
Instance details

Defined in GeniusYield.Types.Script

Methods

geq ∷ ∀ (a ∷ k) (b ∷ k). GYStakeValidator a → GYStakeValidator b → Maybe (a :~: b) Source #

GEq GYValidator # 
Instance details

Defined in GeniusYield.Types.Script

Methods

geq ∷ ∀ (a ∷ k) (b ∷ k). GYValidator a → GYValidator b → Maybe (a :~: b) Source #

GShow GYMintingPolicy # 
Instance details

Defined in GeniusYield.Types.Script

Methods

gshowsPrec ∷ ∀ (a ∷ k). IntGYMintingPolicy a → ShowS Source #

GShow GYScript # 
Instance details

Defined in GeniusYield.Types.Script

Methods

gshowsPrec ∷ ∀ (a ∷ k). IntGYScript a → ShowS Source #

GShow GYStakeValidator # 
Instance details

Defined in GeniusYield.Types.Script

Methods

gshowsPrec ∷ ∀ (a ∷ k). IntGYStakeValidator a → ShowS Source #

GShow GYValidator # 
Instance details

Defined in GeniusYield.Types.Script

Methods

gshowsPrec ∷ ∀ (a ∷ k). IntGYValidator a → ShowS Source #

data SingPlutusVersion (v ∷ PlutusVersion) where #

Instances

Instances details
GCompare SingPlutusVersion # 
Instance details

Defined in GeniusYield.Types.PlutusVersion

Methods

gcompare ∷ ∀ (a ∷ k) (b ∷ k). SingPlutusVersion a → SingPlutusVersion b → GOrdering a b Source #

GEq SingPlutusVersion # 
Instance details

Defined in GeniusYield.Types.PlutusVersion

Methods

geq ∷ ∀ (a ∷ k) (b ∷ k). SingPlutusVersion a → SingPlutusVersion b → Maybe (a :~: b) Source #

class VersionIsGreaterOrEqual (v ∷ PlutusVersion) (u ∷ PlutusVersion) #

Constraint that v >= u.

Used to allow using V2 transaction features only in transactions with V2 inputs.

Instances

Instances details
VersionIsGreaterOrEqual 'PlutusV1 'PlutusV1 #

Any version is greater or equal to PlutusV1

Instance details

Defined in GeniusYield.Types.PlutusVersion

(TypeError ('Text "V1 is not >= V2") ∷ Constraint) ⇒ VersionIsGreaterOrEqual 'PlutusV1 'PlutusV2 #

Explicitly ruled out instance.

Instance details

Defined in GeniusYield.Types.PlutusVersion

VersionIsGreaterOrEqual 'PlutusV2 'PlutusV1 #

Any version is greater or equal to PlutusV1

Instance details

Defined in GeniusYield.Types.PlutusVersion

VersionIsGreaterOrEqual 'PlutusV2 'PlutusV2 #

Only PlutusV2 is greater or equal to itself at the moment.

Instance details

Defined in GeniusYield.Types.PlutusVersion