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.