Copyright | (C) 2012-15 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
Language | Haskell98 |
- base :: Integral a => Int -> Prism' String a
- integral :: (Integral a, Integral b) => Prism Integer Integer a b
- binary :: Integral a => Prism' String a
- octal :: Integral a => Prism' String a
- decimal :: Integral a => Prism' String a
- hex :: Integral a => Prism' String a
- adding :: Num a => a -> Iso' a a
- subtracting :: Num a => a -> Iso' a a
- multiplying :: (Fractional a, Eq a) => a -> Iso' a a
- dividing :: (Fractional a, Eq a) => a -> Iso' a a
- exponentiating :: (Floating a, Eq a) => a -> Iso' a a
- negated :: Num a => Iso' a a
Documentation
base :: Integral a => Int -> Prism' String a Source
A prism that shows and reads integers in base-2 through base-36
Note: This is an improper prism, since leading 0s are stripped when reading.
>>>
"100" ^? base 16
Just 256
>>>
1767707668033969 ^. re (base 36)
"helloworld"
Predefined bases
Arithmetic lenses
subtracting :: Num a => a -> Iso' a a Source
subtracting
n =iso
(subtract n) ((+n)subtracting
n =from
(adding
n)
multiplying :: (Fractional a, Eq a) => a -> Iso' a a Source
multiplying
n = iso (*n) (/n)
Note: This errors for n = 0
>>>
5 & multiplying 1000 +~ 3
5.003
>>>
let fahrenheit = multiplying (9/5).adding 32 in 230^.from fahrenheit
110.0
dividing :: (Fractional a, Eq a) => a -> Iso' a a Source
dividing
n =iso
(/n) (*n)dividing
n =from
(multiplying
n)
Note: This errors for n = 0
exponentiating :: (Floating a, Eq a) => a -> Iso' a a Source
exponentiating
n =iso
(**n) (**recip n)
Note: This errors for n = 0
>>>
au (_Wrapping Sum . from (exponentiating 2)) (foldMapOf each) (3,4) == 5
True