Minor refactor

This commit is contained in:
Iaroslav 2020-06-08 14:48:44 +07:00
parent c576e46020
commit 8f1cf0179a
No known key found for this signature in database
GPG Key ID: 46E15E4A31B3BCD7

View File

@ -51,9 +51,9 @@ open class FunctionalExpressionSpace<T>(val space: Space<T>) : Space<Expression<
operator fun T.minus(arg: Expression<T>): Expression<T> = arg - this operator fun T.minus(arg: Expression<T>): Expression<T> = arg - this
} }
open class FunctionalExpressionField<T>( open class FunctionalExpressionField<T>(val field: Field<T>) :
val field: Field<T> ExpressionField<T, Expression<T>>,
) : ExpressionField<T, Expression<T>>, FunctionalExpressionSpace<T>(field) { FunctionalExpressionSpace<T>(field) {
override val one: Expression<T> override val one: Expression<T>
get() = const(this.field.one) get() = const(this.field.one)