Merge pull request #380 from statebox/development

Merge development into master

Author: epost

.gitignore

@@ -1,9 +1 @@
-/bower_components/
-/node_modules/
-/.pulp-cache/
-/output/
-/generated-docs/
-/.psc-package/
-/.psc*
-/.purs*
-/.psa*
+.psc-ide-port

.travis.yml

@@ -0,0 +1,4 @@
+language: node_js
+node_js: stable
+script:
+  - scripts/buildandtest.sh

README.md

@@ -1,14 +1,13 @@
-# Statebox Studio
+# Statebox PureScript monorepo
 
-## Try online
+studio demo: [![Netlify Status](https://api.netlify.com/api/v1/badges/8e848ea5-2d7f-4e74-98d7-330a13819bd0/deploy-status)](https://app.netlify.com/sites/statebox-studio-test/deploys).
 
-https://statebox-studio-test.netlify.com/
+source code docs: [![Netlify Status](https://api.netlify.com/api/v1/badges/40809c59-434f-4210-a088-903d2bea5fbf/deploy-status)](https://app.netlify.com/sites/zealous-swirles-adb9a4/deploys)
 
-## Build and run
+monorepo: [![Build Status](https://travis-ci.com/statebox/purescript-studio.svg?token=cVQf36PbhPuPrsV4Ks8k&branch=development)](https://travis-ci.com/statebox/purescript-studio)
 
-Clone and `cd` into the repo, then do:
-```
-npm i
-npm run bundle
-```
-Then open `dist/index.html` in your browser.
+---
+
+This contains Statebox Studio, Statebox REST API, Statebox REST client and associated projects.
+
+See the docs in the [studio](studio/README.md) directory.

dist/index.html

@@ -0,0 +1,10 @@
+/bower_components/
+/node_modules/
+/.pulp-cache/
+/output/
+/generated-docs/
+/.psc-package/
+/.psc*
+/.purs*
+/.psa*
+/.spago

dist/vendor/tailwind.min.css

@@ -0,0 +1,18 @@
+{
+  "name": "purescript-halogen-diagram-editor",
+  "version": "1.0.0",
+  "description": "Halogen brick diagram editor component",
+  "author": "Erik Post <erik@shinsetsu.nl>",
+  "main": "index.js",
+  "scripts": {
+    "postinstall": "spago install",
+    "build": "spago build --purs-args --censor-codes=ImplicitImport,ImplicitQualifiedImport,HidingImport",
+    "watch": "spago build --watch --purs-args --censor-codes=ImplicitImport,ImplicitQualifiedImport,HidingImport"
+  },
+  "devDependencies": {
+    "purescript": "^0.13.5",
+    "purescript-psa": "^0.7.3",
+    "spago": "^0.13"
+  },
+  "license": "ISC"
+}

halogen-diagram-editor/.gitignore

@@ -0,0 +1,11 @@
+{ name =
+    "halogen-diagram-editor"
+, dependencies =
+    [ "vec"
+    , "halogen-svg"
+    ]
+, packages =
+    ../packages.dhall
+, sources =
+    [ "src/**/*.purs", "test/**/*.purs" ]
+}

halogen-diagram-editor/package.json

@@ -1,4 +1,4 @@
-module View.Diagram.FromNLL (fromNLL, ErrDiagramEncoding(..)) where
+module Data.Diagram.FromNLL (fromNLL, ErrDiagramEncoding(..)) where
 
 import Data.Array hiding (head, tail, length)
 import Data.Array.NonEmpty (toNonEmpty)
@@ -35,15 +35,15 @@ instance showErrDiagramEncoding :: Show ErrDiagramEncoding where
 
 type DiagramM a = Either ErrDiagramEncoding a
 
--- | See https://adoring-curie-7b92fd.netlify.com/.
+-- | See https://adoring-curie-7b92fd.netlify.com and https://docs.statebox.org/spec.
 type BrickDiagram a = 
   { width :: Int
-  , elements :: Array a
+  , pixels :: Array a
   }
 
 -- | Makes a brick diagram without checking bounds and sizes.
 mkBrickDiagramUnsafe :: ∀ a. Int -> Array a -> BrickDiagram a
-mkBrickDiagramUnsafe width ops = { width: width, elements: ops }
+mkBrickDiagramUnsafe width ops = { width: width, pixels: ops }
 
 -- | Safe constructor for brick diagrams, checks that the encoded array has the right size.
 mkBrickDiagram :: ∀ a. Int -> Array a -> DiagramM (BrickDiagram a)
@@ -54,12 +54,12 @@ mkBrickDiagram w ops | length ops `mod` w == 0 = Right $ mkBrickDiagramUnsafe w
 
 -- | Get the height of a brick diagram, assuming it's perfectly rectangular.
 height :: ∀ a. BrickDiagram a -> Int
-height b = (length b.elements) / b.width
+height b = (length b.pixels) / b.width
 
 -- | Return the element below the given coordinates, if any.
 below :: ∀ a. BrickDiagram a -> Int -> Int -> Maybe a
 below b x y = let l = min (height b) (y + 1) in
-                  index b.elements (l * b.width + x)
+                  index b.pixels (l * b.width + x)
 
 -- Converting brick diagrams to directed graphs -----------------------------------------------------------------------
 
@@ -88,11 +88,11 @@ isSelfArrow {source, target} = source == target
 brickToGraph :: ∀ a. Eq a => BrickDiagram a -> Array (GraphArrow a)
 brickToGraph b = mapMaybe (edge b) indices
   where 
-    indices = range 0 (length b.elements - 1)
+    indices = range 0 (length b.pixels - 1)
 
 -- | Given a brick diagram and an index, return one of the arrows leaving the node at this index.
 edge :: ∀ a. Eq a => BrickDiagram a -> Int -> Maybe (GraphArrow a)
-edge b i = { source: _, target: _ } <$> index b.elements i <*> below b xPos yPos
+edge b i = { source: _, target: _ } <$> index b.pixels i <*> below b xPos yPos
   where 
     yPos = i / b.width
     xPos = i `rem` b.width
@@ -142,7 +142,7 @@ type ConsecutiveValues a = { value :: a, length :: Int }
 -- | [--4--]
 -- | ```
 graphToOps :: ∀ a. Eq a => Show a => BrickDiagram a -> Array Operator
-graphToOps { width: width, elements: brick } = 
+graphToOps { width: width, pixels: brick } =
   let lines = splitLines width brick
       l = mapWithIndex mapOperators $ map packConsecutive lines in
       concat l
@@ -170,8 +170,8 @@ nllToBrickDiagram :: Array Int -> DiagramM (BrickDiagram Int)
 nllToBrickDiagram nll = case uncons nll of
   Just { head, tail } -> mkBrickDiagram head tail
   Nothing -> Right $ mkBrickDiagramUnsafe 0 []
-  
-fromNLL :: Array Int -> String -> DiagramM DiagramInfo
-fromNLL nll name = do bricks <- nllToBrickDiagram nll
+
+fromNLL :: String -> Array Int -> DiagramM DiagramInfo
+fromNLL name nll = do bricks <- nllToBrickDiagram nll
                       _ <- parseBrickToGraph 0 bricks
                       Right $ brickToDiagram bricks name

halogen-diagram-editor/spago.dhall

@@ -0,0 +1,14 @@
+module View.Diagram.Common where
+
+import Prelude
+import Data.Int (toNumber, round)
+import Halogen.HTML.Properties as HP
+import Halogen.HTML.Core as HC
+
+-- TODO copied from halogen-petrinet-editor.View.Common
+classesWithNames :: ∀ r i. Array String -> HP.IProp (class :: String | r) i
+classesWithNames names = HP.classes (HC.ClassName <$> names)
+
+-- snap s x = x - (x % s)
+snap :: Int -> Int -> Int
+snap s x = s * round (toNumber x / toNumber s) -- s * (x // s)