Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	Safe-Inferred
Language	GHC2021

GeniusYield.Types.Rational

Description

Documentation

data GYRational #

Instances

Instances details

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] # omittedField ∷ Maybe GYRational #
ToJSON GYRational #	`>>>` `LBS8.putStrLn $ Aeson.encode (fromRational @GYRational 0.123)`"0.123"
Instance details Defined in GeniusYield.Types.Rational Methods toJSON ∷ GYRational → Value # toEncoding ∷ GYRational → Encoding # toJSONList ∷ [GYRational] → Value # toEncodingList ∷ [GYRational] → Encoding # omitField ∷ GYRational → Bool #
Generic GYRational #
Instance details Defined in GeniusYield.Types.Rational Associated Types type Rep GYRational ∷ Type → Type # Methods from ∷ GYRational → Rep GYRational x # to ∷ Rep GYRational x → GYRational #
Num GYRational #
Instance details Defined in GeniusYield.Types.Rational Methods (+) ∷ GYRational → GYRational → GYRational # (-) ∷ GYRational → GYRational → GYRational # (*) ∷ GYRational → GYRational → GYRational # negate ∷ GYRational → GYRational # abs ∷ GYRational → GYRational # signum ∷ GYRational → GYRational # fromInteger ∷ Integer → GYRational #
Read GYRational #
Instance details Defined in GeniusYield.Types.Rational Methods readsPrec ∷ Int → ReadS GYRational # readList ∷ ReadS [GYRational] # readPrec ∷ ReadPrec GYRational # readListPrec ∷ ReadPrec [GYRational] #
Fractional GYRational #
Instance details Defined in GeniusYield.Types.Rational Methods (/) ∷ GYRational → GYRational → GYRational # recip ∷ GYRational → GYRational # fromRational ∷ Rational → GYRational #
Real GYRational #
Instance details Defined in GeniusYield.Types.Rational Methods toRational ∷ GYRational → Rational #
RealFrac GYRational #
Instance details Defined in GeniusYield.Types.Rational Methods properFraction ∷ Integral b ⇒ GYRational → (b, GYRational) # truncate ∷ Integral b ⇒ GYRational → b # round ∷ Integral b ⇒ GYRational → b # ceiling ∷ Integral b ⇒ GYRational → b # floor ∷ Integral b ⇒ GYRational → b #
Show GYRational #
Instance details Defined in GeniusYield.Types.Rational Methods showsPrec ∷ Int → GYRational → ShowS # show ∷ GYRational → String # showList ∷ [GYRational] → ShowS #
PrintfArg GYRational #	`>>>` `printf "%6.4f\n" $ fromRational @GYRational 0.123`0.1230
Instance details Defined in GeniusYield.Types.Rational Methods formatArg ∷ GYRational → FieldFormatter # parseFormat ∷ GYRational → ModifierParser #
Eq GYRational #
Instance details Defined in GeniusYield.Types.Rational Methods (==) ∷ GYRational → GYRational → Bool # (/=) ∷ GYRational → GYRational → Bool #
Ord GYRational #
Instance details Defined in GeniusYield.Types.Rational Methods compare ∷ GYRational → GYRational → Ordering # (<) ∷ GYRational → GYRational → Bool # (<=) ∷ GYRational → GYRational → Bool # (>) ∷ GYRational → GYRational → Bool # (>=) ∷ GYRational → GYRational → Bool # max ∷ GYRational → GYRational → GYRational # min ∷ GYRational → GYRational → GYRational #
FromHttpApiData GYRational #	`>>>` `Web.parseUrlPiece @GYRational "0.123"`Right (GYRational (123 % 1000))
Instance details Defined in GeniusYield.Types.Rational Methods parseUrlPiece ∷ Text → Either Text GYRational # parseHeader ∷ ByteString → Either Text GYRational # parseQueryParam ∷ Text → Either Text GYRational #
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 declareNamedSchema ∷ Proxy 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-cardano-0.6.3-inplace" 'True) (C1 ('MetaCons "GYRational" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

rationalFromGHC ∷ Rational → GYRational #

rationalToGHC ∷ GYRational → Rational #

rationalFromPlutus ∷ Rational → GYRational #

rationalToPlutus ∷ GYRational → Rational #