
  0 | module Oracle.Types.ConnectInfo
  1 | 
  2 | import Derive.Prelude
  3 | 
  4 | %language ElabReflection
  5 | 
  6 | ||| Connection information required to establish
  7 | ||| a connection to an Oracle database.
  8 | |||
  9 | public export
 10 | record ConnectInfo where
 11 |   constructor MkConnectInfo
 12 |   username : String
 13 |   password : String
 14 |   host     : String
 15 |   port     : Nat
 16 |   service  : String
 17 | 
 18 | %runElab derive "ConnectInfo" [Eq,Ord,Show]
 19 |