https://github.com/lue-bird/elm-syntax-type-infer

add types to elm-syntax
https://github.com/lue-bird/elm-syntax-type-infer

elm elm-syntax type-inference

Last synced: 8 days ago
JSON representation

add types to elm-syntax

• Host: GitHub
• URL: https://github.com/lue-bird/elm-syntax-type-infer
• Owner: lue-bird
• License: mit
• Created: 2024-11-24T17:39:07.000Z (2 months ago)
• Default Branch: main
• Last Pushed: 2024-12-21T18:40:57.000Z (about 1 month ago)
• Last Synced: 2025-01-24T00:48:40.828Z (9 days ago)
• Topics: elm, elm-syntax, type-inference
• Language: Elm
• Homepage: https://dark.elm.dmy.fr/packages/lue-bird/elm-syntax-type-infer/latest/
• Size: 160 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: changes.md
  • License: LICENSE

Awesome Lists containing this project

README

        
Add type information to the nodes

of an [elm-syntax](https://dark.elm.dmy.fr/packages/stil4m/elm-syntax/latest/) tree.

```elm

import Elm.Syntax.Node

import Elm.Syntax.Expression

import ElmSyntaxTypeInfer

[ { declaration =

        Elm.Syntax.Node.empty

            { expression =

                Elm.Syntax.Node.empty

                    (Elm.Syntax.Expression.ListExpr

                        [ Elm.Syntax.Node.empty

                            (Elm.Syntax.Expression.Integer 1)

                        ]

                    )

            , name = Elm.Syntax.Node.empty "majorVersions"

            , arguments = []

            }

  , signature = Nothing

  , documentation = Nothing

  }

]

    |> ElmSyntaxTypeInfer.valueOrFunctionDeclarations

        { importedTypes = ElmSyntaxTypeInfer.elmCoreTypes

        , moduleOriginLookup = exampleModuleOriginLookup

        , otherModuleDeclaredTypes =

            []

                |> ElmSyntaxTypeInfer.moduleDeclarationsToTypes

                    exampleModuleOriginLookup

                |> .types

        }

    |> Result.map (List.map .type_)

-->

Ok

    [ ElmSyntaxTypeInfer.TypeNotVariable

        (ElmSyntaxTypeInfer.TypeConstruct

            { moduleOrigin = [ "List" ]

            , name = "List"

            , arguments =

                [ ElmSyntaxTypeInfer.TypeVariable "number" ]

            }

        )

    ]

exampleModuleOriginLookup : ElmSyntaxTypeInfer.ModuleOriginLookup

exampleModuleOriginLookup =

    []

        |> ElmSyntaxTypeInfer.importsToModuleOriginLookup

            ElmSyntaxTypeInfer.elmCoreTypes

```

## TODO

-   add more tests, especially let-in

-   implement multi-expression-declarations type infer

-   (mutually) recursive type aliases can run into an infinite loop

-   type infer record type alias constructor function reference expression.

    Requires storing `Maybe (List String)` field order in module type alias declaration types

-   optimize equivalentVariablesMergeWithSetOf2, potentially de-optimize typedNodeReplaceTypeBy

### performance problems?

Right now, this can't handle medium to large files at an acceptable speed.