| Portability | Rank2Types |
|---|---|
| Stability | provisional |
| Maintainer | claudiusmaximus@goto10.org |
| Safe Haskell | Safe-Infered |
Numeric.VariablePrecision.Precision.Reify
Description
Reify from value-level to type-level using Rank2Types.
- reifyPrecision :: Int -> (forall p. NaturalNumber p => p -> a) -> a
- withReifiedPrecision :: (VariablePrecision t, NaturalNumber p) => t p -> Int -> (forall q. NaturalNumber q => t q -> a) -> a
- (.@$) :: (VariablePrecision t, NaturalNumber p) => t p -> Int -> (forall q. NaturalNumber q => t q -> a) -> a
Documentation
reifyPrecision :: Int -> (forall p. NaturalNumber p => p -> a) -> aSource
Reify a precision from value-level to type-level.
Arguments
| :: (VariablePrecision t, NaturalNumber p) | |
| => t p | original value |
| -> Int | new precision |
| -> (forall q. NaturalNumber q => t q -> a) | operation |
| -> a |
Much like reifyPrecision combined with withPrecision.
Arguments
| :: (VariablePrecision t, NaturalNumber p) | |
| => t p | original value |
| -> Int | new precision |
| -> (forall q. NaturalNumber q => t q -> a) | operation |
| -> a |
An alias for withReifiedPrecision.