libretto/libretto/CrashLib

CrashLib

class CrashLib[DSL <: CrashDSL, Lib <: CoreLib[DSL]](val dsl: DSL, val lib: Lib & CoreLib[DSL])
Companion
object
class Object
trait Matchable
class Any

Value members

Concrete methods

def crashNeg[A](msg: String)(A: Negative[A]): A -⚬ A
def crashPos[A](msg: String)(A: Positive[A]): A -⚬ A

Concrete fields

val dsl: DSL
val lib: Lib & CoreLib[DSL]