libkaya-sqlite3-dev 0.4.4-6ubuntu3 / usr / lib / kaya / imports / SQLiteDB.ki

%except Builtins::InternalError(Int);
%except Builtins::Project_From_Non_Union();
%except Builtins::Lookup_From_Non_Array();
%except Builtins::Negative_Array_Index();
%except Builtins::Wrong_Constructor();
%except Builtins::Getting_Tag_From_Non_Union();
%except Builtins::Invalid_Marshalling_ID();
%except Builtins::Invalid_Function_Table_Hash();
%except Builtins::Invalid_Value();
%except Builtins::Not_Implemented();
%except Builtins::Invalid_Circular_Structure();
%except Builtins::Cant_Marshal_Exceptions();
%except Builtins::Cant_Reflect_Exceptions();
%except Builtins::Missing_Case();
%except Builtins::Pattern_Matching_Assignment_Failure();
%except Builtins::Unguarded_Guard();
%except Builtins::Divide_By_Zero();
%except Builtins::Loop_Return(a);
%except Builtins::Loop_VoidReturn();
%except Builtins::IllegalIndex();
%except Builtins::NoNullsInStrings();
%extinline 5 pure Bool Builtins::inverse(Bool val){ return (!val); };
%extinline 5 pure a Builtins::identity(a val){ return val; };
%extern 5 String Builtins::createString(Int);
%extinline 5 Float Builtins::abs(Float x){ return (if ((x<0.0)) (-x) else x); };
%extinline 5 Int Builtins::abs(Int x){ return (if ((x<0)) (-x) else x); };
%extern 5 Int Builtins::dorand();
%extern 5 Int Builtins::rand();
%extern 5 Void Builtins::srand(Int);
%extern 5 Void Builtins::swap(a,a);
%extern 5 Bool Builtins::identical(a,a);
%extern 5 Bool Builtins::null(Ptr);
%extern 5 Int Builtins::fnid(Void(a));
%extern 5 Int Builtins::strAlloc(String);
%extern 5 Void Builtins::exceptionBacktrace(Exception);
%extern 5 String Builtins::exceptionMessage(Exception);
%extinline 5 pure Ptr Builtins::getVM(){ return %VM; };
%extern 5 anything Builtins::subvert(something);
%extern 5 any Builtins::copy(any);
%extern 5 Int Builtins::hash(any);
%extern 5 Bool Builtins::equal(any,any);
%extern 5 Int Builtins::compare(any,any);
%extern 5 any Builtins::unmarshal(String,Int);
%extern 5 String Builtins::marshal(any,Int);
%extern 5 Void Builtins::translate(String,Char(Char));
%extern 5 Void Builtins::setIndex(String,Char,Int);
%extern 5 Char Builtins::getIndex(String,Int);
%extern 5 Int Builtins::byteLength(String);
%extinline 5 pure Int Builtins::length(String s){ return (%length(s)); };
%extern 5 Int Builtins::strHash(String);
%extern 5 Void Builtins::exit(Int);
%extern 5 Bool Builtins::runTimeChecking();
%extern 5 Int Builtins::doStrHash(String,Int);
%extern 5 str Builtins::doCreateString(Ptr,Int);
%extern 5 Int Builtins::doStrAlloc(str);
%extern 5 Void Builtins::except_dump(exc);
%extern 5 pure String Builtins::except_msg(exc);
%extern 5 pure Int Builtins::except_code(exc);
%extern 5 Int Builtins::funtableHash();
%extern 5 pure Int Builtins::doGetFnID(fn);
%extern 5 pure Bool Builtins::isIdentical(a,a);
%extern 5 pure Bool Builtins::isNull(Ptr);
%extern 5 pure String Builtins::getAddr(a);
%extern 5 Bool Builtins::isInitialised(a);
%extern 5 pure a Builtins::unsafe_id(b);
%extern 5 any Builtins::doCopy(Ptr,any);
%extern 5 Void Builtins::doSetIndex(String,Char,Int);
%extern 5 pure Char Builtins::doGetIndex(String,Int);
%extern 5 pure Bool Builtins::doEqual(Ptr,a,a);
%extern 5 pure Int Builtins::doCompare(Ptr,a,a);
%extern 5 pure any Builtins::doUnmarshal(Ptr,String,Int);
%extern 5 pure String Builtins::doMarshal(Ptr,a,Int);
%extern 5 pure Int Builtins::doHash(a);
%extern 5 Int Builtins::memUsage(a);
%extern 5 pure Int Builtins::doByteLength(String,Int);
%extern 5 pure Bool Builtins::UTF8(String);
%extern 5 pure Int Builtins::size([a]);
%extern 5 pure %startup Void Builtins::__init();
%imported "Builtins";
%extinline 5 pure Float Maths::SQRT_PI(){ return 1.772453850905516; };
%extinline 5 pure Float Maths::SQRT_2(){ return 1.4142135623730951; };
%extinline 5 pure Float Maths::M_E(){ return 2.718281828459045; };
%extinline 5 pure Float Maths::PI(){ return 3.141592653589793; };
%extern 5 pure Int Maths::pow(Int,Int);
%extern 5 Float Maths::atan(Float);
%extern 5 Float Maths::acos(Float);
%extern 5 Float Maths::asin(Float);
%extern 5 Float Maths::tan(Float);
%extern 5 Float Maths::cos(Float);
%extern 5 Float Maths::sin(Float);
%extern 5 Float Maths::floor(Float);
%extern 5 Float Maths::ceil(Float);
%extern 5 Float Maths::log10(Float);
%extern 5 Float Maths::log(Float);
%extern 5 Float Maths::exp(Float);
%extern 5 Float Maths::sqrt(Float);
%extern 5 Float Maths::pow(Float,Float);
%extern 5 pure %startup Void Maths::__init();
%imported "Maths";
%extern 5 pure %startup Void Tuples::__init();
%imported "Tuples";
%except Array::OutOfBounds();
%except Array::ZeroStep();
%extern 5 [a] Array::take(Int,[a]);
%extern 5 Void Array::nub([a],Bool(a, a) = equal);
%extern 5 pure Bool Array::elem(a,[a],Bool(a, a) = equal);
%extern 5 Void Array::addAt([a],a,Int);
%extern 5 Void Array::removeAt([a],Int);
%extern 5 [a] Array::remove([a],Int,Int);
%extern 5 [a] Array::subarray([a],Int,Int);
%extern 5 Void Array::unshift(a,[a]);
%extern 5 a Array::shift([a]);
%extern 5 Void Array::pop([a]);
%extern 5 a Array::top([a]);
%extern 5 Void Array::push([a],a);
%extern 5 [a] Array::filter(Bool(a),[a]);
%extern 5 b Array::fold(b(a, b),[a],b);
%extern 5 [Tuples::Pair<a, b> ] Array::zip([a],[b]);
%extern 5 [c] Array::zipWith(c(a, b),[a],[b]);
%extern 5 [b] Array::map(b(a),[a]);
%extern 5 pure Bool Array::all(Bool(a),[a]);
%extern 5 pure Bool Array::any(Bool(a),[a]);
%extern 5 [a] Array::intersperse(a,[a]);
%extern 5 [a] Array::join([[a]]);
%extern 5 Void Array::concat([a],[a]);
%extern 5 Void Array::shuffle([a]);
%extern 5 [a] Array::sorted([a],Int(a, a) = compare);
%extern 5 Void Array::sort([a],Int(a, a) = compare);
%extern 5 [Int] Array::range(Int,Int,Int = 1);
%extern 5 Void Array::reverse([a]);
%extern 5 [a] Array::createArray(Int);
%extern 5 [a] Array::docreateArray(Ptr,Int);
%extern 5 Void Array::unshiftArray(a,[a]);
%extern 5 a Array::shiftArray([a]);
%extern 5 Void Array::shortenArray([a]);
%extern 5 Void Array::quicksort(Ptr,[a],Int(a, a));
%extern 5 Void Array::resize([a],Int);
%extern 5 [a] Array::doReverse([a]);
%extern 5 pure %startup Void Array::__init();
%imported "Array";
%extern 5 String Coercions::string([Char]);
%extern 5 [Char] Coercions::array(String);
%extinline 5 pure Void Coercions::void(a x){ pass; };
%extinline 5 pure Char Coercions::char(Int x){ return Char(x); };
%extinline 5 pure Float Coercions::float(Int x){ return Float(x); };
%extinline 5 pure Float Coercions::float(String x){ return Float(x); };
%extinline 5 pure Int Coercions::int(Char x){ return Int(x); };
%extinline 5 pure Int Coercions::int(Float x){ return Int(x); };
%extinline 5 pure Int Coercions::int(String x){ return Int(x); };
%extinline 5 pure String Coercions::string(Bool x){ return String(x); };
%extinline 5 pure String Coercions::string(Char x){ return String(x); };
%extinline 5 pure String Coercions::string(Float x){ return String(x); };
%extinline 5 pure String Coercions::string(Int x){ return String(x); };
%extern 5 pure %startup Void Coercions::__init();
%imported "Coercions";
%except Prelude::CantDerefNothing();
%except Prelude::NegativeLengthString(Int);
%except Prelude::PositionOutOfRange(Int);
%except Prelude::FileNotFound();
%extern 5 String Prelude::substr(String,Int,Int);
%extern 5 String Prelude::rep(String,Int);
%extern 5 pure a() Prelude::thunk(a);
%extern 5 pure a Prelude::force(a());
%extern 5 pure a Prelude::apply(a(b),b);
%extern 5 a(c) Prelude::compose(a(b),b(c));
%extern 5 pure a Prelude::runcompose(a(b),b(c),c);
%extern 5 Void Prelude::putStrLn(String);
%extern 5 String Prelude::strEnd(String,Int);
%extern 5 String Prelude::toUpper(String);
%extern 5 String Prelude::toLower(String);
%extinline 5 pure Bool Prelude::isLineEnding(Char c){ return ((c=='\n')||(c=='\r')); };
%extern 5 Void Prelude::putStr(String);
%extern 5 Void Prelude::doPutStr(String,Int);
%extern 5 String Prelude::do_strend(Ptr,String,Int);
%extern 5 String Prelude::dosubstr(Ptr,String,Int,Int);
%extern 5 Char Prelude::toUpper(Char);
%extern 5 Char Prelude::toLower(Char);
%extern 5 Bool Prelude::isUpper(Char);
%extern 5 Bool Prelude::isLower(Char);
%extern 5 Bool Prelude::isSpace(Char);
%extern 5 Bool Prelude::isGraph(Char);
%extern 5 Bool Prelude::isPunct(Char);
%extern 5 Bool Prelude::isAlnum(Char);
%extern 5 Bool Prelude::isAlpha(Char);
%extern 5 Bool Prelude::isDigit(Char);
%extern 5 Void Prelude::onDestroy(a,Void(a));
%extern 5 Void Prelude::gcEnable();
%extern 5 Void Prelude::gcDisable();
%extern 5 Int Prelude::gcSetFSD(Int);
%extern 5 Void Prelude::gcIncremental();
%extern 5 Void Prelude::gcSetMaxHeapSize(Int);
%extern 5 Int Prelude::gcTotalBytes();
%extern 5 Int Prelude::gcFreeBytes();
%extern 5 Int Prelude::gcHeapSize();
%extern 5 Void Prelude::gc();
%extern 5 String Prelude::stringBase(Int,Int);
%extern 5 Int Prelude::intBase(String,Int);
%extern 5 a Prelude::deref(Prelude::Maybe<a> );
%extern 5 Void Prelude::reverse(Prelude::List<a> );
%extern 5 [a] Prelude::array(Prelude::List<a> );
%extern 5 Void Prelude::traverse(Bool(a, Int),Prelude::List<a> );
%extern 5 pure %startup Void Prelude::__init();
%imported "Prelude";
%imported "regex_glue";
%link "pcre";
%except Regex::RegexCompilationFailed();
%except Regex::NoUTF8Support();
%extern 5 [String] Regex::split(Regex::Regex,String,Int = 0,Bool = false);
%extern 5 [String] Regex::split(String,String,Int = 0,Bool = false);
%extern 5 [String] Regex::grep(String,[String],Bool = false);
%extern 5 String Regex::substVars([String],String);
%extern 5 Void Regex::replace(String,String,String,[Regex::ReplaceFlags] = @createArray(1),[Regex::REFlags] = @createArray(1));
%extern 5 Void Regex::replace(Regex::Regex,String,String,[Regex::ReplaceFlags] = @createArray(1));
%extern 5 Void Regex::replaceAll(String,String,String,[Regex::ReplaceFlags] = @createArray(1),[Regex::REFlags] = @createArray(1));
%extern 5 Void Regex::replaceAll(Regex::Regex,String,String,[Regex::ReplaceFlags] = @createArray(1));
%extern 5 Bool Regex::quickMatch(Regex::Regex,String);
%extern 5 Bool Regex::quickMatch(String,String,[Regex::REFlags] = @createArray(1));
%extern 5 Regex::Match Regex::match(Regex::Regex,String);
%extern 5 Regex::Regex Regex::compile(String,[Regex::REFlags] = @createArray(1));
%extern 5 String Regex::getAfter(Ptr);
%extern 5 String Regex::getBefore(Ptr);
%extern 5 [String] Regex::getmatches(Ptr);
%extern 5 Bool Regex::matched(Ptr);
%extern 5 Bool Regex::re_quickmatch(Ptr,Ptr,String,Int);
%extern 5 Ptr Regex::re_match(Ptr,Ptr,String,Int);
%extern 5 Ptr Regex::re_compile(Ptr,String,Int,Int);
%extern 5 pure %startup Void Regex::__init();
%imported "Regex";
%extern 5 [String] Strings::fields(String,[Char],[Char]);
%extern 5 String Strings::base64Decode(String);
%extern 5 String Strings::base64Encode(String);
%extern 5 Void Strings::trim(String,Bool(Char) = isSpace);
%extern 5 Void Strings::ltrim(String,Bool(Char) = isSpace);
%extern 5 Void Strings::rtrim(String,Bool(Char) = isSpace);
%extern 5 Void Strings::behead(String);
%extern 5 Void Strings::rtruncate(Int,String);
%extern 5 Void Strings::ltruncate(Int,String);
%extern 5 String Strings::filter(Bool(Char),String);
%extern 5 String Strings::tail(String);
%extern 5 Char Strings::head(String);
%extern 5 String Strings::join([String],String);
%extern 5 String Strings::join([String],Char = '\n');
%extern 5 String Strings::unwords([String]);
%extern 5 [String] Strings::lines(String);
%extern 5 [String] Strings::splitBy(String,Bool(Char) = isLineEnding);
%extern 5 [String] Strings::words(String);
%extern 5 Int Strings::firstOccurs(String,String);
%extern 5 Void Strings::str_chop(str,Int);
%extern 5 Void Strings::str_offset(str,Int);
%extern 5 Int Strings::do_firstOccurs(String,String);
%extern 5 Int Strings::firstOccurs(Char,String);
%extern 5 Bool Strings::elem(Char,String);
%extern 5 String Strings::b64dec(String,intval);
%extern 5 String Strings::b64enc(String,Int);
%extern 5 pure %startup Void Strings::__init();
%imported "Strings";
%except Time::NoSuchMonthNumber(Int);
%except Time::NoSuchMonthName(String);
%except Time::NoSuchDay(String);
%except Time::CantParseTime();
%extern 5 Int Time::tzDist(Int);
%extern 5 String Time::isoTime(Int,[Time::IsoTimeOpts] = []);
%extern 5 String Time::isoTime(Time::Time,[Time::IsoTimeOpts] = [],Int = 0);
%extern 5 pure String Time::twodigits(Int);
%extern 5 Time::Time Time::parseISO8601(String);
%extern 5 Time::Time Time::parseRFC2822(String);
%extern 5 String Time::cookieTime(Time::Time);
%extern 5 String Time::rfc2822Time(Time::Time,String = "+0000");
%extern 5 Time::Day Time::day(String);
%extern 5 String Time::string(Time::Day);
%extern 5 Time::Month Time::month(Int);
%extern 5 Int Time::int(Time::Month);
%extern 5 Time::Month Time::month(String);
%extern 5 String Time::string(Time::Month);
%extern 5 Time::Time Time::addDays(Time::Time,Int);
%extern 5 Int Time::mkTime(Time::Time);
%extern 5 Time::Time Time::localTime(Int = @now());
%extern 5 Time::Time Time::gmTime(Int = @now());
%extern 5 Int Time::domktime(Time::Time);
%extern 5 Time::Time Time::dolocaltime(Int);
%extern 5 Time::Time Time::dogmtime(Int);
%extern 5 Int Time::microTime();
%extern 5 Int Time::now();
%extern 5 pure %startup Void Time::__init();
%imported "Time";
%except DB::InvalidTime();
%data 5 public DB::DBValue = DB::DBText(String text) | DB::DBInt(Int num) | DB::DBFloat(Float float) | DB::DBTime(Int timestamp) | DB::DBBool(Bool bool);
%data 5 public DB::DBResult = DB::DBRes([[DB::DBValue]] table,Int rows,Int cols,[String] colnames,Ptr resptr);
%data 5 public DB::DBIncResult<a> = DB::DBIncRes(DB::DBHandle<a>  con,Int rows,Int cols,[String] colnames,Ptr resptr);
%data 5 public DB::DBStatement<a> = DB::DBStatement(DB::DBHandle<a>  con,Ptr statement);
%data 5 public DB::DBHandle<a> = DB::DBh(a handle,DB::DBResult(a, String) exec,DB::DBIncResult<a> (a, String, DB::DBHandle<a> ) incexec,DB::DBStatement<a> (DB::DBHandle<a> , String) prep,DB::DBResult(DB::DBStatement<a> , [Prelude::Maybe<String> ]) execp,DB::DBIncResult<a> (DB::DBStatement<a> , [Prelude::Maybe<String> ]) incexecp,[DB::DBValue](DB::DBIncResult<a> ) getrow,Void(DB::DBIncResult<a> ) incdiscard,Void(a) close);
%extern 5 public String DB::escape(String);
%extern 5 pure public DB::DBIncResult<a>  DB::incExecPrepared(DB::DBStatement<a> ,[Prelude::Maybe<String> ]);
%extern 5 public DB::DBResult DB::execPrepared(DB::DBStatement<a> ,[String]);
%extern 5 pure public DB::DBResult DB::execPrepared(DB::DBStatement<a> ,[Prelude::Maybe<String> ]);
%extern 5 pure public DB::DBStatement<a>  DB::prepare(DB::DBHandle<a> ,String);
%extern 5 public Float DB::float(DB::DBValue);
%extern 5 public Bool DB::bool(DB::DBValue);
%extern 5 public Int DB::int(DB::DBValue);
%extern 5 Time::Time DB::strToTime(String);
%extern 5 public Time::Time DB::time(DB::DBValue);
%extern 5 public String DB::string(DB::DBValue);
%extern 5 public DB::DBIncResult<a>  DB::defaultIncExecPrepared(DB::DBStatement<a> ,[Prelude::Maybe<String> ]);
%extern 5 public DB::DBResult DB::defaultExecPrepared(DB::DBStatement<a> ,[Prelude::Maybe<String> ]);
%extern 5 public DB::DBStatement<a>  DB::defaultPrepare(DB::DBHandle<a> ,String);
%extern 5 public Void DB::defaultIncDiscard(DB::DBIncResult<a> );
%extern 5 public DB::DBIncResult<a>  DB::defaultIncExec(a,String,DB::DBHandle<a> );
%extern 5 public [DB::DBValue] DB::defaultGetRow(DB::DBIncResult<a> );
%extern 5 pure public String DB::column(DB::DBResult,Int);
%extern 5 pure public Void DB::close(DB::DBHandle<a> );
%extern 5 pure public Void DB::incDiscard(DB::DBIncResult<a> );
%extern 5 pure public [DB::DBValue] DB::getRow(DB::DBIncResult<a> );
%extern 5 pure public DB::DBIncResult<a>  DB::incExec(DB::DBHandle<a> ,String);
%extern 5 pure public DB::DBResult DB::exec(DB::DBHandle<a> ,String);
%extern 5 pure %startup Void DB::__init();
%imported "DB";
%imported "sqlite_inter";
%link "sqlite3";
%data 5 abstract SQLiteDB::SQLiteConnection = ;
%type 5 SQLiteDB = DBHandle<SQLiteConnection> ;
%except SQLiteDB::SQLiteError(String);
%except SQLiteDB::TooManyRows();
%extern 5 DB::DBResult SQLiteDB::sqli_execp(DB::DBStatement<SQLiteDB::SQLiteConnection> ,[Prelude::Maybe<String> ]);
%extern 5 pure DB::DBStatement<SQLiteDB::SQLiteConnection>  SQLiteDB::sqli_prepare(DB::DBHandle<SQLiteDB::SQLiteConnection> ,String);
%extern 5 Void SQLiteDB::sqli_close(SQLiteDB::SQLiteConnection);
%extern 5 Void SQLiteDB::sqli_discard(DB::DBIncResult<SQLiteDB::SQLiteConnection> );
%extern 5 pure [DB::DBValue] SQLiteDB::sqli_getrow(DB::DBIncResult<SQLiteDB::SQLiteConnection> );
%extern 5 DB::DBIncResult<SQLiteDB::SQLiteConnection>  SQLiteDB::sqli_incexec(SQLiteDB::SQLiteConnection,String,DB::DBHandle<SQLiteDB::SQLiteConnection> );
%extern 5 DB::DBResult SQLiteDB::sqli_exec(SQLiteDB::SQLiteConnection,String);
%extern 5 public DB::DBHandle<SQLiteDB::SQLiteConnection>  SQLiteDB::connect(String);
%extern 5 Int SQLiteDB::sql_resrc(Ptr);
%extern 5 Int SQLiteDB::sql_numcols(Ptr);
%extern 5 Int SQLiteDB::sql_numrows(Ptr);
%extern 5 [String] SQLiteDB::sql_getcolnames(Ptr);
%extern 5 [[DB::DBValue]] SQLiteDB::sql_getrestable(Ptr);
%extern 5 Ptr SQLiteDB::do_sqliprepare(Ptr,Ptr,String);
%extern 5 Ptr SQLiteDB::sqlite_execp(Ptr,[Prelude::Maybe<String> ]);
%extern 5 Void SQLiteDB::sqlite_discard(Ptr);
%extern 5 [DB::DBValue] SQLiteDB::sqlite_getrow(Ptr,Ptr);
%extern 5 Ptr SQLiteDB::sqlite_incexec(Ptr,String);
%extern 5 Ptr SQLiteDB::sqlite_exec(Ptr,String);
%extern 5 Void SQLiteDB::sqlite_close(Ptr);
%extern 5 String SQLiteDB::sqlite_getError(Ptr);
%extern 5 Bool SQLiteDB::sqlite_ok(Ptr);
%extern 5 Ptr SQLiteDB::do_sqlite_connect(String);
%extern 5 pure %startup Void SQLiteDB::__init();