feat: add flag to disable lens

Author: Anut-py

cabal.project

@@ -1,6 +1,6 @@
 packages: *.cabal
 
-optimization: 2
+optimization: 0
 
 package h-raylib
   flags: +examples

h-raylib.cabal

@@ -101,6 +101,11 @@ flag ghci
   default:     False
   manual:      True
 
+flag disable-lens
+  description: Exclude the lens dependency and Raylib.Util.Lenses
+  default:     False
+  manual:      True
+
 common example-options
   default-language: Haskell2010
 
@@ -229,24 +234,35 @@ library
     Raylib.Util.Colors
     Raylib.Util.GUI
     Raylib.Util.GUI.Styles
-    Raylib.Util.Lenses
     Raylib.Util.Math
     Raylib.Util.RLGL
 
+  if !flag(disable-lens)
+    exposed-modules:
+      Raylib.Util.Lenses
+
   other-modules:
     Raylib.Internal.TH
     Raylib.Internal.Web.Native
     Raylib.Internal.Web.Processable
 
+  if !flag(disable-lens)
+    other-modules:
+      Raylib.Util.Lenses.TH
+  
   build-depends:
     , base              >=4.0      && <4.22
     , bytestring        >=0.11.0   && <0.13
-    , containers        >=0.6.0    && <0.7
+    , containers        >=0.6.0    && <0.9
     , exceptions        >=0.10.4   && <0.11
-    , lens              >=4.0      && <5.4
     , linear            >=1.22     && <1.24
-    , template-haskell  >=2.16.0.0 && <2.23.0.0
+    , template-haskell  >=2.16.0.0 && <2.24
     , text              >=2.0      && <2.2
+  
+  
+  if !flag(disable-lens)
+    build-depends:
+      , lens              >=4.0      && <5.4
 
   hs-source-dirs:   src
   default-language: Haskell2010

src/Raylib/Internal/TH.hs

@@ -3,59 +3,33 @@
 {-# LANGUAGE TupleSections #-}
 
 -- | Template Haskell functions used internally
-module Raylib.Internal.TH (genLenses, genNative) where
-
-import Control.Lens (makeLensesFor)
-import Control.Monad (zipWithM)
+module Raylib.Internal.TH (genNative) where
 
 #ifdef WEB_FFI
 
 import Language.Haskell.TH
   ( Body (NormalB),
     Clause (Clause),
-    Con (RecC),
-    Dec (DataD, FunD, SigD),
+    Dec (FunD, SigD),
     DecsQ,
     Exp (AppE, LitE, VarE),
-    Info (TyConI),
     Lit (StringL),
-    Name,
     TypeQ,
     mkName,
-    nameBase,
-    reify,
   )
 import Raylib.Internal.Web.Native (callRaylibFunction)
 
 #else
 
 import Language.Haskell.TH
-  ( Con (RecC),
-    Dec (DataD, ForeignD),
+  ( Dec (ForeignD),
     DecsQ,
-    Info (TyConI),
-    Name,
     TypeQ,
-    mkName,
-    nameBase,
-    reify, Foreign (ImportF), Callconv (CCall), Safety (Safe),
+    mkName, Foreign (ImportF), Callconv (CCall), Safety (Safe),
   )
 
 #endif
 
--- | Creates lenses with an underscore before field names; e.g. @vector2'x@
---   becomes the lens @_vector2'x@
-genLenses :: [Name] -> DecsQ
-genLenses names = do
-  infos <- mapM reify names
-  concat <$> zipWithM genLensesForType names infos
-  where
-    genLensesForType name (TyConI (DataD _ _ _ _ [RecC _ ctors] _)) =
-      makeLensesFor mapping name
-      where
-        mapping = map (\(a, _, _) -> let fName = nameBase a in (fName, '_' : fName)) ctors
-    genLensesForType _ _ = error "(genLenses) Received a name that does not refer to a valid type!"
-
 -- | Generates native code for the given functions. On non-web platforms, this
 --   means @foreign import@ statements. On web platforms, this means
 --   `callRaylibFunction` calls.

src/Raylib/Util/Lenses.hs

@@ -5,7 +5,7 @@
 module Raylib.Util.Lenses where
 
 import Control.Lens (Lens', lens)
-import Raylib.Internal.TH (genLenses)
+import Raylib.Util.Lenses.TH (genLenses)
 import qualified Raylib.Types as RL
 
 $( genLenses

src/Raylib/Util/Lenses/TH.hs

@@ -0,0 +1,26 @@
+module Raylib.Util.Lenses.TH (genLenses) where
+
+import Language.Haskell.TH
+  ( Con (RecC),
+    Dec (DataD),
+    DecsQ,
+    Name,
+    Info (TyConI),
+    nameBase,
+    reify
+  )
+import Control.Lens (makeLensesFor)
+import Control.Monad (zipWithM)
+
+-- | Creates lenses with an underscore before field names; e.g. @vector2'x@
+--   becomes the lens @_vector2'x@
+genLenses :: [Name] -> DecsQ
+genLenses names = do
+  infos <- mapM reify names
+  concat <$> zipWithM genLensesForType names infos
+  where
+    genLensesForType name (TyConI (DataD _ _ _ _ [RecC _ ctors] _)) =
+      makeLensesFor mapping name
+      where
+        mapping = map (\(a, _, _) -> let fName = nameBase a in (fName, '_' : fName)) ctors
+    genLensesForType _ _ = error "(genLenses) Received a name that does not refer to a valid type!"

src/Raylib/Util/Math.hs

@@ -96,7 +96,6 @@ module Raylib.Util.Math
   )
 where
 
-import Data.Foldable (foldl')
 import Raylib.Types (Matrix (..), Quaternion, Vector2, pattern Vector2, Vector3, pattern Vector3, Vector4, pattern Vector4)
 epsilon :: Float
 epsilon = 0.000001