From e82cc4893105a205570ddd43fc345a907db22835 Mon Sep 17 00:00:00 2001 From: "Daniel A. Bekan" Date: Wed, 25 Oct 2023 13:24:36 +0200 Subject: [PATCH] expose DerivedTypeSpecificationDetails --- src/Morphir/IR/Type.elm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/Morphir/IR/Type.elm b/src/Morphir/IR/Type.elm index 97a32e0fe..55d85e6c5 100644 --- a/src/Morphir/IR/Type.elm +++ b/src/Morphir/IR/Type.elm @@ -23,7 +23,7 @@ module Morphir.IR.Type exposing , Definition(..), typeAliasDefinition, customTypeDefinition, definitionToSpecification, definitionToSpecificationWithPrivate , Constructors, Constructor, ConstructorArgs , mapTypeAttributes, mapSpecificationAttributes, mapDefinitionAttributes, mapDefinition, typeAttributes - , eraseAttributes, collectVariables, collectReferences, collectReferencesFromDefintion, substituteTypeVariables, toString + , eraseAttributes, collectVariables, collectReferences, collectReferencesFromDefintion, substituteTypeVariables, toString, DerivedTypeSpecificationDetails ) {-| Like any other programming languages Morphir has a type system as well. This module defines the building blocks of @@ -109,7 +109,7 @@ Here is the full definition for reference: # Specification -@docs Specification, typeAliasSpecification, opaqueTypeSpecification, customTypeSpecification +@docs Specification, typeAliasSpecification, opaqueTypeSpecification, customTypeSpecification, DerivedTypeSpecificationDetails # Definition @@ -240,7 +240,8 @@ type Specification a | CustomTypeSpecification (List Name) (Constructors a) | DerivedTypeSpecification (List Name) (DerivedTypeSpecificationDetails a) - +{-| Details of the base type of a Derived Type +-} type alias DerivedTypeSpecificationDetails a = { baseType : Type a , fromBaseType : FQName