访问联盟在Elm中声明模块之外的类型

Question

特定

--module 1
module Module1 exposing (Message) where

type Message
  = Test String
  | Error Int


--module 2
module Module2 exposing (sayTest, sayError) where

import Module1 exposing (Message)

sayTest : String -> Message
sayTest msg =
  Test msg  --error

sayError : Int -> Message
sayError code =
  Error code --error


processMessage : Message -> String
processMessage msg ->
  case msg of
    Test s -> s
    Error i -> toString i

我如何访问Test和Error从模块2 访问？

目前,我必须在模块1中创建函数,当被调用时将创建所需的实例,但随着列表越来越长,这变得不切实际.

Answer 1

您可以为导出的类型公开所有类型构造函数,如下所示:

module Module1 (Message (..)) where

或者,如果您只想导出几个类型构造函数,可以单独调用它们:

module Module1 (Message (Test, Error)) where

type Message
  = Test String
  | Error Int
  | Foo String
  | Bar

在上面的代码中,Foo和Bar构造函数对模块保持私有.