Module

object Module
Companion:
class
class Object
trait Matchable
class Any
Module.type

Type members

Types

type Aux[Lang0[_[_], _], State0[_[_]]] = AuxL[Lang0] { type StateK = [K[_]] =>> State0[K]; }
type AuxL[Lang0[_[_], _]] = Module { type Lang = [K[_], A] =>> Lang0[K, A]; }