Language/TCT/Utils.hs

   1 module Language.TCT.Utils where
   2
   3 import Data.Function ((.))
   4 import Data.Int (Int, Int64)
   5 import Prelude (Num(..), Integral(..))
   6
   7 -- * 'Int'
   8 int :: Integral i => i -> Int
   9 int = fromInteger . toInteger
  10
  11 int64 :: Integral i => i -> Int64
  12 int64 = fromInteger . toInteger