Use rows for child slots

[natefaubion]

Fixes #439

This is still a WIP but is usable and ready for testing/review of the approach. This also fixes the issue where you can't rebind the output handler once the component is mounted. It should just work like normal handlers do.

I think we should remove the Component/Parent distinction for HTML and DSL now. The only difference now will be that leaf components/html just have () as their slot type. We can also provide absurdSlot :: forall a b. ComponentSlot () a -> b

• Add back queryAll support
• Remove Component/Parent distinction
• Fix all examples
• Fix documentation comments
• Remove ChildPath/Prism

[safareli]

Looked at examples and it's great 👏

[natefaubion]

I wonder if it's worth baking ComponentSlot into HTML.

[thomashoneyman]

👍 on removing the parent / component distinction and type synonyms. This is much clearer IMO.

[natefaubion]

Also, LifecycleComponentSpec is just Component' now, and lifecycleComponent is just mkComponent. Not sure how we want to handle that now.

[natefaubion]

If we can find a good solution to the lifecycle situation, we can just have the one constructor. That would be ideal.

[garyb]

If nothing else, we could change the API so it's like #517 - it wasn't what you meant with the proposal for it, but doing would reduce the lifecycle handling aspects to one function at least.

[natefaubion]

I think for now I'm going to remove the distinction and just have component, and we can address lifecycle stuff in another PR.

[natefaubion]

I think most of the example diffs are due to windows line endings

[natefaubion]

I think this is ready for review.

[natefaubion]

One thing that's neat about the rows approach is you can export a default slot constructor from your component module.

From the components-inputs example, Display could export:

display :: forall p f m r. Ord p => p -> Input -> H.ComponentHTML f (display :: Slot p | r) m
display slot i = HH.slot (SProxy :: SProxy "display") slot component i absurd

Which can be used in the Container just as:

  render :: State -> H.ComponentHTML Query ChildSlots m
  render state =
    HH.div_
      [ HH.ul_
          [ Display.display 1 state
          , Display.display 2 (state * 2)
          , Display.display 3 (state * 3)
          , Display.display 4 (state * 10)
          , Display.display 5 (state * state)
          ]
  ...

[natefaubion]

Bikeshed opportunity: order of type arguments.

[paulyoung]

This is amazing 👏

[acple]

(re-)rendering child components always output "Duplicate slot address" warning. cond inverted?

[natefaubion]

(re-)rendering child components always output "Duplicate slot address" warning. cond inverted?

Yes, you're right. Thanks!

[paulyoung]

Is this likely to land any time soon?

[garyb]

After 0.12 - I'll make a release with the minimal necessary updates for 0.12, and then shortly after a release with things like this and the reworked subscriptions.