predicates

type AndImpl[T any] struct {
	// TODO: see if we can somehow order arbitrary predicats and store a sorted list
	Predicates []Predicate[T]
}

type EmptyImpl[T any] struct{}

type NotImpl[T any] struct {
	Predicate Predicate[T]
}

type OrImpl[T any] struct {
	// TODO: see if we can somehow order arbitrary predicats and store a sorted list
	Predicates []Predicate[T]
}

type Predicate[T any] interface {
	// Test checks if the given entity statisfy the predicate or not
	Test(T) bool

	// Equals recursively checks if the given Predicate has the same
	// structure and value as the caller Predicate
	// NOTE: the result will contain false negatives, meaning even if
	// two predicates are mathmatically equivalent, Equals may still
	// return false.
	Equals(Predicate[T]) bool
}

type UniversalImpl[T any] struct{}