asResultToProp

given asResultToProp[R]: Conversion[R, Prop]

Value members

Concrete methods

def apply(r: R): Prop

Inherited methods

@unspecialized
def andThen[A](g: Prop => A): R => A
Inherited from
Function1
@unspecialized
def compose[A](g: A => R): A => Prop
Inherited from
Function1
override def toString(): String
Definition Classes
Function1 -> Any
Inherited from
Function1

Extensions

Inherited extensions

extension (x: T)
def convert: Prop

x.convert converts a value x of type T to type U

x.convert converts a value x of type T to type U

Inherited from
Conversion