.github/workflows/storybook.yml

@@ -13,7 +13,7 @@ jobs:
       - uses: thomashoneyman/setup-purescript@main
 
       - name: Install esbuild
-        run: npm install --global --global esbuild@0.14.38
+        run: npm install --global esbuild@0.13.12
 
       - name: Build Storybook
         run: npm run storybook

README.md

@@ -18,33 +18,35 @@ Install Formless with Spago:
 $ spago install halogen-formless
 ```
 
-Formless 3 is available in package sets beginning with `psc-0.14.7-20220303`. If you are using an older package set, then you should add an override to your `packages.dhall` file as in the example below. Older package sets do not include `variant >=7.1.0` either, so you will need to override that also.
+Formless 3 is available in package sets beginning with `psc-0.14.7-20220303`. If you are using a package set that does not include Formless, then you can add it to your local set as shown in the example below:
 
 ```dhall
 let upstream = ...
 
 in  upstream
-  with variant.version = "v7.1.0"
-  with halogen-formless.version = "v3.0.0"
-  with halogen-formless.dependencies =
-    [ "convertable-options"
-    , "effect"
-    , "either"
-    , "foldable-traversable"
-    , "foreign-object"
-    , "halogen"
-    , "heterogeneous"
-    , "maybe"
-    , "prelude"
-    , "record"
-    , "safe-coerce"
-    , "type-equality"
-    , "unsafe-coerce"
-    , "unsafe-reference"
-    , "variant"
-    , "web-events"
-    , "web-uievents"
-    ]
+  with halogen-formless =
+    { version = "v3.0.0"
+    , repo = "https://github.com/thomashoneyman/purescript-halogen-formless.git"
+    , dependencies =
+        [ "convertable-options"
+        , "effect"
+        , "either"
+        , "foldable-traversable"
+        , "foreign-object"
+        , "halogen"
+        , "heterogeneous"
+        , "maybe"
+        , "prelude"
+        , "record"
+        , "safe-coerce"
+        , "type-equality"
+        , "unsafe-coerce"
+        , "unsafe-reference"
+        , "variant"
+        , "web-events"
+        , "web-uievents"
+        ]
+    }
 ```
 
 ## Tutorial

packages.dhall

@@ -1,10 +1,5 @@
 let upstream =
-      https://github.com/purescript/package-sets/releases/download/psc-0.15.0-20220502/packages.dhall
-        sha256:38d347aeba9fe6359c208abe87a5cecf1ffb14294f11ad19664ae35c59b6e29a
+      https://github.com/purescript/package-sets/releases/download/psc-0.15.0-20220527/packages.dhall
+        sha256:15dd8041480502850e4043ea2977ed22d6ab3fc24d565211acde6f8c5152a799
 
 in  upstream
-  with halogen-storybook =
-    { dependencies = [ "halogen", "routing", "foreign-object" ]
-    , repo = "https://github.com/CarstenKoenig/purescript-halogen-storybook.git"
-    , version = "purs015"
-    }

shell.nix

@@ -12,18 +12,20 @@ let
     repo = "easy-purescript-nix";
     rev = "0ad5775c1e80cdd952527db2da969982e39ff592";
     sha256 = "0x53ads5v8zqsk4r1mfpzf5913byifdpv5shnvxpgw634ifyj1kg";
-  }) { inherit pkgs; };
+  }) {inherit pkgs;};
+in
+  pkgs.stdenv.mkDerivation {
+    name = "halogen-formless";
+    buildInputs = with pursPkgs; [
+      purs
+      spago
+      psa
+      purs-tidy
+      purescript-language-server
+      pulp
 
-in pkgs.stdenv.mkDerivation {
-  name = "halogen-formless";
-  buildInputs = with pursPkgs; [
-    pursPkgs.purs
-    pursPkgs.spago
-    pursPkgs.psa
-    pursPkgs.purs-tidy
-    pursPkgs.purescript-language-server
-
-    pkgs.nodejs-16_x
-    pkgs.esbuild
-  ];
-}
+      pkgs.nodejs-16_x
+      pkgs.nodePackages.bower
+      pkgs.esbuild
+    ];
+  }

src/Formless.purs

@@ -11,6 +11,7 @@ module Formless
   , validateM
   , FormContext
   , FormConfig
+  , OptionalFormConfig
   , FormQuery(..)
   , FormState
   , FormAction
@@ -144,12 +145,7 @@ type FieldOutput :: Type -> Type -> Type -> Type
 type FieldOutput input error output = output
 
 -- | Available settings for controlling the form's behavior.
-type FormConfig =
-  { validateOnBlur :: Boolean
-  , validateOnChange :: Boolean
-  , validateOnModify :: Boolean
-  , validateOnMount :: Boolean
-  }
+type FormConfig = { | OptionalFormConfig }
 
 type InitialFormConfig :: Row Type -> Type -> Type
 type InitialFormConfig fields action =