Refactor wirings, paths, routes, etc. #331 (WIP) (#356)

* stbx-core: Split Wiring, Net, Diagram into their own modules and introduce wiring label newtype. #331

- [x] Newtype the `labels` in `Wiring`; is now `Array Int`, should be `Array <some newtype>`
  - [x] Split off module `Statebox.Core.Net` from `Statebox.Core.Types`
  - [x] Split off module `Statebox.Core.Diagram` from `Statebox.Core.Types`
  - [x] Split off module `Statebox.Core.Wiring` from `Statebox.Core.Types`
    - [x] Introduce the `labels` newtype mentioned in parent task.
  - [x] Fix transaction codec breakage.

* stbx-core: Move Firing, Initial, Common submodules out of Statebox.Core.Types. #331

* stbx-core: Define GluedTransitionId(Raw) alongside Wiring and use it in Execution. #331

* stbx-core: Move Path, PathElem into Statebox.Core.Wiring.Tree. #331

* stbx-core: Remove redirects to Path, PathElem from Statebox.Core.Execution. #331

* stbx-core: Alias Transaction.TxId to Core.Types.TxId. #331

Author: epost

Diff for: stbx-core/src/Statebox/Core/Execution.purs

@@ -8,6 +8,7 @@ import Data.Newtype (unwrap)
 import Unsafe.Coerce (unsafeCoerce)
 
 import Statebox.Core.Types (PID, TID, Wiring, GluedTransitionIdRaw, GluedTransitionId(..))
+import Statebox.Core.Wiring.Tree (Path, PathElem)
 
 
 -- | ReasonML-encoded representation of a marked net.
@@ -81,11 +82,6 @@ pretty = case _ of
     Glued   -> "glued"
     Final   -> "final"
 
-type PathElem = Int
-
--- | A path to a leaf (i.e. a net) in the diagram tree.
-type Path = Array PathElem
-
 -- TODO Since we already have Path as an isolated type, this PathIndexed may not add much value
 type PathIndexed r = (path :: Path | r)
 

Diff for: stbx-core/src/Statebox/Core/Transaction.purs

@@ -3,10 +3,12 @@ module Statebox.Core.Transaction where
 import Prelude
 import Data.Maybe (Maybe(..), isNothing)
 import Statebox.Core.Types (Initial, Firing, Wiring, HexStr)
+import Statebox.Core.Types (TxId) as Core
 
 type HashStr = HexStr
 
-type TxId = HexStr
+-- | TODO We'll probably want to remove this redirect. #331
+type TxId = Core.TxId
 
 type StatusStr = String
 

Diff for: stbx-core/src/Statebox/Core/Types.purs

@@ -2,6 +2,7 @@ module Statebox.Core.Types
   ( module Statebox.Core.Net
   , module Statebox.Core.Diagram
   , module Statebox.Core.Wiring
+  , module Statebox.Core.Wiring.Tree
   , module Statebox.Core.Firing
   , module Statebox.Core.Initial
   , module Statebox.Core.Common
@@ -10,6 +11,7 @@ module Statebox.Core.Types
 import Statebox.Core.Net
 import Statebox.Core.Diagram
 import Statebox.Core.Wiring
+import Statebox.Core.Wiring.Tree
 import Statebox.Core.Firing
 import Statebox.Core.Initial
 import Statebox.Core.Common

Diff for: stbx-core/src/Statebox/Core/Wiring/Tree/Path.purs

@@ -0,0 +1,6 @@
+module Statebox.Core.Wiring.Tree where
+
+-- | A path to a leaf (i.e. a net) in the diagram tree.
+type Path = Array PathElem
+
+type PathElem = Int

Diff for: studio/src/View/Studio/Model.purs

@@ -20,8 +20,7 @@ import Data.Diagram.FromNLL (ErrDiagramEncoding)
 import Data.Petrinet.Representation.NLL as Net
 import Data.Petrinet.Representation.PNPRO as PNPRO
 import Data.Petrinet.Representation.PNPROtoDict as PNPRO
-import Statebox.Core.Execution (PathElem)
-import Statebox.Core.Types (Diagram)
+import Statebox.Core.Types (Diagram, PathElem)
 import Statebox.Core.Transaction (HashStr, TxSum, FiringTx, WiringTx)
 import Statebox.Core.Lenses (_wiringTx, _firingTx)
 import View.Diagram.Model (DiagramInfo)

Diff for: studio/src/View/Studio/Model/Route.purs

@@ -6,7 +6,7 @@ import Data.Either.Nested (type (\/))
 import Data.Maybe (Maybe)
 import Data.Tuple.Nested (type (/\))
 import View.Model (ProjectName)
-import Statebox.Core.Execution (PathElem)
+import Statebox.Core.Types (PathElem)
 import Statebox.Core.Transaction (HashStr, Tx, TxSum(..), WiringTx, FiringTx, evalTxSum)
 
 type Route = RouteF ProjectName DiagramName NetName