Searched defs:mi64toi (Results 1 – 2 of 2) sorted by relevance
210 mi64toi Nothing = Nothing function211 mi64toi (Just x) = Just (fromIntegral x) function
257 mi64toi Nothing = Nothing function258 mi64toi (Just x) = Just (fromIntegral x) function