System.UV.Data.RunMode

Definitions

data RunMode : Type

Totality: total
Visibility: public export
Constructors:

Default : RunMode

Once : RunMode

NoWait : RunMode

Hints:

Eq RunMode

Show RunMode

toCode : RunMode -> Bits32

Totality: total
Visibility: export