core/src/main/java/coffee/liz/lambda/ast/Expression.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

package coffee.liz.lambda.ast;

import lombok.NonNull;

import java.util.Optional;

/**
 * Represents an expression in the untyped lambda calculus.
 */
public sealed interface Expression
		permits Expression.AbstractionExpression, Expression.IdentifierExpression, Expression.ApplicationExpression {

	Optional<SourceComment> comment();

	SourceSpan span();

	record AbstractionExpression(@NonNull Optional<SourceComment> comment, @NonNull SourceSpan span,
			@NonNull String parameter, @NonNull Expression body) implements Expression {
	}

	record ApplicationExpression(@NonNull Optional<SourceComment> comment, @NonNull SourceSpan span,
			@NonNull Expression applicable, @NonNull Expression argument) implements Expression {
	}

	record IdentifierExpression(@NonNull Optional<SourceComment> comment, @NonNull SourceSpan span,
			@NonNull String name) implements Expression {
	}
}