a5b69a7 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Delete unused utility functions

a5b69a7Benjamin Saunders13 years ago

src/Idris/Primitives.hs−22

@@ -251,28 +251,6 @@ iCoerce from to op impl irop =

251 Prim (UN $ "prim__" ++ op ++ intTyName from ++ "_" ++ intTyName to)

252 (ty [AType . ATInt $ from] (AType . ATInt $ to)) 1 (impl from to) (1, irop from to) total

253

254−iUn :: (Int -> Int) -> [Const] -> Maybe Const

255−iUn op [I x] = Just $ I (op x)

256−iUn _ _ = Nothing

257−

258−iBin :: (Int -> Int -> Int) -> [Const] -> Maybe Const

259−iBin op [I x, I y] = Just $ I (op x y)

260−iBin _ _ = Nothing

261−

262−bBin :: (Integer -> Integer -> Integer) -> [Const] -> Maybe Const

263−bBin op [BI x, BI y] = Just $ BI (op x y)

264−bBin _ _ = Nothing

265−

266−bBini :: (Integer -> Integer -> Int) -> [Const] -> Maybe Const

267−bBini op [BI x, BI y] = Just $ I (op x y)

268−bBini _ _ = Nothing

269−

270−biBin :: (Int -> Int -> Bool) -> [Const] -> Maybe Const

271−biBin op = iBin (\x y -> if (op x y) then 1 else 0)

272−

273−bbBin :: (Integer -> Integer -> Bool) -> [Const] -> Maybe Const

274−bbBin op = bBini (\x y -> if (op x y) then 1 else 0)

275−

276fBin :: (Double -> Double -> Double) -> [Const] -> Maybe Const

254fBin :: (Double -> Double -> Double) -> [Const] -> Maybe Const

277fBin op [Fl x, Fl y] = Just $ Fl (op x y)

255fBin op [Fl x, Fl y] = Just $ Fl (op x y)

278fBin _ _ = Nothing

256fBin _ _ = Nothing