atlas-cardano-0.6.3: 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.Ada

Description

 
Synopsis

Documentation

newtype Ada #

Ada represented with a Micro value.

Constructors

Ada Micro 

Instances

Instances details
Num Ada # 
Instance details

Defined in GeniusYield.Types.Ada

Methods

(+)AdaAdaAda #

(-)AdaAdaAda #

(*)AdaAdaAda #

negateAdaAda #

absAdaAda #

signumAdaAda #

fromIntegerIntegerAda #

Show Ada # 
Instance details

Defined in GeniusYield.Types.Ada

Methods

showsPrecIntAdaShowS #

showAdaString #

showList ∷ [Ada] → ShowS #

Eq Ada # 
Instance details

Defined in GeniusYield.Types.Ada

Methods

(==)AdaAdaBool #

(/=)AdaAdaBool #

Ord Ada # 
Instance details

Defined in GeniusYield.Types.Ada

Methods

compareAdaAdaOrdering #

(<)AdaAdaBool #

(<=)AdaAdaBool #

(>)AdaAdaBool #

(>=)AdaAdaBool #

maxAdaAdaAda #

minAdaAdaAda #

adaSymbolCurrencySymbol #

The CurrencySymbol of the Ada currency.

adaTokenTokenName #

The TokenName of the Ada currency.

toLovelaceAdaInteger #

Convert Ada amount to its corresponding Lovelace unit.

toValueAdaValue #

Create a Value containing given amount of Ada.

fromValueValueAda #

Obtain the Ada amount contained within a Value.

lovelaceOfIntegerAda #

Create a Ada from given amount in lovelace.

lovelaceValueOfIntegerValue #

Obtain the lovelace amount contained within a Value.