Showing 159 of 159 total issues
Missing NOINLINE pragma Open
Open
densematrix_new_eye = unsafePerformIO $ do
let mat = densematrix_new_rows_cols
throwOnSymIntException =<< with mat (\m -> cdensematrix_eye_ffi m
(fromIntegral . natVal $ (Proxy @ r))
(fromIntegral . natVal $ (Proxy @ c))
- Read upRead up
- Exclude checks
Found
densematrix_new_eye
= unsafePerformIO $
do let mat = densematrix_new_rows_cols
throwOnSymIntException =<<
with mat
(\ m ->
cdensematrix_eye_ffi m (fromIntegral . natVal $ (Proxy @r))
(fromIntegral . natVal $ (Proxy @c))
(fromIntegral . natVal $ (Proxy @k)))
return mat
Perhaps
{-# NOINLINE densematrix_new_eye #-}
densematrix_new_eye
= unsafePerformIO $
do let mat = densematrix_new_rows_cols
throwOnSymIntException =<<
with mat
(\ m ->
cdensematrix_eye_ffi m (fromIntegral . natVal $ (Proxy @r))
(fromIntegral . natVal $ (Proxy @c))
(fromIntegral . natVal $ (Proxy @k)))
return mat
Missing NOINLINE pragma Open
Open
densematrix_new_zeros = unsafePerformIO $ do
let mat = densematrix_new_rows_cols
throwOnSymIntException =<< with mat (\m -> cdensematrix_zeros_ffi m
(fromIntegral . natVal $ (Proxy @ r))
(fromIntegral . natVal $ (Proxy @ c)))
- Read upRead up
- Exclude checks
Found
densematrix_new_zeros
= unsafePerformIO $
do let mat = densematrix_new_rows_cols
throwOnSymIntException =<<
with mat
(\ m ->
cdensematrix_zeros_ffi m (fromIntegral . natVal $ (Proxy @r))
(fromIntegral . natVal $ (Proxy @c)))
return mat
Perhaps
{-# NOINLINE densematrix_new_zeros #-}
densematrix_new_zeros
= unsafePerformIO $
do let mat = densematrix_new_rows_cols
throwOnSymIntException =<<
with mat
(\ m ->
cdensematrix_zeros_ffi m (fromIntegral . natVal $ (Proxy @r))
(fromIntegral . natVal $ (Proxy @c)))
return mat
Redundant bracket Open
Open
with (BasicSym (p)) f = withForeignPtr p f
- Read upRead up
- Exclude checks
Found
(p)
Perhaps
p
Redundant bracket Open
Open
foreign import ccall "symengine/cwrapper.h dense_matrix_get_basic" cdensematrix_get_basic_ffi :: Ptr (CBasicSym) -> Ptr CDenseMatrix -> CUInt -> CUInt -> IO CInt
- Read upRead up
- Exclude checks
Found
(CBasicSym)
Perhaps
CBasicSym
Eta reduce Open
Open
with (VecBasic p) f = withForeignPtr p f
- Read upRead up
- Exclude checks
Found
with (VecBasic p) f = withForeignPtr p f
Perhaps
with (VecBasic p) = withForeignPtr p
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
intToCLong i = toEnum i
- Read upRead up
- Exclude checks
Found
intToCLong i = toEnum i
Perhaps
intToCLong = toEnum
Eta reduce Open
Open
with (BasicSym (p)) f = withForeignPtr p f
- Read upRead up
- Exclude checks
Found
with (BasicSym (p)) f = withForeignPtr p f
Perhaps
with (BasicSym (p)) = withForeignPtr p
Redundant bracket Open
Open
return $ VecBasic (finalized)
- Read upRead up
- Exclude checks
Found
(finalized)
Perhaps
finalized
Unused LANGUAGE pragma Open
Open
{-# LANGUAGE FunctionalDependencies #-}
- Read upRead up
- Exclude checks
Found
{-# LANGUAGE FunctionalDependencies #-}
Perhaps
Applying this change:
- may require
{-# LANGUAGE MultiParamTypeClasses #-}
adding to the top of the file
Missing NOINLINE pragma Open
Open
densematrix_new_rows_cols =
unsafePerformIO $ DenseMatrix <$>
(mkForeignPtr (cdensematrix_new_rows_cols_ffi
(fromIntegral . natVal $ (Proxy @ r))
(fromIntegral . natVal $ (Proxy @ c)))
- Read upRead up
- Exclude checks
Found
densematrix_new_rows_cols
= unsafePerformIO $
DenseMatrix <$>
(mkForeignPtr
(cdensematrix_new_rows_cols_ffi
(fromIntegral . natVal $ (Proxy @r))
(fromIntegral . natVal $ (Proxy @c)))
cdensematrix_free_ffi)
Perhaps
{-# NOINLINE densematrix_new_rows_cols #-}
densematrix_new_rows_cols
= unsafePerformIO $
DenseMatrix <$>
(mkForeignPtr
(cdensematrix_new_rows_cols_ffi
(fromIntegral . natVal $ (Proxy @r))
(fromIntegral . natVal $ (Proxy @c)))
cdensematrix_free_ffi)
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
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
complex a b = (lift_basicsym_binaryop complex_set_ffi) a b
- Read upRead up
- Exclude checks
Found
complex a b = (lift_basicsym_binaryop complex_set_ffi) a b
Perhaps
complex = (lift_basicsym_binaryop complex_set_ffi)
Redundant bracket Open
Open
foreign import ccall "symengine/cwrapper.h dense_matrix_set_basic" cdensematrix_set_basic_ffi :: Ptr CDenseMatrix -> CUInt -> CUInt -> Ptr (CBasicSym) -> IO CInt
- Read upRead up
- Exclude checks
Found
(CBasicSym)
Perhaps
CBasicSym
Eta reduce Open
Open
throwOnSymIntException i = forceException . cIntToEnum $ i
- Read upRead up
- Exclude checks
Found
throwOnSymIntException i = forceException . cIntToEnum $ i
Perhaps
throwOnSymIntException = forceException . cIntToEnum
Unused LANGUAGE pragma Open
Open
{-# LANGUAGE FunctionalDependencies #-}
- Read upRead up
- Exclude checks
Found
{-# LANGUAGE FunctionalDependencies #-}
Perhaps
Applying this change:
- may require
{-# LANGUAGE MultiParamTypeClasses #-}
adding to the top of the file
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