AP
type Msg
= PortMsg PortMsg
| OtherMsg
...
type PortMsg
= Foo
| BarSize: a a a
2020 August 13
AP
Не должен порт уметь посылать любое из возможных сообщений
MP
Не должен порт уметь посылать любое из возможных сообщений
да, я это не имел ввиду.. но как дальше.
Например, модуль А интересуется только сообщением Foo
а модуль Б только Bar
Значит в А в update мы добавим _ для всех остальных PortMsg, которые не Foo?
Например, модуль А интересуется только сообщением Foo
а модуль Б только Bar
Значит в А в update мы добавим _ для всех остальных PortMsg, которые не Foo?
MP
вопрос скорее о том, как не делать чтобы:
type PortMsgA =
FooA
BarA
type PortMsgB =
FooB
BarB
а сделать один:
type PortMsg =
FooA
BarA
FooB
BarB
и как при этом в update внутри модуля А и Б это разруливать
type PortMsgA =
FooA
BarA
type PortMsgB =
FooB
BarB
а сделать один:
type PortMsg =
FooA
BarA
FooB
BarB
и как при этом в update внутри модуля А и Б это разруливать
AP
да, я это не имел ввиду.. но как дальше.
Например, модуль А интересуется только сообщением Foo
а модуль Б только Bar
Значит в А в update мы добавим _ для всех остальных PortMsg, которые не Foo?
Например, модуль А интересуется только сообщением Foo
а модуль Б только Bar
Значит в А в update мы добавим _ для всех остальных PortMsg, которые не Foo?
import A
import B
type Msg = MsgA A.Msg | MsgB B.Msg
AP
вопрос скорее о том, как не делать чтобы:
type PortMsgA =
FooA
BarA
type PortMsgB =
FooB
BarB
а сделать один:
type PortMsg =
FooA
BarA
FooB
BarB
и как при этом в update внутри модуля А и Б это разруливать
type PortMsgA =
FooA
BarA
type PortMsgB =
FooB
BarB
а сделать один:
type PortMsg =
FooA
BarA
FooB
BarB
и как при этом в update внутри модуля А и Б это разруливать
Никак не сделать. Конструктор значений не может принадлежать нескольким типам.
AP
Хотите в A и B иметь отдельные сообщения для порта — заводите. И собирайте в отдельную сумму, используемую только для порта
AP
type MsgA = PortA PortA | NonPortA NonPortAНа порт нужно будет мапнуть
type PortA = ...
type NonPortA = ...
type MsgB = PortB PortB | NonPortB NonPortB
type PortB = ...
type NonPortB = ...
type Msg
= MsgA MsgA
| MsgB MsgB
type PortMsg = PortA PortA | PortB PortB
PortMsg -> MsgMP
type MsgA = PortA PortA | NonPortA NonPortAНа порт нужно будет мапнуть
type PortA = ...
type NonPortA = ...
type MsgB = PortB PortB | NonPortB NonPortB
type PortB = ...
type NonPortB = ...
type Msg
= MsgA MsgA
| MsgB MsgB
type PortMsg = PortA PortA | PortB PortB
PortMsg -> Msgспасибо, есть над чем подумать. Думаю это то что нужно.
2020 August 17
MP
Хотите в A и B иметь отдельные сообщения для порта — заводите. И собирайте в отдельную сумму, используемую только для порта
думаю получилось, спасибо )
MP
вопрос, по remote data, структура ясна и понятна... стоит ли тащить этот пакет в проект, или можно самому использовать подобный тип и не добавлять зависимость:
type RemoteData e a
= NotAsked
| Loading
| Failure e
| Success a
MP
какие плюсы от использования уже готового пакета в случае с remoteData ?
AY
какие плюсы от использования уже готового пакета в случае с remoteData ?
Никаких. Там кода в пакете на 100 строк
DK
вопрос, по remote data, структура ясна и понятна... стоит ли тащить этот пакет в проект, или можно самому использовать подобный тип и не добавлять зависимость:
type RemoteData e a
= NotAsked
| Loading
| Failure e
| Success a
Никаких. Не используй его и свой не пиши
DK
До тех пор пока у тебя в модели одна такая ерунда - все в порядке. Как только две - уже сплошные проблемы.
DK
Исключение - не связанные никак сущности, например данные для разных страниц (при условии что для страницы нужны только эти данные и больше ничего)
DK
Но такое бывает редко
DK
А так представь что тебе надо написать вьюха от двух ремоут дата... а от трёх?
DK
На деле же у тебя в приложении есть определенный воркфлоу, когда одни данные не имеют смысла без других... вот этот воркфлоу и разрабатывай. Тебе нужно моделировать стейт своего приложения, а не Стэйт вэба
MP
Denis интересно, спасибо