Numeric.Lens · lens-5.3.5 · horizon-platform

valuebase :: (HasCallStack, Integral a) => Int -> Prism' String a

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.

Example1 expression

>>> "100" ^? base 16Just 256

Example1 expression

>>> 1767707668033969 ^. re (base 36)"helloworld"

valueintegral :: (Integral a, Integral b) => Prism Integer Integer a b

This Prism can be used to model the fact that every Integral type is a subset of Integer.

Embedding through the Prism only succeeds if the Integer would pass through unmodified when re-extracted.

Predefined bases

4 declarations

valuebinary :: Integral a => Prism' String a

binary = base 2

valueoctal :: Integral a => Prism' String a

octal = base 8

valuedecimal :: Integral a => Prism' String a

decimal = base 10

valuehex :: Integral a => Prism' String a

hex = base 16

7 declarations

valueadding :: Num a => a -> Iso' a a

adding n = iso (+n) (subtract n)

Example1 expression

>>> [1..3]^..traverse.adding 1000[1001,1002,1003]

valuesubtracting :: Num a => a -> Iso' a a

subtracting n = iso (subtract n) ((+n)
subtracting n = from (adding n)

valuemultiplying :: (Fractional a, Eq a) => a -> Iso' a a

multiplying n = iso (*n) (/n)

Note: This errors for n = 0

Example1 expression

>>> 5 & multiplying 1000 +~ 35.003

Example1 expression

>>> let fahrenheit = multiplying (9/5).adding 32 in 230^.from fahrenheit110.0

valuedividing :: (Fractional a, Eq a) => a -> Iso' a a


 dividing n = iso (/n) (*n)
 dividing n = from (multiplying n)

Note: This errors for n = 0

valueexponentiating :: (Floating a, Eq a) => a -> Iso' a a

exponentiating n = iso (**n) (**recip n)

Note: This errors for n = 0

Example1 expression

>>> au (_Wrapping Sum . from (exponentiating 2)) (foldMapOf each) (3,4) == 5True

valuenegated :: Num a => Iso' a a

negated = iso negate negate

Example1 expression

>>> au (_Wrapping Sum . negated) (foldMapOf each) (3,4) == 7True

Example1 expression

>>> au (_Wrapping Sum) (foldMapOf (each.negated)) (3,4) == -7True

patternpattern Integral :: Integral a => a -> Integer