Sqlite3.Types

Definitions

data SqlResult : Type

  Possible result codes when interacting with the SQLite C interface.
  
  These result codes are described in greater detail in the
  [SQLite C interface documentation](https://www.sqlite.org/rescode.html).

Totality: total
Visibility: public export
Constructors:

SQLITE_OK : SqlResult

SQLITE_ERROR : SqlResult

SQLITE_INTERNAL : SqlResult

SQLITE_PERM : SqlResult

SQLITE_ABORT : SqlResult

SQLITE_BUSY : SqlResult

SQLITE_LOCKED : SqlResult

SQLITE_NOMEM : SqlResult

SQLITE_READONLY : SqlResult

SQLITE_INTERRUPT : SqlResult

SQLITE_IOERR : SqlResult

SQLITE_CORRUPT : SqlResult

SQLITE_NOTFOUND : SqlResult

SQLITE_FULL : SqlResult

SQLITE_CANTOPEN : SqlResult

SQLITE_PROTOCOL : SqlResult

SQLITE_EMPTY : SqlResult

SQLITE_SCHEMA : SqlResult

SQLITE_TOOBIG : SqlResult

SQLITE_CONSTRAINT : SqlResult

SQLITE_MISMATCH : SqlResult

SQLITE_MISUSE : SqlResult

SQLITE_NOLFS : SqlResult

SQLITE_AUTH : SqlResult

SQLITE_FORMAT : SqlResult

SQLITE_RANGE : SqlResult

SQLITE_NOTADB : SqlResult

SQLITE_NOTICE : SqlResult

SQLITE_WARNING : SqlResult

SQLITE_ROW : SqlResult

SQLITE_DONE : SqlResult

Unknown : SqlResult

Hints:

Eq SqlResult

Ord SqlResult

Show SqlResult

fromInt : Int -> SqlResult

Totality: total
Visibility: public export

data SqliteType : Type

  Enumeration listing the different types of data that can be stored in
  an SQLite table column.
  
  Note: Strictly speaking, `BOOL` is not an officially supported SQL type
        but just an integer internally. However, being able to distinguish
        between `BOOL` and `INTEGER` allows us to get clearer types
        in the expressions we use in filters and checks.

Totality: total
Visibility: public export
Constructors:

BLOB : SqliteType

TEXT : SqliteType

INTEGER : SqliteType

REAL : SqliteType

Hints:

Eq SqliteType

Ord SqliteType

Show SqliteType

BOOL : SqliteType

  This is an alias for `INTEGER` that helps with making the intention
  behind certain SQL expressions clearer.
  
  SQLite does not have a native boolean type, so this is used
  as a reminder than some expression are used in accordance with
  boolean logic.

Totality: total
Visibility: public export

0 IdrisType : SqliteType -> Type

  Associates an `SqliteType` with the corresponding Idris type.

Totality: total
Visibility: public export

data SqlError : Type

  Error type that can occur when interacting with the unsafe world of
  SQLite.

Totality: total
Visibility: public export
Constructors:

ResultError : SqlResult -> String -> SqlError

DecodingError : SqliteType -> String -> SqlError

TypeMismatch : SqliteType -> SqliteType -> SqlError

NullPointer : String -> SqlError

NoMoreData : SqlError

Hints:

Eq SqlError

Interpolation SqlError

Show SqlError