Skip to content

Commit

Permalink
Cubic root -> cube root.
Browse files Browse the repository at this point in the history
  • Loading branch information
bjornbm committed Jan 22, 2016
1 parent 10f54c2 commit a0810b1
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion src/Numeric/Units/Dimensional.hs
Original file line number Diff line number Diff line change
Expand Up @@ -477,7 +477,7 @@ nroot n = let n' = 1 Prelude./ toNum n
in liftQ (Prelude.** n')

{-
We provide short-hands for the square and cubic roots.
We provide short-hands for the square and cube roots.
-}

-- | Computes the square root of a 'Quantity' using 'Prelude.**'.
Expand Down
2 changes: 1 addition & 1 deletion src/Numeric/Units/Dimensional/Dimensions/TermLevel.hs
Original file line number Diff line number Diff line change
Expand Up @@ -136,7 +136,7 @@ nroot n d | n /= 0 && all ((== 0) . snd) ds = fromList . fmap fst $ ds
sqrt :: Dimension' -> Maybe Dimension'
sqrt = nroot 2

-- | Takes the cubic root of a dimension, if it exists.
-- | Takes the cube root of a dimension, if it exists.
--
-- prop> cbrt d == nroot 3 d
cbrt :: Dimension' -> Maybe Dimension'
Expand Down
2 changes: 1 addition & 1 deletion src/Numeric/Units/Dimensional/Dimensions/TypeLevel.hs
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,7 @@ type family NRoot (d::Dimension) (x::TypeInt) where
-- | Square root is a special case of 'NRoot' with order 2.
type Sqrt d = NRoot d 'Pos2

-- | Cubic root is a special case of 'NRoot' with order 3.
-- | Cube root is a special case of 'NRoot' with order 3.
type Cbrt d = NRoot d 'Pos3

-- | A KnownDimension is one for which we can construct a term-level representation.
Expand Down

0 comments on commit a0810b1

Please sign in to comment.