
  0 | module Oracle.Types.BindParameter
  1 | 
  2 | import Derive.Prelude
  3 | import Oracle.Types.Value
  4 | 
  5 | %language ElabReflection
  6 | 
  7 | ||| Named bind parameter.
  8 | |||
  9 | ||| Example:
 10 | |||
 11 | ||| :dept is represented as MkBindParameter "dept" (OracleInt 10)
 12 | |||
 13 | public export
 14 | record BindParameter where
 15 |   constructor MkBindParameter
 16 |   name  : String
 17 |   value : OracleValue
 18 | 
 19 | %runElab derive "BindParameter" [Eq,Ord,Show]
 20 |