Safe Haskell	None
Language	Haskell2010

Plutus.Script.Utils.Ada

Contents

Constructors
Num operations
Etc.

Description

Functions for working with Ada in Template Haskell.

Synopsis

newtype Ada = Lovelace {
- getLovelace :: Integer
}
getAda :: Ada -> Micro
adaSymbol :: CurrencySymbol
adaToken :: TokenName
fromValue :: Value -> Ada
toValue :: Ada -> Value
lovelaceOf :: Integer -> Ada
adaOf :: Micro -> Ada
lovelaceValueOf :: Integer -> Value
adaValueOf :: Micro -> Value
divide :: Ada -> Ada -> Ada
isZero :: Ada -> Bool

Documentation

newtype Ada Source #

ADA, the special currency on the Cardano blockchain. The unit of Ada is Lovelace, and 1M Lovelace is one Ada. See note [Currencies] in TH.

Constructors

Lovelace
Fields getLovelace :: Integer

Instances

Instances details

Enum Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods succ :: Ada -> Ada Source # pred :: Ada -> Ada Source # toEnum :: Int -> Ada Source # fromEnum :: Ada -> Int Source # enumFrom :: Ada -> [Ada] Source # enumFromThen :: Ada -> Ada -> [Ada] Source # enumFromTo :: Ada -> Ada -> [Ada] Source # enumFromThenTo :: Ada -> Ada -> Ada -> [Ada] Source #
Eq Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods (==) :: Ada -> Ada -> Bool Source # (/=) :: Ada -> Ada -> Bool Source #
Integral Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods quot :: Ada -> Ada -> Ada Source # rem :: Ada -> Ada -> Ada Source # div :: Ada -> Ada -> Ada Source # mod :: Ada -> Ada -> Ada Source # quotRem :: Ada -> Ada -> (Ada, Ada) Source # divMod :: Ada -> Ada -> (Ada, Ada) Source # toInteger :: Ada -> Integer Source #
Num Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods (+) :: Ada -> Ada -> Ada Source # (-) :: Ada -> Ada -> Ada Source # (*) :: Ada -> Ada -> Ada Source # negate :: Ada -> Ada Source # abs :: Ada -> Ada Source # signum :: Ada -> Ada Source # fromInteger :: Integer -> Ada Source #
Ord Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods compare :: Ada -> Ada -> Ordering Source # (<) :: Ada -> Ada -> Bool Source # (<=) :: Ada -> Ada -> Bool Source # (>) :: Ada -> Ada -> Bool Source # (>=) :: Ada -> Ada -> Bool Source # max :: Ada -> Ada -> Ada Source # min :: Ada -> Ada -> Ada Source #
Real Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods toRational :: Ada -> Rational Source #
Show Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods showsPrec :: Int -> Ada -> ShowS Source # show :: Ada -> String Source # showList :: [Ada] -> ShowS Source #
Generic Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Associated Types type Rep Ada :: Type -> Type Source # Methods from :: Ada -> Rep Ada x Source # to :: Rep Ada x -> Ada Source #
Semigroup Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods (<>) :: Ada -> Ada -> Ada Source # sconcat :: NonEmpty Ada -> Ada Source # stimes :: Integral b => b -> Ada -> Ada Source #
Monoid Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods mempty :: Ada Source # mappend :: Ada -> Ada -> Ada Source # mconcat :: [Ada] -> Ada Source #
Serialise Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods encode :: Ada -> Encoding decode :: Decoder s Ada encodeList :: [Ada] -> Encoding decodeList :: Decoder s [Ada]
FromJSON Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods parseJSON :: Value -> Parser Ada parseJSONList :: Value -> Parser [Ada]
ToJSON Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods toJSON :: Ada -> Value toEncoding :: Ada -> Encoding toJSONList :: [Ada] -> Value toEncodingList :: [Ada] -> Encoding
AdditiveGroup Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods (-) :: Ada -> Ada -> Ada
AdditiveMonoid Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods zero :: Ada
AdditiveSemigroup Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods (+) :: Ada -> Ada -> Ada
Eq Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods (==) :: Ada -> Ada -> Bool
FromData Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods fromBuiltinData :: BuiltinData -> Maybe Ada
Monoid Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods mempty :: Ada
Ord Ada Source #
Instance details Defined in Plutus.Script.Utils.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
Pretty Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods pretty :: Ada -> Doc ann prettyList :: [Ada] -> Doc ann
Semigroup Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods (<>) :: Ada -> Ada -> Ada
ToData Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods toBuiltinData :: Ada -> BuiltinData
UnsafeFromData Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods unsafeFromBuiltinData :: BuiltinData -> Ada
MultiplicativeMonoid Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods one :: Ada
MultiplicativeSemigroup Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods (*) :: Ada -> Ada -> Ada
Lift DefaultUni Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods lift :: Ada -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada Methods typeRep :: Proxy Ada -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep Ada Source #
Instance details Defined in Plutus.Script.Utils.Ada type Rep Ada = D1 ('MetaData "Ada" "Plutus.Script.Utils.Ada" "plutus-script-utils-1.2.0.0-5TpLCy32WGLK5IaOxcwe9j" 'True) (C1 ('MetaCons "Lovelace" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLovelace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))