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.Rational

Description

 

Documentation

data GYRational #

Instances

Instances details
Eq GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

Methods

(==)GYRationalGYRationalBool #

(/=)GYRationalGYRationalBool #

Fractional GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

Num GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

Ord GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

Read GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

Real GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

RealFrac GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

Methods

properFractionIntegral b ⇒ GYRational → (b, GYRational) #

truncateIntegral b ⇒ GYRational → b #

roundIntegral b ⇒ GYRational → b #

ceilingIntegral b ⇒ GYRational → b #

floorIntegral b ⇒ GYRational → b #

Show GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

Generic GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

Associated Types

type Rep GYRationalTypeType #

PrintfArg GYRational #
>>> printf "%6.4f\n" $ fromRational @GYRational 0.123
0.1230
Instance details

Defined in GeniusYield.Types.Rational

FromJSON GYRational #
>>> Aeson.decode @GYRational "\"0.123\""
Just (GYRational (123 % 1000))
>>> Aeson.eitherDecode @GYRational "\"Haskell\""
Left "Error in $: could not parse: `Haskell' (input does not start with a digit)"
Instance details

Defined in GeniusYield.Types.Rational

Methods

parseJSON ∷ Value → Parser GYRational #

parseJSONList ∷ Value → Parser [GYRational] #

ToJSON GYRational #
>>> LBS8.putStrLn $ Aeson.encode (fromRational @GYRational 0.123)
"0.123"
Instance details

Defined in GeniusYield.Types.Rational

Methods

toJSONGYRational → Value #

toEncodingGYRational → Encoding #

toJSONList ∷ [GYRational] → Value #

toEncodingList ∷ [GYRational] → Encoding #

FromHttpApiData GYRational #
>>> Web.parseUrlPiece @GYRational "0.123"
Right (GYRational (123 % 1000))
Instance details

Defined in GeniusYield.Types.Rational

ToParamSchema GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

Methods

toParamSchema ∷ ∀ (t ∷ SwaggerKind Type). Proxy GYRational → ParamSchema t

ToSchema GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

Methods

declareNamedSchemaProxy GYRational → Declare (Definitions Schema) NamedSchema

type Rep GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

type Rep GYRational = D1 ('MetaData "GYRational" "GeniusYield.Types.Rational" "atlas-0.1.0.0-inplace" 'True) (C1 ('MetaCons "GYRational" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

rationalToPlutusGYRational → Rational #