Diff an Elm.Type.Type
areEquivalent : ( { type_ : Elm.Type.Type, parameters : List String }, { type_ : Elm.Type.Type, parameters : List String } ) -> Basics.Bool
Are both Elm.Type.Type
s equal?
Put parameters = []
for value/function/port declaration types
otherwise provide the variable names after the declared name for type
/type alias
declarations.
variable : { old : String, new : String } -> Elm.SemanticMagnitude.Magnitude
Reminder: Emulates elm diff
behaviour and therefore explicitly emulates its errors:
removing all constraints is considered a patch change, even though it removed capabilities and will break your code on upgrade
changing constrained variables always trigger a major version bump, with the only exception being
number -> comparable
which should actually be major.
you will not see minor magnitudes as results because elm considers
even e.g. variable -> number
a patch change, even though the resulting type gives you more possibilities.