WIP: Nested types

[dvdsgl]

No description provided.

[dvdsgl]

I recommend that we don't use StrMap in our model. It's just a lightweight alias for a foreign JavaScript object, and we'll have an easier time if we just use Array or Map.

[dvdsgl]

I think you could do:

(case _ of
  [] -> ...
  x : xs -> ...)

[dvdsgl]

CSArray :: CSharpType -> CSharpType, so I am not sure how you are applying it to a record here.

[dvdsgl]

You can write { x, ... } instead of { x: x, ... }.

[dvdsgl]

Using let instead of where within those lambdas made it work:

gatherCSharpClassesFromJson :: String -> Json -> Tuple CSharpType (Array CSharpClass)
gatherCSharpClassesFromJson name json = foldJson
    (const $ Tuple CSObject [])
    (\b -> Tuple CSBool [])
    (\x -> Tuple CSDouble [])
    (\s -> Tuple CSString [])
    (case _ of
        [] -> Tuple (CSArray CSObject) []
        x : _ ->
            let Tuple et classes = gatherCSharpClassesFromJson (singularize name) x in
            Tuple (CSArray et) classes)
    (\o ->
        let c = CSClass { name: name, properties: props }
            Tuple props classes = mapProperties o in
        Tuple (CSClassType c) (c : classes))
    json

[dvdsgl]

Pulling the lambdas our into their own definitions also worked:

gatherCSharpClassesFromJson name json = foldJson
    (const $ Tuple CSObject [])
    (\b -> Tuple CSBool [])
    (\x -> Tuple CSDouble [])
    (\s -> Tuple CSString [])
    fromJArray
    fromJObject
    json
    where
        fromJObject o = Tuple (CSClassType c) (c : classes)
            where c = CSClass { name: name, properties: props }
                  Tuple props classes = mapProperties o
        
        fromJArray [] = Tuple (CSArray CSObject) []
        fromJArray (x : _) = Tuple (CSArray et) classes
            where Tuple et classes = gatherCSharpClassesFromJson (singularize name) x