src/Symengine/Internal.hs
Unused LANGUAGE pragma Open
Open
{-# LANGUAGE RecordWildCards #-}
- Read upRead up
- Exclude checks
Found
{-# LANGUAGE RecordWildCards #-}
Perhaps
Applying this change:
- may require
{-# LANGUAGE DisambiguateRecordFields #-}
adding to the top of the file
Use fewer imports Open
Open
import Control.Monad -- for foldM
- Read upRead up
- Exclude checks
Found
import Control.Monad
import Control.Monad
Perhaps
import Control.Monad
Eta reduce Open
Open
throwOnSymIntException i = forceException . cIntToEnum $ i
- Read upRead up
- Exclude checks
Found
throwOnSymIntException i = forceException . cIntToEnum $ i
Perhaps
throwOnSymIntException = forceException . cIntToEnum
Redundant as-pattern Open
Open
error @ _ -> throwIO error
- Read upRead up
- Exclude checks
Found
error@_
Perhaps
error
Redundant return Open
Open
mkForeignPtr cons des = do
rawptr <- cons
finalized <- newForeignPtr des rawptr
return finalized
- Read upRead up
- Exclude checks
Found
do rawptr <- cons
finalized <- newForeignPtr des rawptr
return finalized
Perhaps
do rawptr <- cons
newForeignPtr des rawptr
Redundant bracket Open
Open
mkForeignPtr :: (IO (Ptr a)) -> FunPtr (Ptr a -> IO ()) -> IO (ForeignPtr a)
- Read upRead up
- Exclude checks
Found
(IO (Ptr a)) -> FunPtr (Ptr a -> IO ()) -> IO (ForeignPtr a)
Perhaps
IO (Ptr a) -> FunPtr (Ptr a -> IO ()) -> IO (ForeignPtr a)
Avoid lambda Open
Open
with2 o1 o2 f = with o1 (\p1 -> with o2 (\p2 -> f p1 p2))
- Read upRead up
- Exclude checks
Found
\ p2 -> f p1 p2
Perhaps
f p1
Avoid lambda Open
Open
with3 o1 o2 o3 f = with2 o1 o2 (\p1 p2 -> with o3 (\p3 -> f p1 p2 p3))
- Read upRead up
- Exclude checks
Found
\ p3 -> f p1 p2 p3
Perhaps
f p1 p2
Avoid lambda Open
Open
with4 o1 o2 o3 o4 f = with o1 (\p1 -> with3 o2 o3 o4 (\p2 p3 p4 -> f p1 p2 p3 p4))
- Read upRead up
- Exclude checks
Found
\ p2 p3 p4 -> f p1 p2 p3 p4
Perhaps
f p1