Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Sqrt

Synopsis

Documentation

Integer square-root representation, discarding imaginary integers.

Constructors

Imaginary	The number was negative, so we don't even attempt to compute it; just note that the result would be imaginary.
Exactly Integer	An exact integer result. The `rsqrt` of 4 is 'Exactly 2'.
Approximately Integer	The Integer component (i.e. the floor) of a non-integral result. The 'rsqrt 2' is 'Approximately 1'.

Instances details

Show Sqrt Source #
Instance details Defined in PlutusTx.Sqrt Methods showsPrec ∷ Int → Sqrt → ShowS Source # show ∷ Sqrt → String Source # showList ∷ [Sqrt] → ShowS Source #
Eq Sqrt Source #
Instance details Defined in PlutusTx.Sqrt Methods (==) ∷ Sqrt → Sqrt → Bool Source # (/=) ∷ Sqrt → Sqrt → Bool Source #
FromData Sqrt Source #
Instance details Defined in PlutusTx.Sqrt Methods fromBuiltinData ∷ BuiltinData → Maybe Sqrt Source #
ToData Sqrt Source #
Instance details Defined in PlutusTx.Sqrt Methods toBuiltinData ∷ Sqrt → BuiltinData Source #
UnsafeFromData Sqrt Source #
Instance details Defined in PlutusTx.Sqrt Methods unsafeFromBuiltinData ∷ BuiltinData → Sqrt Source #
Lift DefaultUni Sqrt Source #
Instance details Defined in PlutusTx.Sqrt Methods lift ∷ Sqrt → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Sqrt Source #
Instance details Defined in PlutusTx.Sqrt Methods typeRep ∷ Proxy Sqrt → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

Calculates the sqrt of a ratio of integers. As x / 0 is undefined, calling this function with `d=0` results in an error.

Calculates the integer-component of the sqrt of n.