chore(primer-miso): explicit imports per our style guide

Signed-off-by: Drew Hess <[email protected]>

primer-miso/exe/Main.hs

@@ -20,7 +20,7 @@ module Main (main) where
 
 import Foreword
 
-import Language.Javascript.JSaddle.Warp
+import Language.Javascript.JSaddle.Warp ( debug )
 import Primer.Miso (start)
 
 -- Note that `debug` works with `cabal repl` but not `cabal run`.

primer-miso/src/Primer/Miso.hs

@@ -20,17 +20,108 @@ import Data.Tree qualified as Tree
 import GHC.Base (error)
 import Linear (Metric (norm), R1 (_x), V2 (V2), unangle)
 import Linear.Affine ((.+^), (.-.), (.-^))
-import Miso hiding (P, node)
-import Optics hiding (view)
+import Miso (
+  App (
+    App,
+    events,
+    initialAction,
+    logLevel,
+    model,
+    mountPoint,
+    subs,
+    update,
+    view
+  ),
+  Effect,
+  JSM,
+  LogLevel (Off),
+  View,
+  defaultEvents,
+  div_,
+  fromTransition,
+  img_,
+  onClick,
+  src_,
+  style_,
+  text,
+ )
+import Optics (lensVL, over, to, (%), (.~), (^.), (^..))
 import Optics.State.Operators ((?=))
-import Primer.App
-import Primer.Core hiding (App)
+import Primer.App (
+  NodeSelection (NodeSelection),
+  NodeType (BodyNode, SigNode),
+  Prog (progImports),
+  newProg,
+ )
+import Primer.Core (
+  Bind' (Bind),
+  CaseBranch' (CaseBranch),
+  CaseFallback' (CaseExhaustive, CaseFallback),
+  Expr' (
+    APP,
+    Ann,
+    Case,
+    Con,
+    EmptyHole,
+    Hole,
+    LAM,
+    Lam,
+    Let,
+    LetType,
+    Letrec,
+    PrimCon,
+    Var
+  ),
+  GlobalName (baseName, qualifiedModule),
+  Kind' (..),
+  LocalName (unLocalName),
+  ModuleName,
+  Pattern (PatCon, PatPrim),
+  PrimCon (..),
+  TmVarRef (GlobalVarRef, LocalVarRef),
+  Type' (..),
+  mkSimpleModuleName,
+  typesInExpr,
+  _exprMetaLens,
+  _kindMetaLens,
+  _typeMetaLens,
+ )
 import Primer.Core qualified as Primer
 import Primer.Def (Def (..))
 import Primer.JSON (CustomJSON (..), PrimerJSON)
-import Primer.Miso.Colors
-import Primer.Miso.Layout
-import Primer.Miso.Util
+import Primer.Miso.Colors (
+  blackPrimary,
+  bluePrimary,
+  blueQuaternary,
+  blueSecondary,
+  blueTertiary,
+  greenPrimary,
+  greySecondary,
+  redTertiary,
+  whitePrimary,
+  yellowPrimary,
+  yellowTertiary,
+ )
+import Primer.Miso.Layout (
+  P2,
+  slHSep,
+  slHeight,
+  slVSep,
+  slWidth,
+  symmLayout',
+ )
+import Primer.Miso.Util (
+  ASTDefT (expr, sig),
+  NodeSelectionT,
+  TermMeta',
+  bindingsInExpr,
+  bindingsInType,
+  kindsInType,
+  nodeSelectionType,
+  startAppWithSavedState,
+  tcBasicProg,
+  typeBindingsInExpr,
+ )
 import Primer.Module (Module (moduleDefs, moduleName))
 import Primer.Name (Name, unName)
 

primer-miso/src/Primer/Miso/Layout.hs

@@ -74,13 +74,13 @@ import Foreword hiding (second)
 
 import Control.Arrow (second, (&&&), (***))
 
-import Data.Default
-import Data.Tree
+import Data.Default (Default (..))
+import Data.Tree (Tree (Node, rootLabel))
 
-import Linear
-import Linear.Affine
+import Linear (V2 (V2), (*^))
+import Linear.Affine (Affine ((.+^)), Point (P), origin)
 
-import Optics hiding (Empty)
+import Optics (makeLenses, (^.))
 import Primer.Miso.Util (P2, unitX, unit_Y)
 
 ------------------------------------------------------------

primer-miso/src/Primer/Miso/Util.hs

@@ -36,11 +36,38 @@ import Control.Monad.Fresh (MonadFresh (..))
 import Data.Aeson (FromJSON, ToJSON)
 import Linear (Additive, R1 (_x), R2 (_y), V2, zero)
 import Linear.Affine (Point (..), unP)
-import Miso
-import Optics
+import Miso (
+  App (initialAction, model, subs, update, view),
+  JSM,
+  getLocalStorage,
+  mapSub,
+  setLocalStorage,
+  startApp,
+  (<#),
+ )
+import Optics (
+  AffineTraversal',
+  Field1 (_1),
+  Field2 (_2),
+  atraversalVL,
+  lensVL,
+  (.~),
+  (^.),
+ )
 import Optics.State.Operators ((<<%=))
-import Primer.App
-import Primer.Core
+import Primer.App (NodeSelection (meta), Prog, progCxt)
+import Primer.Core (
+  Expr' (LAM, Lam, Let, LetType, Letrec),
+  ID,
+  Kind' (KType),
+  LVarName,
+  Meta,
+  TyVarName,
+  Type' (TEmptyHole, TForall, THole, TLet),
+  TypeCache (..),
+  TypeCacheBoth (TCBoth, tcChkedAt, tcSynthed),
+  _type,
+ )
 import Primer.Core.Utils (forgetTypeMetadata)
 import Primer.Def (ASTDef (..), astDefExpr)
 import Primer.JSON (CustomJSON (..), PrimerJSON)