kotlingrad/ai.hypergraph.kotlingrad.typelevel.arity/Ex

Ex

open class Ex<V1 : XO, V2 : XO, V3 : XO>(val op: <Error class: unknown class>? = null, val name: String? = null, val exs: Ex<*, *, *>) : IEx<Ex<*, *, *>> (source)

Inheritors

Constructors

Link copied to clipboard
constructor(op: <Error class: unknown class>? = null, name: String? = null, vararg exs: Ex<*, *, *>)

Properties

Link copied to clipboard
open override val exs: Array<out Ex<*, *, *>>
Link copied to clipboard
open override val name: String? = null
Link copied to clipboard
open override val op: <Error class: unknown class>? = null

Functions

Link copied to clipboard
open override fun apply(me: Ex<*, *, *>, that: Ex<*, *, *>): Ex<out XO, out XO, out XO>
Link copied to clipboard
open fun <N : Number> call(vararg vrb: VrB<N>): N
Link copied to clipboard
operator fun <N : Number, V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.div(n: N): Ex<V0, V1, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.div(e: OOO): Ex<V0, V1, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.div(e: OOX): Ex<V0, V1, XX>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.div(e: OXO): Ex<V0, XX, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.div(e: OXX): Ex<V0, XX, XX>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.div(e: XOO): Ex<XX, V1, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.div(e: XOX): Ex<XX, V1, XX>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.div(e: XXO): Ex<XX, XX, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.div(e: XXX): Ex<XX, XX, XX>
Link copied to clipboard
open operator fun getValue(n: Nothing?, property: KProperty<*>): Ex<V1, V2, V3>
Link copied to clipboard
open fun <N : Number, Q> inv(vararg bnds: VrB<N>): Q
Link copied to clipboard
operator fun <N : Number> OOX.invoke(v3: V3Bnd<N>): N
operator fun <N : Number> OXO.invoke(v2: V2Bnd<N>): N
operator fun <N : Number> OXX.invoke(v2: V2Bnd<N>): Ex<OO, OO, XX>
operator fun <N : Number> OXX.invoke(v3: V3Bnd<N>): Ex<OO, XX, OO>
operator fun <N : Number> XOO.invoke(v1: V1Bnd<N>): N
operator fun <N : Number> XOX.invoke(v1: V1Bnd<N>): Ex<OO, OO, XX>
operator fun <N : Number> XOX.invoke(v3: V3Bnd<N>): Ex<XX, OO, OO>
operator fun <N : Number> XXO.invoke(v1: V1Bnd<N>): Ex<OO, XX, OO>
operator fun <N : Number> XXO.invoke(v2: V2Bnd<N>): Ex<XX, OO, OO>
operator fun <N : Number> XXX.invoke(v1: V1Bnd<N>): Ex<OO, XX, XX>
operator fun <N : Number> XXX.invoke(v2: V2Bnd<N>): Ex<XX, OO, XX>
operator fun <N : Number> XXX.invoke(v3: V3Bnd<N>): Ex<XX, XX, OO>
operator fun <N : Number> OXX.invoke(v2: V2Bnd<N>, v3: V3Bnd<N>): N
operator fun <N : Number> XOX.invoke(v1: V1Bnd<N>, v3: V3Bnd<N>): N
operator fun <N : Number> XXO.invoke(v1: V1Bnd<N>, v2: V2Bnd<N>): N
operator fun <N : Number> XXX.invoke(v1: V1Bnd<N>, v2: V2Bnd<N>): Ex<OO, OO, XX>
operator fun <N : Number> XXX.invoke(v1: V1Bnd<N>, v3: V3Bnd<N>): Ex<OO, XX, OO>
operator fun <N : Number> XXX.invoke(v2: V2Bnd<N>, v3: V3Bnd<N>): Ex<XX, OO, OO>
operator fun <N : Number> XXX.invoke(v1: V1Bnd<N>, v2: V2Bnd<N>, v3: V3Bnd<N>): N
Link copied to clipboard
operator fun <N : Number, V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.minus(n: N): Ex<V0, V1, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.minus(e: OOO): Ex<V0, V1, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.minus(e: OOX): Ex<V0, V1, XX>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.minus(e: OXO): Ex<V0, XX, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.minus(e: OXX): Ex<V0, XX, XX>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.minus(e: XOO): Ex<XX, V1, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.minus(e: XOX): Ex<XX, V1, XX>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.minus(e: XXO): Ex<XX, XX, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.minus(e: XXX): Ex<XX, XX, XX>
Link copied to clipboard
operator fun <N : Number, V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.plus(n: N): Ex<V0, V1, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.plus(e: OOX): Ex<V0, V1, XX>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.plus(e: OXO): Ex<V0, XX, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.plus(e: OXX): Ex<V0, XX, XX>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.plus(e: XOO): Ex<XX, V1, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.plus(e: XOX): Ex<XX, V1, XX>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.plus(e: XXO): Ex<XX, XX, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.plus(e: XXX): Ex<XX, XX, XX>

operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.plus(e: OOO): Ex<V0, V1, V2>

The following code is a type-level encoding of the 3-element graded poset.

Link copied to clipboard
operator fun <N : Number, V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.times(n: N): Ex<V0, V1, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.times(e: OOO): Ex<V0, V1, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.times(e: OOX): Ex<V0, V1, XX>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.times(e: OXO): Ex<V0, XX, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.times(e: OXX): Ex<V0, XX, XX>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.times(e: XOO): Ex<XX, V1, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.times(e: XOX): Ex<XX, V1, XX>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.times(e: XXO): Ex<XX, XX, V2>
operator fun <V0 : XO, V1 : XO, V2 : XO> Ex<V0, V1, V2>.times(e: XXX): Ex<XX, XX, XX>
Link copied to clipboard
open override fun toString(): <Error class: unknown class>