Portability | Rank2Types |
---|---|
Stability | unstable |
Maintainer | claude@mathr.co.uk |
Safe Haskell | None |
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.
:: (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
.
:: (VariablePrecision t, NaturalNumber p) | |
=> t p | original value |
-> Word | new precision |
-> (forall q. NaturalNumber q => t q -> a) | operation |
-> a |
An alias for withReifiedPrecision
.