Commits

Takayuki Muranushi committed ff89e0e

sqrt added.

Comments (0)

Files changed (1)

src/UnitTyped/NoPrelude.hs

 	asin, acos, atan,
 
 	(==), (<=), (<), (>=), (>),
-	abs, floor, diff
+	abs, floor, diff, sqrt
 
 ) where
 
 
 
 -- |Square root of a unit-typed value.
-sqrt :: (Floating f, MapMerge c c u, MapMerge d d s, Convertible' c d) => Value u s f -> Value c d f 
+sqrt :: (Floating f, MapMerge c c u, MapMerge d d s, Convertible' u s) => Value u s f -> Value c d f 
 sqrt  = mkVal . Prelude.sqrt . val 
 {-# INLINE sqrt #-}