public override void UnifyWithConnectedWireTypeAsNodeInput(VariableReference wireFacadeVariable, TerminalTypeUnificationResults unificationResults)
{
TypeVariableSet typeVariableSet = Terminal.GetTypeVariableSet();
ITypeUnificationResult inputUnificationResult = unificationResults.GetTypeUnificationResult(Terminal, TrueVariable.TypeVariableReference, wireFacadeVariable.TypeVariableReference);
typeVariableSet.Unify(TrueVariable.TypeVariableReference, wireFacadeVariable.TypeVariableReference, inputUnificationResult);
TrueVariable.MergeInto(wireFacadeVariable);
string constructorName;
TypeVariableReference innerType, optionType;
if (typeVariableSet.TryDecomposeConstructorType(TrueVariable.TypeVariableReference, out constructorName, out innerType) &&
constructorName == "Option")
{
optionType = TrueVariable.TypeVariableReference;
}
else
{
optionType = typeVariableSet.CreateReferenceToConstructorType("Option", TrueVariable.TypeVariableReference);
}
TypeVariableReference outputTypeReference = _outputTerminalFacade.TrueVariable.TypeVariableReference;
ITypeUnificationResult outputUnificationResult = unificationResults.GetTypeUnificationResult(_outputTerminalFacade.Terminal, outputTypeReference, optionType);
typeVariableSet.Unify(outputTypeReference, optionType, outputUnificationResult);
}
