public override void PrettyPrint(TypePrettyPrinter typePrettyPrinter, StringBuilder stringBuilder, int level)
{
stringBuilder.Append("forall");
foreach (var variable in Arguments)
{
stringBuilder.Append(" " + typePrettyPrinter[variable]);
}
stringBuilder.Append(". ");
Inner.PrettyPrint(typePrettyPrinter, stringBuilder, 1);
}
public override void PrettyPrint(TypePrettyPrinter typePrettyPrinter, StringBuilder stringBuilder, int level)
{
if (level > 2)
{
stringBuilder.Append('(');
}
Argument.PrettyPrint(typePrettyPrinter, stringBuilder, 3);
stringBuilder.Append(" -> ");
Result.PrettyPrint(typePrettyPrinter, stringBuilder, 2);
if (level > 2)
{
stringBuilder.Append(')');
}
}
public override void PrettyPrint(TypePrettyPrinter typePrettyPrinter, StringBuilder stringBuilder, int level)
{
stringBuilder.Append('(');
if (Arguments.Count != 0)
{
Arguments[0].PrettyPrint(typePrettyPrinter, stringBuilder, 1);
foreach (var arg in Arguments.Skip(1))
{
stringBuilder.Append(", ");
arg.PrettyPrint(typePrettyPrinter, stringBuilder, 1);
}
}
stringBuilder.Append(')');
}
public override void PrettyPrint(TypePrettyPrinter typePrettyPrinter, StringBuilder stringBuilder, int level)
{
if (level > 4 && Arguments.Count > 0)
{
stringBuilder.Append('(');
}
stringBuilder.Append(Name);
foreach (var arg in Arguments)
{
stringBuilder.Append(' ');
arg.PrettyPrint(typePrettyPrinter, stringBuilder, 5);
}
if (level > 4 && Arguments.Count > 0)
{
stringBuilder.Append(')');
}
}
public override void PrettyPrint(TypePrettyPrinter typePrettyPrinter, StringBuilder stringBuilder, int level)
{
stringBuilder.Append("Int");
}
public override void PrettyPrint(TypePrettyPrinter typePrettyPrinter, StringBuilder stringBuilder, int level)
{
stringBuilder.Append(RigidName ?? typePrettyPrinter[this]);
}
public abstract void PrettyPrint(TypePrettyPrinter typePrettyPrinter, StringBuilder stringBuilder, int level);
