avail/avail.interpreter/Primitive/Fallibility

Fallibility

enum Fallibility : Enum<Primitive.Fallibility>

The actual fallibility of a fallible Primitive when invoked with arguments of specific types.

Entries

The fallible primitive may have the effect of invoking some function body, which makes it subject to reification while it runs. The call site should be prepared to produce a reified continuation if this happens.

CallSiteMustFail

CallSiteMustFail()

The fallible primitive must fail when invoked with arguments of the specified types.

CallSiteCanFail

CallSiteCanFail()

The fallible primitive can indeed fail when invoked with arguments of the specified types.

CallSiteCannotFail

CallSiteCannotFail()

The fallible primitive cannot fail when invoked with arguments of the specified types.

Properties

name

val name: String

ordinal

val ordinal: Int