Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- toIntegral :: forall i j. (Integral i, Integral j) => i -> j
- (\+) :: forall i j. (Integral i, Integral j) => i -> i -> j
- (\-) :: forall i j. (Integral i, Integral j) => i -> i -> j
- (\*) :: forall i j. (Integral i, Integral j) => i -> i -> j
- genericQuot :: forall i j. (Integral i, Integral j) => i -> i -> j
- genericRem :: forall i j. (Integral i, Integral j) => i -> i -> j
- genericQuotRem :: forall i j. (Integral i, Integral j) => i -> i -> (j, j)
- genericDiv :: forall i j. (Integral i, Integral j) => i -> i -> j
- genericMod :: forall i j. (Integral i, Integral j) => i -> i -> j
- genericDivMod :: forall i j. (Integral i, Integral j) => i -> i -> (j, j)
- safeQuot :: forall a. Integral a => a -> a -> Maybe a
- safeRem :: forall a. Integral a => a -> a -> Maybe a
- safeQuotRem :: forall a. Integral a => a -> a -> Maybe (a, a)
- safeDiv :: forall a. Integral a => a -> a -> Maybe a
- safeMod :: forall a. Integral a => a -> a -> Maybe a
- safeDivMod :: forall a. Integral a => a -> a -> Maybe (a, a)
- genericSafeQuot :: forall i j. (Integral i, Integral j) => i -> i -> Maybe j
- genericSafeRem :: forall i j. (Integral i, Integral j) => i -> i -> Maybe j
- genericSafeQuotRem :: forall i j. (Integral i, Integral j) => i -> i -> Maybe (j, j)
- genericSafeDiv :: forall i j. (Integral i, Integral j) => i -> i -> Maybe j
- genericSafeMod :: forall i j. (Integral i, Integral j) => i -> i -> Maybe j
- genericSafeDivMod :: forall i j. (Integral i, Integral j) => i -> i -> Maybe (j, j)
Documentation
toIntegral :: forall i j. (Integral i, Integral j) => i -> j Source #
Converts any Integral to any other Integral.
genericQuot :: forall i j. (Integral i, Integral j) => i -> i -> j Source #
genericRem :: forall i j. (Integral i, Integral j) => i -> i -> j Source #
genericQuotRem :: forall i j. (Integral i, Integral j) => i -> i -> (j, j) Source #
genericDiv :: forall i j. (Integral i, Integral j) => i -> i -> j Source #
genericMod :: forall i j. (Integral i, Integral j) => i -> i -> j Source #
genericDivMod :: forall i j. (Integral i, Integral j) => i -> i -> (j, j) Source #
safeQuotRem :: forall a. Integral a => a -> a -> Maybe (a, a) Source #
safeDivMod :: forall a. Integral a => a -> a -> Maybe (a, a) Source #