
  0 | module System.UV.Data.RunMode
  1 | 
  2 | import Derive.Prelude
  3 | 
  4 | %language ElabReflection
  5 | %default total
  6 | 
  7 | public export
  8 | data RunMode : Type where
  9 |   Default : RunMode
 10 |   Once    : RunMode
 11 |   NoWait  : RunMode
 12 | 
 13 | %runElab derive "RunMode" [Show,Eq]
 14 | 
 15 | export
 16 | toCode : RunMode -> Bits32
 17 | toCode Default = 0
 18 | toCode Once = 1
 19 | toCode NoWait = 2
 20 |