digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-19 16:57:40 +03:00
Code Issues Projects Releases Wiki Activity

hide unresolved/resolved states in lf/interface library (#14115)

Browse Source 
CHANGELOG_BEGIN
CHANGELOG_END
This commit is contained in:
Stephen Compall 2022-06-08 09:44:56 -04:00 committed by GitHub
parent 56096652e9
commit 1d20cbf887
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
daml-lf/interface/src/main/scala/com/digitalasset/daml/lf/iface/DefDataType.scala
View File

@ -276,7 +276,7 @@ sealed abstract class TemplateChoices[+Ty] extends Product with Serializable {
/** Coerce to [[Resolved]] based on the environment `astInterfaces`, or fail
* with the choices that could not be resolved.
*/
def resolveChoices[O >: Ty](
private[iface] def resolveChoices[O >: Ty](
astInterfaces: PartialFunction[Ref.TypeConName, DefInterface[O]]
): Either[ResolveError[Resolved[O]], Resolved[O]] = this match {
case Unresolved(direct, unresolved) =>
@ -323,7 +323,7 @@ object TemplateChoices {
copy(partialResolution = f(partialResolution))
}
final case class Unresolved[+Ty](
private[iface] final case class Unresolved[+Ty](
directChoices: Map[Ref.ChoiceName, TemplateChoice[Ty]],
unresolvedChoiceSources: NonEmpty[Set[Ref.TypeConName]],
) extends TemplateChoices[Ty] {
@ -336,7 +336,7 @@ object TemplateChoices {
) =
directChoices transform ((_, c) => NonEmpty(Map, (none[Ref.TypeConName], c)))
final case class Resolved[+Ty](
private[iface] final case class Resolved[+Ty](
resolvedChoices: Map[Ref.ChoiceName, NonEmpty[
Map[Option[Ref.TypeConName], TemplateChoice[Ty]]
]]