
  0 | module Data.WithID
  1 | 
  2 | import Data.List.Quantifiers
  3 | import Derive.Sqlite3
  4 | 
  5 | %default total
  6 | %language ElabReflection
  7 | 
  8 | public export
  9 | record WithID (a : Type) where
 10 |   constructor MkWithID
 11 |   id    : Bits32
 12 |   value : a
 13 | 
 14 | %runElab derive "WithID" [Show,Eq,Ord,ToRow,FromRow]
 15 |