func Filter[T any]()

in sg/internal/utils/container.go [13:21]


func Filter[T any](xs []T, pred func(T) bool) []T {
	ys := make([]T, 0)
	for _, x := range xs {
		if pred(x) {
			ys = append(ys, x)
		}
	}
	return ys
}