Renamed to finos/morphir-elm. It is published under that name, and new versions come out there.
Versions published as Morgan-Stanley/morphir-elm still install under that name. 5 versions of 5 come from the new location (see their notes).
Rerouted (fork, verified). The original repository is gone. This copy comes from a fork that still has the tag. The Lamdera package server serves a copy recovered from https://github.com/maoo/morphir-elm (a fork).
What we checked: Rebuilt with git archive from commit 6ba86f1628e9 of https://github.com/maoo/morphir-elm (a fork) (zip prefix Morgan-Stanley-morphir-elm-0232fee/, America/Los_Angeles times): the zip is byte-identical to the one package.elm-lang.org recorded, SHA-1 5d2dd4431a6f31c5530102e5918acc363dd719e1.
The Lamdera compiler uses this copy and prints a one-line notice saying so. elm itself fails to download this version.
Details · package.elm-lang.org's zip: https://github.com/Morgan-Stanley/morphir-elm/zipball/1.1.0/
This module contains the building blocks of types in the Morphir IR.
Creates a type variable.
toIR a == variable [ "a" ] ()
toIR fooBar == variable [ "foo", "bar" ] ()Creates a fully-qualified reference to a type.
toIR (List Int)
== reference SDK.List.listType [ intType ]
toIR Foo.Bar
== reference
( [ [ "my" ], [ "lib" ] ], [ [ "foo" ] ], [ "bar" ] )
[]Creates a tuple type.
toIR ( Int, Bool )
== tuple [ basic intType, basic boolType ]Creates a record type.
toIR {} == record []
toIR { foo = Int }
== record
[ field [ "foo" ] SDK.Basics.intType
]
toIR { foo = Int, bar = Bool }
== record
[ field [ "foo" ] SDK.Basics.intType
, field [ "bar" ] SDK.Basics.boolType
]Creates an extensible record type.
toIR { e | foo = Int }
== extensibleRecord (variable [ "e" ])
[ field [ "foo" ] intType
]
toIR { f | foo = Int, bar = Bool }
== extensibleRecord (variable [ "f" ])
[ field [ "foo" ] intType
, field [ "bar" ] boolType
]Creates a function type. Use currying to create functions with more than one argument.
toIR (Int -> Bool) ==
function
SDK.Basics.intType
SDK.Basics.boolType
toIR (Int -> Bool -> Char) ==
function
intType
(function
SDK.Basics.boolType
SDK.Basics.charType
)An opaque representation of a field. It's made up of a name and a type.
Map the name of the field to get a new field.
Map the type of the field to get a new field.
This syntax represents a type definition. For example:
type alias Foo a = {bar : Maybe a, qux : Int}type MyList a = End | Cons a (MyList a)In the definition, the List Name refers to type parameters on the LHS
and Type extra refers to the RHS
An opaque representation of a type. Check out the docs for each building blocks for more details: