kyo-prelude
API
Generated with
kyo-prelude/kyo/kyo.kernel/Reducible

Reducible

kyo.kernel.Reducible
See theReducible companion trait
object Reducible extends LowPriorityReducibles

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Reducible.type

Members list

Type members

Classlikes

trait Eliminable[S]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object eliminateEnv

Types

type Aux[S, R] = Reducible[S] { type SReduced = R; }

Givens

Givens

inline given eliminate[S](using Eliminable[S]): Aux[S, Any]

Inherited givens

inline given irreducible[S]: Aux[S, S]

Attributes

Inherited from:
LowPriorityReducibles
Generated with