Oracle.Types.ColumnInfo

Definitions

record ColumnInfo : Type

Totality: total
Visibility: public export
Constructor: 

MkColumnInfo : String -> OracleType -> Nat -> Bool -> ColumnInfo

Projections:

.name : ColumnInfo -> String

.nullable : ColumnInfo -> Bool

.oracletype : ColumnInfo -> OracleType

.size : ColumnInfo -> Nat

Hints:

Eq ColumnInfo

Ord ColumnInfo

Show ColumnInfo

.name : ColumnInfo -> String

Visibility: public export

name : ColumnInfo -> String

Visibility: public export

.oracletype : ColumnInfo -> OracleType

Visibility: public export

oracletype : ColumnInfo -> OracleType

Visibility: public export

.size : ColumnInfo -> Nat

Visibility: public export

size : ColumnInfo -> Nat

Visibility: public export

.nullable : ColumnInfo -> Bool

Visibility: public export

nullable : ColumnInfo -> Bool

Visibility: public export