databasemetadata

Type Members

type DatabaseMetaDataIO[A] = Free[[x]Coyoneda[DatabaseMetaDataOp, x], A]

Free monad over a free functor of DatabaseMetaDataOp; abstractly, a computation that consumes a java.sql.DatabaseMetaData and produces a value of type A.
implicit class DatabaseMetaDataIOOps[A] extends AnyRef

Syntax for DatabaseMetaDataIO.
sealed trait DatabaseMetaDataOp[A] extends AnyRef

Sum type of primitive operations over a java.sql.DatabaseMetaData.

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
implicit val CaptureDatabaseMetaDataIO: Capture[DatabaseMetaDataIO]

Capture instance for DatabaseMetaDataIO.
implicit val CatchableDatabaseMetaDataIO: Catchable[DatabaseMetaDataIO]

Catchable instance for DatabaseMetaDataIO.
object DatabaseMetaDataOp

Module of constructors for DatabaseMetaDataOp.
Module of constructors for DatabaseMetaDataOp. These are rarely useful outside of the implementation; prefer the smart constructors provided by the databasemetadata module.
implicit val MonadDatabaseMetaDataIO: Monad[DatabaseMetaDataIO]

Monad instance for DatabaseMetaDataIO (can't be inferred).
val allProceduresAreCallable: DatabaseMetaDataIO[Boolean]
val allTablesAreSelectable: DatabaseMetaDataIO[Boolean]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def attempt[A](a: DatabaseMetaDataIO[A]): DatabaseMetaDataIO[\/[Throwable, A]]

Lift a DatabaseMetaDataIO[A] into an exception-capturing DatabaseMetaDataIO[Throwable \/ A].
val autoCommitFailureClosesAllResultSets: DatabaseMetaDataIO[Boolean]
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val dataDefinitionCausesTransactionCommit: DatabaseMetaDataIO[Boolean]
val dataDefinitionIgnoredInTransactions: DatabaseMetaDataIO[Boolean]
def delay[A](a: ⇒ A): DatabaseMetaDataIO[A]

Non-strict unit for capturing effects.
def deletesAreDetected(a: Int): DatabaseMetaDataIO[Boolean]
val doesMaxRowSizeIncludeBlobs: DatabaseMetaDataIO[Boolean]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
val generatedKeyAlwaysReturned: DatabaseMetaDataIO[Boolean]
def getAttributes(a: String, b: String, c: String, d: String): DatabaseMetaDataIO[ResultSet]
def getBestRowIdentifier(a: String, b: String, c: String, d: Int, e: Boolean): DatabaseMetaDataIO[ResultSet]
val getCatalogSeparator: DatabaseMetaDataIO[String]
val getCatalogTerm: DatabaseMetaDataIO[String]
val getCatalogs: DatabaseMetaDataIO[ResultSet]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
val getClientInfoProperties: DatabaseMetaDataIO[ResultSet]
def getColumnPrivileges(a: String, b: String, c: String, d: String): DatabaseMetaDataIO[ResultSet]
def getColumns(a: String, b: String, c: String, d: String): DatabaseMetaDataIO[ResultSet]
val getConnection: DatabaseMetaDataIO[Connection]
def getCrossReference(a: String, b: String, c: String, d: String, e: String, f: String): DatabaseMetaDataIO[ResultSet]
val getDatabaseMajorVersion: DatabaseMetaDataIO[Int]
val getDatabaseMinorVersion: DatabaseMetaDataIO[Int]
val getDatabaseProductName: DatabaseMetaDataIO[String]
val getDatabaseProductVersion: DatabaseMetaDataIO[String]
val getDefaultTransactionIsolation: DatabaseMetaDataIO[Int]
val getDriverMajorVersion: DatabaseMetaDataIO[Int]
val getDriverMinorVersion: DatabaseMetaDataIO[Int]
val getDriverName: DatabaseMetaDataIO[String]
val getDriverVersion: DatabaseMetaDataIO[String]
def getExportedKeys(a: String, b: String, c: String): DatabaseMetaDataIO[ResultSet]
val getExtraNameCharacters: DatabaseMetaDataIO[String]
def getFunctionColumns(a: String, b: String, c: String, d: String): DatabaseMetaDataIO[ResultSet]
def getFunctions(a: String, b: String, c: String): DatabaseMetaDataIO[ResultSet]
val getIdentifierQuoteString: DatabaseMetaDataIO[String]
def getImportedKeys(a: String, b: String, c: String): DatabaseMetaDataIO[ResultSet]
def getIndexInfo(a: String, b: String, c: String, d: Boolean, e: Boolean): DatabaseMetaDataIO[ResultSet]
val getJDBCMajorVersion: DatabaseMetaDataIO[Int]
val getJDBCMinorVersion: DatabaseMetaDataIO[Int]
val getMaxBinaryLiteralLength: DatabaseMetaDataIO[Int]
val getMaxCatalogNameLength: DatabaseMetaDataIO[Int]
val getMaxCharLiteralLength: DatabaseMetaDataIO[Int]
val getMaxColumnNameLength: DatabaseMetaDataIO[Int]
val getMaxColumnsInGroupBy: DatabaseMetaDataIO[Int]
val getMaxColumnsInIndex: DatabaseMetaDataIO[Int]
val getMaxColumnsInOrderBy: DatabaseMetaDataIO[Int]
val getMaxColumnsInSelect: DatabaseMetaDataIO[Int]
val getMaxColumnsInTable: DatabaseMetaDataIO[Int]
val getMaxConnections: DatabaseMetaDataIO[Int]
val getMaxCursorNameLength: DatabaseMetaDataIO[Int]
val getMaxIndexLength: DatabaseMetaDataIO[Int]
val getMaxProcedureNameLength: DatabaseMetaDataIO[Int]
val getMaxRowSize: DatabaseMetaDataIO[Int]
val getMaxSchemaNameLength: DatabaseMetaDataIO[Int]
val getMaxStatementLength: DatabaseMetaDataIO[Int]
val getMaxStatements: DatabaseMetaDataIO[Int]
val getMaxTableNameLength: DatabaseMetaDataIO[Int]
val getMaxTablesInSelect: DatabaseMetaDataIO[Int]
val getMaxUserNameLength: DatabaseMetaDataIO[Int]
val getNumericFunctions: DatabaseMetaDataIO[String]
def getPrimaryKeys(a: String, b: String, c: String): DatabaseMetaDataIO[ResultSet]
def getProcedureColumns(a: String, b: String, c: String, d: String): DatabaseMetaDataIO[ResultSet]
val getProcedureTerm: DatabaseMetaDataIO[String]
def getProcedures(a: String, b: String, c: String): DatabaseMetaDataIO[ResultSet]
def getPseudoColumns(a: String, b: String, c: String, d: String): DatabaseMetaDataIO[ResultSet]
val getResultSetHoldability: DatabaseMetaDataIO[Int]
val getRowIdLifetime: DatabaseMetaDataIO[RowIdLifetime]
val getSQLKeywords: DatabaseMetaDataIO[String]
val getSQLStateType: DatabaseMetaDataIO[Int]
val getSchemaTerm: DatabaseMetaDataIO[String]
def getSchemas(a: String, b: String): DatabaseMetaDataIO[ResultSet]
val getSchemas: DatabaseMetaDataIO[ResultSet]
val getSearchStringEscape: DatabaseMetaDataIO[String]
val getStringFunctions: DatabaseMetaDataIO[String]
def getSuperTables(a: String, b: String, c: String): DatabaseMetaDataIO[ResultSet]
def getSuperTypes(a: String, b: String, c: String): DatabaseMetaDataIO[ResultSet]
val getSystemFunctions: DatabaseMetaDataIO[String]
def getTablePrivileges(a: String, b: String, c: String): DatabaseMetaDataIO[ResultSet]
val getTableTypes: DatabaseMetaDataIO[ResultSet]
def getTables(a: String, b: String, c: String, d: Array[String]): DatabaseMetaDataIO[ResultSet]
val getTimeDateFunctions: DatabaseMetaDataIO[String]
val getTypeInfo: DatabaseMetaDataIO[ResultSet]
def getUDTs(a: String, b: String, c: String, d: Array[Int]): DatabaseMetaDataIO[ResultSet]
val getURL: DatabaseMetaDataIO[String]
val getUserName: DatabaseMetaDataIO[String]
def getVersionColumns(a: String, b: String, c: String): DatabaseMetaDataIO[ResultSet]
def hashCode(): Int

Definition Classes
AnyRef → Any
def insertsAreDetected(a: Int): DatabaseMetaDataIO[Boolean]
def interpK[M[_]](implicit arg0: Monad[M], arg1: Catchable[M], arg2: Capture[M]): ~>[DatabaseMetaDataOp, [γ]Kleisli[M, DatabaseMetaData, γ]]

Natural transformation from DatabaseMetaDataOp to Kleisli for the given M, consuming a java.sql.DatabaseMetaData.
val isCatalogAtStart: DatabaseMetaDataIO[Boolean]
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val isReadOnly: DatabaseMetaDataIO[Boolean]
def isWrapperFor(a: Class[_]): DatabaseMetaDataIO[Boolean]
def lift[Op[_], A, J](j: J, action: FreeC[Op, A])(implicit mod: Aux[Op, J]): DatabaseMetaDataIO[A]

Lift a different type of program that has a default Kleisli interpreter.
val locatorsUpdateCopy: DatabaseMetaDataIO[Boolean]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val nullPlusNonNullIsNull: DatabaseMetaDataIO[Boolean]
val nullsAreSortedAtEnd: DatabaseMetaDataIO[Boolean]
val nullsAreSortedAtStart: DatabaseMetaDataIO[Boolean]
val nullsAreSortedHigh: DatabaseMetaDataIO[Boolean]
val nullsAreSortedLow: DatabaseMetaDataIO[Boolean]
def othersDeletesAreVisible(a: Int): DatabaseMetaDataIO[Boolean]
def othersInsertsAreVisible(a: Int): DatabaseMetaDataIO[Boolean]
def othersUpdatesAreVisible(a: Int): DatabaseMetaDataIO[Boolean]
def ownDeletesAreVisible(a: Int): DatabaseMetaDataIO[Boolean]
def ownInsertsAreVisible(a: Int): DatabaseMetaDataIO[Boolean]
def ownUpdatesAreVisible(a: Int): DatabaseMetaDataIO[Boolean]
def raw[A](f: (DatabaseMetaData) ⇒ A): DatabaseMetaDataIO[A]

Backdoor for arbitrary computations on the underlying DatabaseMetaData.
val storesLowerCaseIdentifiers: DatabaseMetaDataIO[Boolean]
val storesLowerCaseQuotedIdentifiers: DatabaseMetaDataIO[Boolean]
val storesMixedCaseIdentifiers: DatabaseMetaDataIO[Boolean]
val storesMixedCaseQuotedIdentifiers: DatabaseMetaDataIO[Boolean]
val storesUpperCaseIdentifiers: DatabaseMetaDataIO[Boolean]
val storesUpperCaseQuotedIdentifiers: DatabaseMetaDataIO[Boolean]
val supportsANSI92EntryLevelSQL: DatabaseMetaDataIO[Boolean]
val supportsANSI92FullSQL: DatabaseMetaDataIO[Boolean]
val supportsANSI92IntermediateSQL: DatabaseMetaDataIO[Boolean]
val supportsAlterTableWithAddColumn: DatabaseMetaDataIO[Boolean]
val supportsAlterTableWithDropColumn: DatabaseMetaDataIO[Boolean]
val supportsBatchUpdates: DatabaseMetaDataIO[Boolean]
val supportsCatalogsInDataManipulation: DatabaseMetaDataIO[Boolean]
val supportsCatalogsInIndexDefinitions: DatabaseMetaDataIO[Boolean]
val supportsCatalogsInPrivilegeDefinitions: DatabaseMetaDataIO[Boolean]
val supportsCatalogsInProcedureCalls: DatabaseMetaDataIO[Boolean]
val supportsCatalogsInTableDefinitions: DatabaseMetaDataIO[Boolean]
val supportsColumnAliasing: DatabaseMetaDataIO[Boolean]
def supportsConvert(a: Int, b: Int): DatabaseMetaDataIO[Boolean]
val supportsConvert: DatabaseMetaDataIO[Boolean]
val supportsCoreSQLGrammar: DatabaseMetaDataIO[Boolean]
val supportsCorrelatedSubqueries: DatabaseMetaDataIO[Boolean]
val supportsDataDefinitionAndDataManipulationTransactions: DatabaseMetaDataIO[Boolean]
val supportsDataManipulationTransactionsOnly: DatabaseMetaDataIO[Boolean]
val supportsDifferentTableCorrelationNames: DatabaseMetaDataIO[Boolean]
val supportsExpressionsInOrderBy: DatabaseMetaDataIO[Boolean]
val supportsExtendedSQLGrammar: DatabaseMetaDataIO[Boolean]
val supportsFullOuterJoins: DatabaseMetaDataIO[Boolean]
val supportsGetGeneratedKeys: DatabaseMetaDataIO[Boolean]
val supportsGroupBy: DatabaseMetaDataIO[Boolean]
val supportsGroupByBeyondSelect: DatabaseMetaDataIO[Boolean]
val supportsGroupByUnrelated: DatabaseMetaDataIO[Boolean]
val supportsIntegrityEnhancementFacility: DatabaseMetaDataIO[Boolean]
val supportsLikeEscapeClause: DatabaseMetaDataIO[Boolean]
val supportsLimitedOuterJoins: DatabaseMetaDataIO[Boolean]
val supportsMinimumSQLGrammar: DatabaseMetaDataIO[Boolean]
val supportsMixedCaseIdentifiers: DatabaseMetaDataIO[Boolean]
val supportsMixedCaseQuotedIdentifiers: DatabaseMetaDataIO[Boolean]
val supportsMultipleOpenResults: DatabaseMetaDataIO[Boolean]
val supportsMultipleResultSets: DatabaseMetaDataIO[Boolean]
val supportsMultipleTransactions: DatabaseMetaDataIO[Boolean]
val supportsNamedParameters: DatabaseMetaDataIO[Boolean]
val supportsNonNullableColumns: DatabaseMetaDataIO[Boolean]
val supportsOpenCursorsAcrossCommit: DatabaseMetaDataIO[Boolean]
val supportsOpenCursorsAcrossRollback: DatabaseMetaDataIO[Boolean]
val supportsOpenStatementsAcrossCommit: DatabaseMetaDataIO[Boolean]
val supportsOpenStatementsAcrossRollback: DatabaseMetaDataIO[Boolean]
val supportsOrderByUnrelated: DatabaseMetaDataIO[Boolean]
val supportsOuterJoins: DatabaseMetaDataIO[Boolean]
val supportsPositionedDelete: DatabaseMetaDataIO[Boolean]
val supportsPositionedUpdate: DatabaseMetaDataIO[Boolean]
def supportsResultSetConcurrency(a: Int, b: Int): DatabaseMetaDataIO[Boolean]
def supportsResultSetHoldability(a: Int): DatabaseMetaDataIO[Boolean]
def supportsResultSetType(a: Int): DatabaseMetaDataIO[Boolean]
val supportsSavepoints: DatabaseMetaDataIO[Boolean]
val supportsSchemasInDataManipulation: DatabaseMetaDataIO[Boolean]
val supportsSchemasInIndexDefinitions: DatabaseMetaDataIO[Boolean]
val supportsSchemasInPrivilegeDefinitions: DatabaseMetaDataIO[Boolean]
val supportsSchemasInProcedureCalls: DatabaseMetaDataIO[Boolean]
val supportsSchemasInTableDefinitions: DatabaseMetaDataIO[Boolean]
val supportsSelectForUpdate: DatabaseMetaDataIO[Boolean]
val supportsStatementPooling: DatabaseMetaDataIO[Boolean]
val supportsStoredFunctionsUsingCallSyntax: DatabaseMetaDataIO[Boolean]
val supportsStoredProcedures: DatabaseMetaDataIO[Boolean]
val supportsSubqueriesInComparisons: DatabaseMetaDataIO[Boolean]
val supportsSubqueriesInExists: DatabaseMetaDataIO[Boolean]
val supportsSubqueriesInIns: DatabaseMetaDataIO[Boolean]
val supportsSubqueriesInQuantifieds: DatabaseMetaDataIO[Boolean]
val supportsTableCorrelationNames: DatabaseMetaDataIO[Boolean]
def supportsTransactionIsolationLevel(a: Int): DatabaseMetaDataIO[Boolean]
val supportsTransactions: DatabaseMetaDataIO[Boolean]
val supportsUnion: DatabaseMetaDataIO[Boolean]
val supportsUnionAll: DatabaseMetaDataIO[Boolean]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def trans[M[_]](c: DatabaseMetaData)(implicit arg0: Monad[M], arg1: Catchable[M], arg2: Capture[M]): ~>[DatabaseMetaDataIO, M]

Natural transformation from DatabaseMetaDataIO to M, given a java.sql.DatabaseMetaData.
def transK[M[_]](implicit arg0: Monad[M], arg1: Catchable[M], arg2: Capture[M]): ~>[DatabaseMetaDataIO, [γ]Kleisli[M, DatabaseMetaData, γ]]

Natural transformation from DatabaseMetaDataIO to Kleisli for the given M, consuming a java.sql.DatabaseMetaData.
def unwrap[T](a: Class[T]): DatabaseMetaDataIO[T]
def updatesAreDetected(a: Int): DatabaseMetaDataIO[Boolean]
val usesLocalFilePerTable: DatabaseMetaDataIO[Boolean]
val usesLocalFiles: DatabaseMetaDataIO[Boolean]
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package free

object databasemetadata

Type Members

type DatabaseMetaDataIO[A] = Free[[x]Coyoneda[DatabaseMetaDataOp, x], A]

implicit class DatabaseMetaDataIOOps[A] extends AnyRef

sealed trait DatabaseMetaDataOp[A] extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

implicit val CaptureDatabaseMetaDataIO: Capture[DatabaseMetaDataIO]

implicit val CatchableDatabaseMetaDataIO: Catchable[DatabaseMetaDataIO]

object DatabaseMetaDataOp

implicit val MonadDatabaseMetaDataIO: Monad[DatabaseMetaDataIO]

val allProceduresAreCallable: DatabaseMetaDataIO[Boolean]

val allTablesAreSelectable: DatabaseMetaDataIO[Boolean]

final def asInstanceOf[T0]: T0

def attempt[A](a: DatabaseMetaDataIO[A]): DatabaseMetaDataIO[\/[Throwable, A]]

val autoCommitFailureClosesAllResultSets: DatabaseMetaDataIO[Boolean]

def clone(): AnyRef

val dataDefinitionCausesTransactionCommit: DatabaseMetaDataIO[Boolean]

val dataDefinitionIgnoredInTransactions: DatabaseMetaDataIO[Boolean]

def delay[A](a: ⇒ A): DatabaseMetaDataIO[A]

def deletesAreDetected(a: Int): DatabaseMetaDataIO[Boolean]

val doesMaxRowSizeIncludeBlobs: DatabaseMetaDataIO[Boolean]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

val generatedKeyAlwaysReturned: DatabaseMetaDataIO[Boolean]

def getAttributes(a: String, b: String, c: String, d: String): DatabaseMetaDataIO[ResultSet]

def getBestRowIdentifier(a: String, b: String, c: String, d: Int, e: Boolean): DatabaseMetaDataIO[ResultSet]

val getCatalogSeparator: DatabaseMetaDataIO[String]

val getCatalogTerm: DatabaseMetaDataIO[String]

val getCatalogs: DatabaseMetaDataIO[ResultSet]

final def getClass(): Class[_]

val getClientInfoProperties: DatabaseMetaDataIO[ResultSet]

def getColumnPrivileges(a: String, b: String, c: String, d: String): DatabaseMetaDataIO[ResultSet]

def getColumns(a: String, b: String, c: String, d: String): DatabaseMetaDataIO[ResultSet]

val getConnection: DatabaseMetaDataIO[Connection]

def getCrossReference(a: String, b: String, c: String, d: String, e: String, f: String): DatabaseMetaDataIO[ResultSet]

val getDatabaseMajorVersion: DatabaseMetaDataIO[Int]

val getDatabaseMinorVersion: DatabaseMetaDataIO[Int]

val getDatabaseProductName: DatabaseMetaDataIO[String]

val getDatabaseProductVersion: DatabaseMetaDataIO[String]

val getDefaultTransactionIsolation: DatabaseMetaDataIO[Int]

val getDriverMajorVersion: DatabaseMetaDataIO[Int]

val getDriverMinorVersion: DatabaseMetaDataIO[Int]

val getDriverName: DatabaseMetaDataIO[String]

val getDriverVersion: DatabaseMetaDataIO[String]

def getExportedKeys(a: String, b: String, c: String): DatabaseMetaDataIO[ResultSet]

val getExtraNameCharacters: DatabaseMetaDataIO[String]

def getFunctionColumns(a: String, b: String, c: String, d: String): DatabaseMetaDataIO[ResultSet]

def getFunctions(a: String, b: String, c: String): DatabaseMetaDataIO[ResultSet]

val getIdentifierQuoteString: DatabaseMetaDataIO[String]

def getImportedKeys(a: String, b: String, c: String): DatabaseMetaDataIO[ResultSet]

def getIndexInfo(a: String, b: String, c: String, d: Boolean, e: Boolean): DatabaseMetaDataIO[ResultSet]

val getJDBCMajorVersion: DatabaseMetaDataIO[Int]

val getJDBCMinorVersion: DatabaseMetaDataIO[Int]

val getMaxBinaryLiteralLength: DatabaseMetaDataIO[Int]

val getMaxCatalogNameLength: DatabaseMetaDataIO[Int]

val getMaxCharLiteralLength: DatabaseMetaDataIO[Int]

val getMaxColumnNameLength: DatabaseMetaDataIO[Int]

val getMaxColumnsInGroupBy: DatabaseMetaDataIO[Int]

val getMaxColumnsInIndex: DatabaseMetaDataIO[Int]

val getMaxColumnsInOrderBy: DatabaseMetaDataIO[Int]

val getMaxColumnsInSelect: DatabaseMetaDataIO[Int]

val getMaxColumnsInTable: DatabaseMetaDataIO[Int]

val getMaxConnections: DatabaseMetaDataIO[Int]

val getMaxCursorNameLength: DatabaseMetaDataIO[Int]

val getMaxIndexLength: DatabaseMetaDataIO[Int]

val getMaxProcedureNameLength: DatabaseMetaDataIO[Int]

val getMaxRowSize: DatabaseMetaDataIO[Int]

val getMaxSchemaNameLength: DatabaseMetaDataIO[Int]

val getMaxStatementLength: DatabaseMetaDataIO[Int]

val getMaxStatements: DatabaseMetaDataIO[Int]

val getMaxTableNameLength: DatabaseMetaDataIO[Int]

val getMaxTablesInSelect: DatabaseMetaDataIO[Int]

val getMaxUserNameLength: DatabaseMetaDataIO[Int]

val getNumericFunctions: DatabaseMetaDataIO[String]