atlas-0.1.0.0: Application backend for Plutus smart contracts on Cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainersupport@geniusyield.co
Stabilitydevelop
Safe HaskellNone
LanguageHaskell2010

GeniusYield.Types.Ada

Description

 
Synopsis

Documentation

newtype Ada #

Ada represented with a Micro value.

Constructors

Ada Micro 

Instances

Instances details
Eq Ada # 
Instance details

Defined in GeniusYield.Types.Ada

Methods

(==) ∷ Ada → Ada → Bool #

(/=) ∷ Ada → Ada → Bool #

Num Ada # 
Instance details

Defined in GeniusYield.Types.Ada

Methods

(+) ∷ Ada → Ada → Ada #

(-) ∷ Ada → Ada → Ada #

(*) ∷ Ada → Ada → Ada #

negate ∷ Ada → Ada #

abs ∷ Ada → Ada #

signum ∷ Ada → Ada #

fromInteger ∷ Integer → Ada #

Ord Ada # 
Instance details

Defined in GeniusYield.Types.Ada

Methods

compare ∷ Ada → Ada → Ordering #

(<) ∷ Ada → Ada → Bool #

(<=) ∷ Ada → Ada → Bool #

(>) ∷ Ada → Ada → Bool #

(>=) ∷ Ada → Ada → Bool #

max ∷ Ada → Ada → Ada #

min ∷ Ada → Ada → Ada #

Show Ada # 
Instance details

Defined in GeniusYield.Types.Ada

Methods

showsPrec ∷ Int → Ada → ShowS #

show ∷ Ada → String #

showList ∷ [Ada] → ShowS #

adaSymbol ∷ CurrencySymbol #

adaToken ∷ TokenName #

toLovelace ∷ Ada → Integer #

Convert Ada amount to its corresponding Lovelace unit.

toValue ∷ Ada → Value #

Create a Value containing given amount of Ada.

fromValue ∷ Value → Ada #

Obtain the Ada amount contained within a Value.

lovelaceOf ∷ Integer → Ada #

Create a Ada from given amount in lovelace.

lovelaceValueOf ∷ Integer → Value #

Obtain the lovelace amount contained within a Value.