Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	None
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 #

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 #

Generic GYRational #

Instance details

Defined in GeniusYield.Types.Rational

Associated Types

type Rep GYRational
Instance details Defined in GeniusYield.Types.Rational type Rep GYRational = D1 ('MetaData "GYRational" "GeniusYield.Types.Rational" "atlas-cardano-0.14.1-inplace" 'True) (C1 ('MetaCons "GYRational" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

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 #

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 :: forall (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.14.1-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 #