Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data SatInt
- unsafeToSatInt ∷ Int → SatInt
- fromSatInt ∷ ∀ a. Num a ⇒ SatInt → a
Documentation
Instances
unsafeToSatInt ∷ Int → SatInt Source #
fromSatInt ∷ ∀ a. Num a ⇒ SatInt → a Source #
An optimized version of fromIntegral . unSatInt
.