Domain.Math.Data.SquareRoot

Documentation

data SquareRoot a

Instances

Functor SquareRoot

Defined in Domain.Math.Data.SquareRoot

Methods

fmap :: (a -> b) -> SquareRoot a -> SquareRoot b

(<$) :: a -> SquareRoot b -> SquareRoot a

Eq a => Eq (SquareRoot a)

Defined in Domain.Math.Data.SquareRoot

Methods

(==) :: SquareRoot a -> SquareRoot a -> Bool

(/=) :: SquareRoot a -> SquareRoot a -> Bool

(Eq a, Fractional a) => Fractional (SquareRoot a)

Defined in Domain.Math.Data.SquareRoot

Methods

(/) :: SquareRoot a -> SquareRoot a -> SquareRoot a

recip :: SquareRoot a -> SquareRoot a

fromRational :: Rational -> SquareRoot a

(Eq a, Num a) => Num (SquareRoot a)

Defined in Domain.Math.Data.SquareRoot

Methods

(+) :: SquareRoot a -> SquareRoot a -> SquareRoot a

(-) :: SquareRoot a -> SquareRoot a -> SquareRoot a

(*) :: SquareRoot a -> SquareRoot a -> SquareRoot a

negate :: SquareRoot a -> SquareRoot a

abs :: SquareRoot a -> SquareRoot a

signum :: SquareRoot a -> SquareRoot a

fromInteger :: Integer -> SquareRoot a

Ord a => Ord (SquareRoot a)

Defined in Domain.Math.Data.SquareRoot

Methods

compare :: SquareRoot a -> SquareRoot a -> Ordering

(<) :: SquareRoot a -> SquareRoot a -> Bool

(<=) :: SquareRoot a -> SquareRoot a -> Bool

(>) :: SquareRoot a -> SquareRoot a -> Bool

(>=) :: SquareRoot a -> SquareRoot a -> Bool

max :: SquareRoot a -> SquareRoot a -> SquareRoot a

min :: SquareRoot a -> SquareRoot a -> SquareRoot a

(Show a, Eq a, Num a) => Show (SquareRoot a)

Defined in Domain.Math.Data.SquareRoot

Methods

showsPrec :: Int -> SquareRoot a -> ShowS

show :: SquareRoot a -> String

showList :: [SquareRoot a] -> ShowS

(Eq a, Fractional a) => Arbitrary (SquareRoot a)

Defined in Domain.Math.Data.SquareRoot

Methods

arbitrary :: Gen (SquareRoot a)

shrink :: SquareRoot a -> [SquareRoot a]

(Eq a, Fractional a) => SafeDiv (SquareRoot a)

Defined in Domain.Math.Data.SquareRoot

Methods

safeDiv :: SquareRoot a -> SquareRoot a -> Maybe (SquareRoot a)

safeRecip :: SquareRoot a -> Maybe (SquareRoot a)

imaginary :: SquareRoot a -> Bool

imaginaryUnit :: Num a => SquareRoot a

con :: (Eq a, Num a) => a -> SquareRoot a

toList :: SquareRoot a -> [(a, Integer)]

scale :: (Eq a, Num a) => a -> SquareRoot a -> SquareRoot a

fromSquareRoot :: Num a => SquareRoot a -> Maybe a

sqrt :: Num a => Integer -> SquareRoot a

sqrtRational :: (Eq a, Fractional a) => Rational -> SquareRoot a

isqrt :: Integer -> Integer

eval :: Floating a => SquareRoot a -> a