microlens -> lens

i still love you microlens..
2024-02-13 13:42:43 -07:00
parent ccc71a751c
commit 2e13ec2cf4
20 changed files with 24 additions and 46 deletions
--- a/src/Rlp/Syntax.hs
+++ b/src/Rlp/Syntax.hs
@@ -57,8 +57,7 @@ import Data.Functor.Identity
 import Data.Kind                    (Type)
 import GHC.Generics
 import Language.Haskell.TH.Syntax   (Lift)
-import Lens.Micro.Pro
-import Lens.Micro.Pro.TH
+import Control.Lens
 import Core.Syntax                  hiding (Lit, Type, Binding, Binding')
 import Core                         (HasRHS(..), HasLHS(..))
 ----------------------------------------------------------------------------------