search

upsiflu / less-ui

Write your views across several screen regions, and hide all Ui state in the Url.
https://package.elm-lang.org/packages/upsiflu/less-ui/latest
BSD 3-Clause "New" or "Revised" License
6 stars 1 forks source link

Once designated to a region, `Ui`s can't be redesignated #26

Open upsiflu opened 1 year ago

upsiflu commented 1 year ago

Why?

The meaning of at Control >> at Scene is ambiguous.

How?

This is the domain of phantom constraint types:

Ui ... c

where c is {canBeDesignated : ()} or {at : Allowed)

Discussion

Pro: Potential for a very streamlined Api, including elm-w3

Contra: An additional type parameter; an uncommon code pattern