在 Elm 中，有没有办法合并联合类型？ （出于模块化目的）

Question

从这三个声明开始：

type SharedMsg
   = SharedAction

type Page1Msg
   = Page1Action

type Page2Msg
   = Page2Action

我有办法获得以下等效项吗？喜欢“合并”联合类型的方法吗？

type Msg
   = SharedAction
   | Page1Action
   | Page2Action

==============================

上下文：我将 Elm 应用程序拆分为每页一个模块，每个模块都有自己的文件夹。

有些动作是共享的，有些动作是特定于页面的。

如果我要使用Html.map 方法，我觉得我必须重写页面在其自己的PageMsg 消息类型中使用的每个共享操作：

type Page1Msg
   = Page1Action
   | SharedAction

type Msg
   = Page1Msg Page1Msg
   | Page2Msg Page2Msg

view : Model -> Html Msg
view =
   Html.map Page1Msg (Page1View.view model)

因此我想为所有页面使用唯一的 Msg 类型，但通过在它们自己的文件夹中写入特定于页面的消息来保持模块化，然后通过合并它们以某种方式定义唯一的 Msg 类型。

Answer 1

@z5h 的回答几乎是正确的，但类型构造函数必须有不同的名称。

您无法按照自己的方式合并类型。

至于惯用方式：您可以将拆分类型命名为 Msg，而不是 Page1Msg。所以，例如：

Page1.elm：

module Page1 exposing (Msg)

type Msg
  = Foo

Page2.elm：

module Page2 exposing (Msg)

type Msg
  = Bar

Shared.elm：

module Shared exposing (Msg)

type Msg
  = Baz

Main.elm：

module Main exposing (..)

import Shared
import Page1
import Page2

type Msg
  = SomethingCustom
  | SharedMsg Shared.Msg
  | Page1Msg Page1.Msg
  | Page2Msg Page2.Msg

---

顺便记住，如果你把模块拆分成Page1.View、Page1.Types等，那么只要暴露的功能不重叠，就可以导入不同的同名模块，即：

import Page1.Types as Page1
import Page1.State as Page1
import Page1.View as Page1
import Page1.Decoders as Page1

Answer 2

不要忘记，您绝对没有义务完全按照基本示例中的更新视图定义进行操作。在您的情况下，您可以根据需要调整更新功能

在父母那里怎么样：

update message model = 
    let 
        sharedMsgs = 
            { msg1 = Msg1 
            , msg2 = Msg2 
            }

    in case message of
        Page1Msg msg ->
            let (m, c) =
                update sharedMsgs msg model.page1
            in case c of 
                Nothing ->
                    m 
                Just c ->
                    update c m

page1 中的更新函数有签名的地方

update : SharedMessages msg -> Msg -> Page1Model -> (Page1Model, Maybe msg)

Answer 3

问题是，你说过：

type SharedMsg
   = SharedAction

所以我们知道SharedAction 的类型是SharedMsg。
但是你说：

type Msg
   = SharedAction
   | Page1Action
   | Page2Action

所以现在矛盾了，SharedAction 是 Msg。

解决这个问题的简单方法是：

type Msg
   = Msg SharedMsg
   | Msg Page1Msg
   | Msg Page2Msg

即Msg 是一个构造函数，其实例为Msg 类型，可以具有以下值。