covenant
Copyright(C) MLabs 2025
LicenseApache 2.0
Maintainerkoz@mlabs.city, sean@mlabs.city
Safe HaskellNone
LanguageHaskell2010

Covenant.Constant

Description

Representation of Plutus constants in Covenant.

Since: 1.0.0

Synopsis

Types

data AConstant Source #

A Plutus constant term.

Since: 1.0.0

Constructors

AUnit 
ABoolean Bool 
AnInteger Integer 
AByteString ByteString 
AString Text 

Instances

Instances details
Arbitrary AConstant Source #

Since: 1.0.0

Instance details

Defined in Covenant.Constant

Methods

arbitrary :: Gen AConstant #

shrink :: AConstant -> [AConstant] #

Show AConstant Source #

Since: 1.0.0

Instance details

Defined in Covenant.Constant

Methods

showsPrec :: Int -> AConstant -> ShowS #

show :: AConstant -> String #

showList :: [AConstant] -> ShowS #

Eq AConstant Source #

Since: 1.0.0

Instance details

Defined in Covenant.Constant

Methods

(==) :: AConstant -> AConstant -> Bool #

(/=) :: AConstant -> AConstant -> Bool #

Ord AConstant Source #

Since: 1.0.0

Instance details

Defined in Covenant.Constant

Methods

compare :: AConstant -> AConstant -> Ordering #

(<) :: AConstant -> AConstant -> Bool #

(<=) :: AConstant -> AConstant -> Bool #

(>) :: AConstant -> AConstant -> Bool #

(>=) :: AConstant -> AConstant -> Bool #

max :: AConstant -> AConstant -> AConstant #

min :: AConstant -> AConstant -> AConstant #

Functions

typeConstant :: AConstant -> ValT a Source #

Produce the type of a given constant.

Since: 1.0.0