PlutusLedgerApi.V4.Ratio
newtype Rational Source #
Constructors
Fields
Defined in PlutusLedgerApi.V4.Ratio
Methods
parseJSON ∷ Value → Parser Rational Source #
parseJSONList ∷ Value → Parser [Rational] Source #
omittedField ∷ Maybe Rational Source #
toJSON ∷ Rational → Value Source #
toEncoding ∷ Rational → Encoding Source #
toJSONList ∷ [Rational] → Value Source #
toEncodingList ∷ [Rational] → Encoding Source #
omitField ∷ Rational → Bool Source #
Associated Types
type Rep Rational ∷ Type → Type Source #
from ∷ Rational → Rep Rational x Source #
to ∷ Rep Rational x → Rational Source #
showsPrec ∷ Int → Rational → ShowS Source #
show ∷ Rational → String Source #
showList ∷ [Rational] → ShowS Source #
(==) ∷ Rational → Rational → Bool Source #
(/=) ∷ Rational → Rational → Bool Source #
compare ∷ Rational → Rational → Ordering Source #
(<) ∷ Rational → Rational → Bool Source #
(<=) ∷ Rational → Rational → Bool Source #
(>) ∷ Rational → Rational → Bool Source #
(>=) ∷ Rational → Rational → Bool Source #
max ∷ Rational → Rational → Rational Source #
min ∷ Rational → Rational → Rational Source #
type Unroll Rational ∷ [Type] Source #
definitionId ∷ DefinitionId Source #
succ ∷ Rational → Rational Source #
pred ∷ Rational → Rational Source #
toEnum ∷ Integer → Rational Source #
fromEnum ∷ Rational → Integer Source #
enumFromTo ∷ Rational → Rational → [Rational] Source #
enumFromThenTo ∷ Rational → Rational → Rational → [Rational] Source #
fromBuiltinData ∷ BuiltinData → Maybe Rational Source #
toBuiltinData ∷ Rational → BuiltinData Source #
unsafeFromBuiltinData ∷ BuiltinData → Rational Source #
(-) ∷ Rational → Rational → Rational Source #
zero ∷ Rational Source #
(+) ∷ Rational → Rational → Rational Source #
one ∷ Rational Source #
(*) ∷ Rational → Rational → Rational Source #
pretty ∷ Rational → Doc ann Source #
prettyList ∷ [Rational] → Doc ann Source #
schema ∷ Schema referencedTypes Source #
lift ∷ Rational → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
scale ∷ Integer → Rational → Rational Source #
typeRep ∷ Proxy Rational → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
ratio ∷ Integer → Integer → Maybe Rational Source #
unsafeRatio ∷ Integer → Integer → Rational Source #
numerator ∷ Rational → Integer Source #
denominator ∷ Rational → Integer Source #
fromHaskellRatio ∷ Rational → Rational Source #
toHaskellRatio ∷ Rational → Rational Source #
fromGHC ∷ Rational → Rational Source #
toGHC ∷ Rational → Rational Source #