blob: 826472d7a38c5fcf99bc9b13a8fccce32f928dbf (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
module Test where
import Data.Bits
import GHC.Num.Integer
import GHC.Num.Natural
integer_to_int :: Integer -> Maybe Int
integer_to_int = toIntegralSized
natural_to_word :: Natural -> Maybe Word
natural_to_word = toIntegralSized
|