spago support, and test suite

Author: athanclark

.gitignore

@@ -7,3 +7,4 @@
 /.psc*
 /.purs*
 /.psa*
+/.spago/

.travis.yml

@@ -0,0 +1,10 @@
+language: node_js
+node_js:
+  - 12
+
+install:
+  - npm i -g purescript spago
+  - npm i
+
+script:
+  - spago test

packages.dhall

@@ -0,0 +1,128 @@
+{-
+Welcome to your new Dhall package-set!
+
+Below are instructions for how to edit this file for most use
+cases, so that you don't need to know Dhall to use it.
+
+## Warning: Don't Move This Top-Level Comment!
+
+Due to how `dhall format` currently works, this comment's
+instructions cannot appear near corresponding sections below
+because `dhall format` will delete the comment. However,
+it will not delete a top-level comment like this one.
+
+## Use Cases
+
+Most will want to do one or both of these options:
+1. Override/Patch a package's dependency
+2. Add a package not already in the default package set
+
+This file will continue to work whether you use one or both options.
+Instructions for each option are explained below.
+
+### Overriding/Patching a package
+
+Purpose:
+- Change a package's dependency to a newer/older release than the
+    default package set's release
+- Use your own modified version of some dependency that may
+    include new API, changed API, removed API by
+    using your custom git repo of the library rather than
+    the package set's repo
+
+Syntax:
+Replace the overrides' "{=}" (an empty record) with the following idea
+The "//" or "⫽" means "merge these two records and
+  when they have the same value, use the one on the right:"
+-------------------------------
+let overrides =
+  { packageName =
+      upstream.packageName // { updateEntity1 = "new value", updateEntity2 = "new value" }
+  , packageName =
+      upstream.packageName // { version = "v4.0.0" }
+  , packageName =
+      upstream.packageName // { repo = "https://www.example.com/path/to/new/repo.git" }
+  }
+-------------------------------
+
+Example:
+-------------------------------
+let overrides =
+  { halogen =
+      upstream.halogen // { version = "master" }
+  , halogen-vdom =
+      upstream.halogen-vdom // { version = "v4.0.0" }
+  }
+-------------------------------
+
+### Additions
+
+Purpose:
+- Add packages that aren't already included in the default package set
+
+Syntax:
+Replace the additions' "{=}" (an empty record) with the following idea:
+-------------------------------
+let additions =
+  { package-name =
+       { dependencies =
+           [ "dependency1"
+           , "dependency2"
+           ]
+       , repo =
+           "https://example.com/path/to/git/repo.git"
+       , version =
+           "tag ('v4.0.0') or branch ('master')"
+       }
+  , package-name =
+       { dependencies =
+           [ "dependency1"
+           , "dependency2"
+           ]
+       , repo =
+           "https://example.com/path/to/git/repo.git"
+       , version =
+           "tag ('v4.0.0') or branch ('master')"
+       }
+  , etc.
+  }
+-------------------------------
+
+Example:
+-------------------------------
+let additions =
+  { benchotron =
+      { dependencies =
+          [ "arrays"
+          , "exists"
+          , "profunctor"
+          , "strings"
+          , "quickcheck"
+          , "lcg"
+          , "transformers"
+          , "foldable-traversable"
+          , "exceptions"
+          , "node-fs"
+          , "node-buffer"
+          , "node-readline"
+          , "datetime"
+          , "now"
+          ]
+      , repo =
+          "https://github.com/hdgarrood/purescript-benchotron.git"
+      , version =
+          "v7.0.0"
+      }
+  }
+-------------------------------
+-}
+
+
+let upstream =
+      https://github.com/purescript/package-sets/releases/download/psc-0.13.6-20200507/packages.dhall sha256:9c1e8951e721b79de1de551f31ecb5a339e82bbd43300eb5ccfb1bf8cf7bbd62
+
+let overrides = {=}
+
+let additions = {=}
+
+in  upstream // overrides // additions

spago.dhall

@@ -0,0 +1,10 @@
+{-
+Welcome to a Spago project!
+You can edit this file as you like.
+-}
+{ name = "float32"
+, dependencies =
+  [ "console", "effect", "generics-rep", "prelude", "psci-support", "quickcheck-laws" ]
+, packages = ./packages.dhall
+, sources = [ "src/**/*.purs", "test/**/*.purs" ]
+}

test/Main.purs

@@ -0,0 +1,48 @@
+module Test.Main where
+
+import Prelude
+import Data.Float32 (Float32)
+import Data.Float32.Gen (chooseFloat32)
+
+import Effect (Effect)
+import Type.Proxy (Proxy (..))
+import Test.QuickCheck (class Arbitrary)
+import Test.QuickCheck.Laws.Data
+  ( checkBounded, checkEq, checkOrd, checkSemiring, checkRing, checkCommutativeRing
+  , checkDivisionRing, checkEuclideanRing)
+
+newtype Float32' = Float32' Float32
+derive newtype instance eqFloat32' :: Eq Float32'
+derive newtype instance ordFloat32' :: Ord Float32'
+derive newtype instance boundedFloat32' :: Bounded Float32'
+derive newtype instance semiringFloat32' :: Semiring Float32'
+derive newtype instance ringFloat32' :: Ring Float32'
+derive newtype instance commutativeRingFloat32' :: CommutativeRing Float32'
+derive newtype instance divisionRingFloat32' :: DivisionRing Float32'
+derive newtype instance euclideanRingFloat32' :: EuclideanRing Float32'
+instance arbitraryFloat32' :: Arbitrary Float32' where
+  arbitrary = Float32' <$> chooseFloat32 bottom top
+
+
+main :: Effect Unit
+main = do
+  let p :: Proxy Float32'
+      p = Proxy
+  checkBounded p
+  checkEq p
+  checkOrd p
+  checkSemiring p
+  checkRing p
+  checkCommutativeRing p
+  -- checkDivisionRing p -- isn't a division ring because 32bit float isn't perfectly precise
+  -- checkEuclideanRing p -- likewise for euclidean ring
+
+
+
+
+
+
+
+
+
+