nmk · October 22, 2016 11:04 · Oct 22, 2016 · Oct 22, 2016 · Oct 20, 2016
diff --git a/Main.elm b/Main.elm
@@ -12,14 +12,14 @@ type alias CompanyName =
     String
 
 
-type AccountType
+type Account
     = Private
     | Business CompanyName
 
 
 type alias Registration =
     { email : String
-    , accountType : AccountType
+    , account : Account
     }
 
 
@@ -71,11 +71,11 @@ validateRegistration : Validation () Registration
 validateRegistration =
     succeed Registration
         |: ("email" := email)
-        |: (("accountType" := string) `andThen` accountType)
+        |: (("accountType" := string) `andThen` validateAccount)
 
 
-accountType : String -> Validation e AccountType
-accountType s =
+validateAccount : String -> Validation e Account
+validateAccount s =
     case s of
         "business" ->
             succeed Business |: ("companyName" := string)

diff --git a/Main.elm b/Main.elm
@@ -8,9 +8,13 @@ import Html.App as Html
 import Html.Attributes exposing (..)
 
 
+type alias CompanyName =
+    String
+
+
 type AccountType
     = Private
-    | Business String
+    | Business CompanyName
 
 
 type alias Registration =
@@ -27,6 +31,7 @@ type Msg
     = RegFormMsg Form.Msg
 
 
+main : Program Never
 main =
     Html.beginnerProgram
         { model = { registrationForm = Form.initial [] validateRegistration }
@@ -66,7 +71,7 @@ validateRegistration : Validation () Registration
 validateRegistration =
     succeed Registration
         |: ("email" := email)
-        |: ("accountType" := string `andThen` accountType)
+        |: (("accountType" := string) `andThen` accountType)
 
 
 accountType : String -> Validation e AccountType

diff --git a/Main.elm b/Main.elm
@@ -0,0 +1,122 @@
+module Main exposing (..)
+
+import Form exposing (Form, FieldState)
+import Form.Input as Input
+import Form.Validate exposing (..)
+import Html exposing (..)
+import Html.App as Html
+import Html.Attributes exposing (..)
+
+
+type AccountType
+    = Private
+    | Business String
+
+
+type alias Registration =
+    { email : String
+    , accountType : AccountType
+    }
+
+
+type alias Model =
+    { registrationForm : Form () Registration }
+
+
+type Msg
+    = RegFormMsg Form.Msg
+
+
+main =
+    Html.beginnerProgram
+        { model = { registrationForm = Form.initial [] validateRegistration }
+        , view = view
+        , update = update
+        }
+
+
+view : Model -> Html Msg
+view { registrationForm } =
+    Html.map RegFormMsg (viewForm registrationForm)
+
+
+update : Msg -> Model -> Model
+update msg model =
+    case msg of
+        RegFormMsg msg ->
+            { model | registrationForm = Form.update msg model.registrationForm }
+
+
+
+----------------------------
+
+
+(:=) : String -> Validation e a -> Validation e a
+(:=) =
+    get
+infixl 7 :=
+
+
+(|:) : Validation e (a -> b) -> Validation e a -> Validation e b
+(|:) =
+    apply
+
+
+validateRegistration : Validation () Registration
+validateRegistration =
+    succeed Registration
+        |: ("email" := email)
+        |: ("accountType" := string `andThen` accountType)
+
+
+accountType : String -> Validation e AccountType
+accountType s =
+    case s of
+        "business" ->
+            succeed Business |: ("companyName" := string)
+
+        _ ->
+            succeed Private
+
+
+radioGroup : List ( String, String ) -> FieldState () String -> Html Form.Msg
+radioGroup options state =
+    let
+        item ( v, l ) =
+            label [] [ Input.radioInput v state [ value v ], text l ]
+    in
+        p [] (List.map item options)
+
+
+viewForm : Form () Registration -> Html Form.Msg
+viewForm form =
+    let
+        gS =
+            flip Form.getFieldAsString form
+
+        isBusiness =
+            (gS "accountType").value == Just "business"
+    in
+        Html.form []
+            [ pre [] [ text (toString (Form.getOutput form)) ]
+            , Input.dumpErrors form
+            , p []
+                [ label
+                    []
+                    [ text "Email: "
+                    , Input.textInput (gS "email") []
+                    ]
+                ]
+            , radioGroup
+                [ ( "private", "Private" )
+                , ( "business", "Business" )
+                ]
+                (gS "accountType")
+            , if isBusiness then
+                p []
+                    [ label [] [ text "Company name:" ]
+                    , Input.textInput (gS "companyName") []
+                    ]
+              else
+                text ""
+            ]
No results found