some fixes for formStWidget example

[bbarker]

What does this pull request do?

A few readme fixes

Other issues

The example does not work for me as yet. I get this error (prepackaged example with imports):

Compiling Metajelo.Forms
Error found:
in module Metajelo.Forms
at src/Metajelo/Forms.purs:48:27 - 48:30 (line 48, column 27 - line 48, column 30)

  Could not match type
                                        
    { dirty :: Boolean                  
    , errors :: Int                     
    , form :: t1 Record FormField       
    , internal :: InternalState t1 Maybe
    , submitAttempts :: Int             
    , submitting :: Boolean             
    , validity :: ValidStatus           
    }                                   
                                        
  with type
          
    Record
          

while trying to match type Either                                
                             { dirty :: Boolean                  
                             , errors :: Int                     
                             , form :: t1 Record FormField       
                             , internal :: InternalState t1 Maybe
                             , submitAttempts :: Int             
                             , submitting :: Boolean             
                             , validity :: ValidStatus           
                             }                                   
  with type t0 Record
while checking that expression res
  has type Maybe (t0 Record OutputField)
in binding group formStWidget

where t1 is an unknown type
      t0 is an unknown type

[ajnsit]

Thanks for the fixes! I will look into the example.

[ajnsit]

@bbarker I figured out the problem. The docs for concur-formless are a bit stale. I had made a few changes to the API to simplify it.

The major changes you need to make are -

1. F.eval takes the current state of the form as a parameter.
2. F.eval returns an Either State Output instead of a Maybe Output. It used to handle the state intrinsically using the state monad, but now it requires explicit passing of state around. This makes it simpler and clearer to use, since you can still easily package it up in the state monad if needed.

Also, your example was also missing a few steps with defining forms, specifically a "Form" datatype and associated things (such as validations). I went ahead and completed the form example in my own fork - https://github.com/ajnsit/metajelo-ui. You can simply run spago and parcel to see it in action (exact commandlines in the README). The new sources are in the /src folder directly since it was easier for me to work with them that way.

Please feel free to open issues if anything is unclear!

[ajnsit]

This is what it looks like on my system -

[bbarker]

Thanks! yes, I thought I was probably missing some important bits that I had read about earlier, but was trying to get something up and running.

Should I go ahead and switch to purescript-formless-independent?

[ajnsit]

Yeah, I am going to deprecate concur-formless in favor of formless-independent soon. However I also opened an issue with main formless repository to see if they would want to create a formless-core repo instead. If they agree then it might be less work to simply switch to the official formless-core in one go.