Morphir.IR

This module contains data structures and functions to make working with the IR easier and more efficient.

type alias IR =

{ valueSpecifications : Dict FQName (Specification ())

, typeSpecifications : Dict FQName (Specification ())

, typeConstructors :

Dict FQName ( FQName, List Name, List ( Name, Type () ) )

}

Data structure to store types and values efficiently.

Conversions

fromPackageSpecifications : Dict PackageName (Specification ()) -> IR

Turn a dictionary of package specifications into an IR.

fromDistribution : Distribution -> IR

Turn a Distribution into an IR. The Distribution data type is optimized for transfer while the IR data type is optimized for efficient in-memory processing.

Lookups

lookupTypeSpecification : FQName -> IR -> Maybe (Specification ())

Look up a type specification by fully-qualified name. Dependencies will be included in the search.

lookupTypeConstructor : FQName -> IR -> Maybe ( FQName, List Name, List ( Name, Type () ) )

Look up a type constructor by fully-qualified name. Dependencies will be included in the search. The function returns a tuple with the following elements:

The fully-qualified name of the type that this constructor belongs to.
The type arguments of the type.
The list of arguments (as name-type pairs) for this constructor.

lookupValueSpecification : FQName -> IR -> Maybe (Specification ())

Look up a value specification by fully-qualified name. Dependencies will be included in the search.

Utilities

empty : IR

Creates and empty IR with no types or values.

finos/morphir-elm/11.1.0

Morphir.IR

Conversions

Lookups

Utilities

Modules