elm-syntax-dslでコード生成

elm-designerを眺めていたらthe-sett/elm-syntax-dslをコード生成に使っているなぁってなって興味を持ちました

https://github.com/passiomatic/elm-designer/blob/master/elm.json

the-sett/elm-syntax-dslはstil4m/elm-syntaxをシンプルに使いやすくしたよ！って感じらしいです（elm-syntaxの方を使ったことが無いので比較できませんが...）

https://package.elm-lang.org/packages/the-sett/elm-syntax-dsl/latest/

結構ボリュームがあり、使っている中でこんがらがってきたのでスクラップに少しずつまとめていきます

Commentは多分生成させないと思うので省きます

基本はfileを作ってprettyすることでStringになるみたいです

https://ellie-app.com/cHb8rdkpkmqa1

• pretty

https://package.elm-lang.org/packages/the-sett/elm-syntax-dsl/latest/Elm-Pretty#pretty

• file

https://package.elm-lang.org/packages/the-sett/elm-syntax-dsl/latest/Elm-CodeGen#file

Elm.PrettyにはprepareLayoutというものもありthe-sett/elm-pretty-printerと連携させることもできるみたいです

https://package.elm-lang.org/packages/the-sett/elm-pretty-printer/latest/

File

https://package.elm-lang.org/packages/the-sett/elm-syntax-dsl/latest/Elm-CodeGen#File

Fileはfileで生成できます

file :
    Module
    -> List Import
    -> List Declaration
    -> Maybe (Comment FileComment)
    -> File

こんな感じでモジュール、モジュールの読み込み(複数可)、実際のコード（複数可）、コメントがそれぞれ引数になってる感じです

https://package.elm-lang.org/packages/the-sett/elm-syntax-dsl/latest/Elm-CodeGen#file

fileで最小なのはこんな感じだと思います

file (normalModule [] []) [] [] Nothing

https://ellie-app.com/cHbqzrVd7YWa1

Module

Moduleを生成する関数はnormalModuleとportModuleです

normalModule : ModuleName -> List TopLevelExpose -> Module
portModule : ModuleName -> List TopLevelExpose -> Module

こんな感じでportが付くかつかないかです
List TopLevelExposeは空([])にすることで(..)が出力されます

https://ellie-app.com/cHbTrbQqbvRa1
https://ellie-app.com/cHbTBFbZSbTa1

ModuleName

ModuleNameはList Stringのaliasになってます

type alias ModuleName =
    List String

https://package.elm-lang.org/packages/the-sett/elm-syntax-dsl/latest/Elm-CodeGen#ModuleName

ModuleNameはピリオドで連結してくれます

normalModule  ["Element", "Generate", "Colors"] []

https://ellie-app.com/cHdQVv7xQSGa1

小文字も入ってしまうので別途バリデーションが必要かもしれません

normalModule  ["element", "generate", "colors"] []

TopLevelExpose

TopLevelExposeを生成する関数はclosedTypeExpose, funExpose, openTypeExpose, typeOrAliasExposeの４つです

closedTypeExpose

https://ellie-app.com/cHLPbknncf7a1

カスタム型にはopenTypeExposeが使えます

https://ellie-app.com/cHLVLDCf6FHa1

Import

ImportはimportStmtで生成できます

importStmt : ModuleName -> Maybe ModuleName -> Maybe Exposing -> Import

Declaration

Elmガイドの例を使って書いていこうと思います

型エイリアス

型エイリアスにはaliasDeclが使えます

type alias User =
    { name : String
    , age : Int
    }

はこんな感じでできます

aliasDecl Nothing "User" [] <|
    recordAnn
        [ ( "name", stringAnn )
        , ( "age", intAnn )
        ]

https://package.elm-lang.org/packages/the-sett/elm-syntax-dsl/latest/Elm-CodeGen#aliasDecl

カスタム型(customTypeDecl)