Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	Safe-Inferred
Language	GHC2021

GeniusYield.Types.PlutusVersion

Contents

Plutus version

Description

Synopsis

data PlutusVersion
- = PlutusV1
- | PlutusV2
data SingPlutusVersion (v ∷ PlutusVersion) where
- SingPlutusV1 ∷ SingPlutusVersion 'PlutusV1
- SingPlutusV2 ∷ SingPlutusVersion 'PlutusV2
class SingPlutusVersionI (v ∷ PlutusVersion) where
- singPlutusVersion ∷ SingPlutusVersion v
fromSingPlutusVersion ∷ SingPlutusVersion v → PlutusVersion
type family PlutusVersionToApi (v ∷ PlutusVersion) ∷ Type where ...
singPlutusVersionToApi ∷ SingPlutusVersion v → PlutusScriptVersion (PlutusVersionToApi v)
class VersionIsGreaterOrEqual (v ∷ PlutusVersion) (u ∷ PlutusVersion)

Plutus version

data PlutusVersion #

Constructors

PlutusV1
PlutusV2

Instances

Instances details

Show PlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods showsPrec ∷ Int → PlutusVersion → ShowS Source # show ∷ PlutusVersion → String Source # showList ∷ [PlutusVersion] → ShowS Source #
Eq PlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods (==) ∷ PlutusVersion → PlutusVersion → Bool Source # (/=) ∷ PlutusVersion → PlutusVersion → Bool Source #
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 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 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). Int → GYMintingPolicy a → ShowS Source #
GShow GYScript #
Instance details Defined in GeniusYield.Types.Script Methods gshowsPrec ∷ ∀ (a ∷ k). Int → GYScript a → ShowS Source #
GShow GYValidator #
Instance details Defined in GeniusYield.Types.Script Methods gshowsPrec ∷ ∀ (a ∷ k). Int → GYValidator a → ShowS Source #

data SingPlutusVersion (v ∷ PlutusVersion) where #

Constructors

SingPlutusV1 ∷ SingPlutusVersion 'PlutusV1
SingPlutusV2 ∷ SingPlutusVersion 'PlutusV2

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 SingPlutusVersionI (v ∷ PlutusVersion) where #

Methods

singPlutusVersion ∷ SingPlutusVersion v #

Instances

Instances details

SingPlutusVersionI 'PlutusV1 #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods singPlutusVersion ∷ SingPlutusVersion 'PlutusV1 #
SingPlutusVersionI 'PlutusV2 #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods singPlutusVersion ∷ SingPlutusVersion 'PlutusV2 #

fromSingPlutusVersion ∷ SingPlutusVersion v → PlutusVersion #

type family PlutusVersionToApi (v ∷ PlutusVersion) ∷ Type where ... #

Equations

PlutusVersionToApi 'PlutusV1 = PlutusScriptV1
PlutusVersionToApi 'PlutusV2 = PlutusScriptV2

singPlutusVersionToApi ∷ SingPlutusVersion v → PlutusScriptVersion (PlutusVersionToApi v) #

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