Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- convertFixedToRational :: forall a s. HasResolution a => (Fixed a ': s) :-> (Rational ': s)
- convertNFixedToRational :: forall a s. HasResolution a => (NFixed a ': s) :-> (Rational ': s)
- convertRationalToFixed :: forall a s. HasResolution a => (Rational ': s) :-> (Fixed a ': s)
- convertRationalToNFixed :: forall a s. HasResolution a => (Rational ': s) :-> (Maybe (NFixed a) ': s)
- unsafeConvertRationalToNFixed :: forall a s. HasResolution a => (Rational ': s) :-> (NFixed a ': s)
- convertFixedToNRational :: forall a s. HasResolution a => (Fixed a ': s) :-> (Maybe NRational ': s)
- unsafeConvertFixedToNRational :: forall a s. HasResolution a => (Fixed a ': s) :-> (NRational ': s)
- convertNFixedToNRational :: forall a s. HasResolution a => (NFixed a ': s) :-> (NRational ': s)
- convertNRationalToFixed :: forall a s. HasResolution a => (NRational ': s) :-> (Fixed a ': s)
- convertNRationalToNFixed :: forall a s. HasResolution a => (NRational ': s) :-> (NFixed a ': s)
Rational to Fixed/NFixed
convertFixedToRational :: forall a s. HasResolution a => (Fixed a ': s) :-> (Rational ': s) Source #
convertNFixedToRational :: forall a s. HasResolution a => (NFixed a ': s) :-> (Rational ': s) Source #
convertRationalToFixed :: forall a s. HasResolution a => (Rational ': s) :-> (Fixed a ': s) Source #
convertRationalToNFixed :: forall a s. HasResolution a => (Rational ': s) :-> (Maybe (NFixed a) ': s) Source #
unsafeConvertRationalToNFixed :: forall a s. HasResolution a => (Rational ': s) :-> (NFixed a ': s) Source #
NRational to Fixed/NFixed
convertFixedToNRational :: forall a s. HasResolution a => (Fixed a ': s) :-> (Maybe NRational ': s) Source #
unsafeConvertFixedToNRational :: forall a s. HasResolution a => (Fixed a ': s) :-> (NRational ': s) Source #
convertNFixedToNRational :: forall a s. HasResolution a => (NFixed a ': s) :-> (NRational ': s) Source #
convertNRationalToFixed :: forall a s. HasResolution a => (NRational ': s) :-> (Fixed a ': s) Source #
convertNRationalToNFixed :: forall a s. HasResolution a => (NRational ': s) :-> (NFixed a ': s) Source #