Skip to content

Commit

Permalink
expose DerivedTypeSpecificationDetails
Browse files Browse the repository at this point in the history
  • Loading branch information
bekand committed Oct 25, 2023
1 parent 8e2a4b6 commit 78328b0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/Morphir/IR/Type.elm
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -109,7 +109,7 @@ Here is the full definition for reference:
# Specification
@docs Specification, typeAliasSpecification, opaqueTypeSpecification, customTypeSpecification
@docs Specification, typeAliasSpecification, opaqueTypeSpecification, customTypeSpecification, DerivedTypeSpecificationDetails
# Definition
Expand Down

0 comments on commit 78328b0

Please sign in to comment.