Oracle.Types.ConnectInfo

Definitions

record ConnectInfo : Type

  Connection information required to establish
  a connection to an Oracle database.
  

Totality: total
Visibility: public export
Constructor: 

MkConnectInfo : String -> String -> String -> Nat -> String -> ConnectInfo

Projections:

.host : ConnectInfo -> String

.password : ConnectInfo -> String

.port : ConnectInfo -> Nat

.service : ConnectInfo -> String

.username : ConnectInfo -> String

Hints:

Eq ConnectInfo

Ord ConnectInfo

Show ConnectInfo

.username : ConnectInfo -> String

Visibility: public export

username : ConnectInfo -> String

Visibility: public export

.password : ConnectInfo -> String

Visibility: public export

password : ConnectInfo -> String

Visibility: public export

.host : ConnectInfo -> String

Visibility: public export

host : ConnectInfo -> String

Visibility: public export

.port : ConnectInfo -> Nat

Visibility: public export

port : ConnectInfo -> Nat

Visibility: public export

.service : ConnectInfo -> String

Visibility: public export

service : ConnectInfo -> String

Visibility: public export