| Portability | Rank2Types |
|---|---|
| Stability | unstable |
| Maintainer | claude@mathr.co.uk |
| Safe Haskell | None |
Numeric.VariablePrecision.Precision.Reify
Description
Reify from value-level to type-level using Rank2Types.
- reifyPrecision :: Word -> (forall p. NaturalNumber p => p -> a) -> a
- withReifiedPrecision :: (VariablePrecision t, NaturalNumber p) => t p -> Word -> (forall q. NaturalNumber q => t q -> a) -> a
- (.@$) :: (VariablePrecision t, NaturalNumber p) => t p -> Word -> (forall q. NaturalNumber q => t q -> a) -> a
Documentation
reifyPrecision :: Word -> (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 |
| -> Word | 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 |
| -> Word | new precision |
| -> (forall q. NaturalNumber q => t q -> a) | operation |
| -> a |
An alias for withReifiedPrecision.