CurryInfo: base-3.4.0 / Prelude.^

 
(^) :: (Num a, Integral b) => a -> b -> a
x0 ^ y0 | y0 < 0    = error "Negative exponent"
        | y0 == 0   = 1
        | otherwise = f x0 y0
    where -- f : x0 ^ y0 = x ^ y
          f x y | even y    = f (x * x) (y `quot` 2)
                | y == 1    = x
                | otherwise = g (x * x) (y `quot` 2) x
          -- g : x0 ^ y0 = (x ^ y) * z
          g x y z | even y = g (x * x) (y `quot` 2) z
                  | y == 1 = x * z
                  | otherwise = g (x * x) (y `quot` 2) (x * z)

 argument 2

 deterministic operation

 
| Raises a number to a non-negative integer power.

 (_, _, _, _)

 referentially transparent operation

 no fixity defined

 {(_,_,_,_) |-> _}

 ^

 no precedence defined

 _

 (Num a, Integral b) => a -> b -> a

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term