
  0 | module Oracle.Types.ColumnInfo
  1 | 
  2 | import Derive.Prelude
  3 | import Oracle.Types.OracleType
  4 | 
  5 | %language ElabReflection
  6 | 
  7 | public export
  8 | record ColumnInfo where
  9 |   constructor MkColumnInfo
 10 |   name       : String
 11 |   oracletype : OracleType
 12 |   size       : Nat
 13 |   nullable   : Bool
 14 | 
 15 | %runElab derive "ColumnInfo" [Eq,Ord,Show]
 16 |