libkaya-ncursesw-dev 0.4.4-6ubuntu3 / usr / lib / kaya / imports / CursesW.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 "cursesw_glue";
%link "ncursesw";
%data 5 abstract CursesW::Window = ;
%data 5 abstract CursesW::Screen = ;
%data 5 public CursesW::Attr = CursesW::Normal() | CursesW::Standout() | CursesW::Underline() | CursesW::Reverse() | CursesW::Blink() | CursesW::Dim() | CursesW::Bold() | CursesW::Protect() | CursesW::Invis() | CursesW::AltCharset() | CursesW::CharText() | CursesW::ColourPair(Int n);
%except CursesW::CursesError();
%except CursesW::CantCreateWindow();
%data 5 public CursesW::Visibility = CursesW::Invisible() | CursesW::NormalVisible() | CursesW::VeryVisible();
%extern 5 public Void CursesW::wClearRight(CursesW::Window);
%extern 5 public Void CursesW::wClearDown(CursesW::Window);
%extern 5 public Void CursesW::wErase(CursesW::Window);
%extern 5 public Void CursesW::wClear(CursesW::Window);
%extern 5 public Void CursesW::clearRight();
%extern 5 public Void CursesW::clearDown();
%extern 5 public Void CursesW::erase();
%extern 5 public Void CursesW::clear();
%extern 5 public Void CursesW::box(CursesW::Window,Char = '\0',Char = '\0');
%extern 5 public Void CursesW::setCursor(CursesW::Visibility);
%extern 5 public Void CursesW::mvWin(CursesW::Window,Int,Int);
%extern 5 public Void CursesW::delwin(CursesW::Window);
%extern 5 public CursesW::Window CursesW::newWin(Int,Int,Int,Int);
%extern 5 public Void CursesW::initPair(Int,Int,Int);
%extern 5 public Void CursesW::initColour(Int,Int,Int,Int);
%extern 5 public Void CursesW::wAttributes(CursesW::Window,[CursesW::Attr],Bool);
%extern 5 public Void CursesW::attributes([CursesW::Attr],Bool);
%extern 5 public Void CursesW::waddStr(CursesW::Window,String);
%extern 5 public Void CursesW::wMove(CursesW::Window,Int,Int);
%extern 5 public String CursesW::wgetStr(CursesW::Window);
%extern 5 public Char CursesW::wmvgetChar(CursesW::Window,Int,Int);
%extern 5 public Char CursesW::wgetChar(CursesW::Window);
%extern 5 public Void CursesW::wRefresh(CursesW::Window);
%extern 5 public Void CursesW::endWin;
%extern 5 public Void CursesW::initScreen;
%extern 5 Void CursesW::testerr(Ptr);
%extern 5 public Void CursesW::noTimeout(CursesW::Window,Bool);
%extern 5 public Void CursesW::noDelay(CursesW::Window,Bool);
%extern 5 public Void CursesW::meta(CursesW::Window,Bool);
%extern 5 public Void CursesW::keypad(CursesW::Window,Bool);
%extern 5 public Void CursesW::intrFlush(CursesW::Window,Bool);
%extern 5 public CursesW::Window CursesW::stdscr;
%extern 5 public Void CursesW::rawMode(Bool);
%extern 5 public Void CursesW::newlineMode(Bool);
%extern 5 public Void CursesW::echoMode(Bool);
%extern 5 public Void CursesW::cbreakMode(Bool);
%extern 5 Void CursesW::dowclrtoeol(Ptr);
%extern 5 Void CursesW::dowclrtobot(Ptr);
%extern 5 Void CursesW::dowerase(Ptr);
%extern 5 Void CursesW::dowclear(Ptr);
%extern 5 Void CursesW::doclrtoeol();
%extern 5 Void CursesW::doclrtobot();
%extern 5 Void CursesW::doerase();
%extern 5 Void CursesW::doclear();
%extern 5 public Void CursesW::flash();
%extern 5 public Void CursesW::beep();
%extern 5 Ptr CursesW::dobox(Ptr,Char,Char);
%extern 5 public Char CursesW::KeyF12();
%extern 5 public Char CursesW::KeyF11();
%extern 5 public Char CursesW::KeyF10();
%extern 5 public Char CursesW::KeyF9();
%extern 5 public Char CursesW::KeyF8();
%extern 5 public Char CursesW::KeyF7();
%extern 5 public Char CursesW::KeyF6();
%extern 5 public Char CursesW::KeyF5();
%extern 5 public Char CursesW::KeyF4();
%extern 5 public Char CursesW::KeyF3();
%extern 5 public Char CursesW::KeyF2();
%extern 5 public Char CursesW::KeyF1();
%extern 5 public Char CursesW::KeyC3();
%extern 5 public Char CursesW::KeyC1();
%extern 5 public Char CursesW::KeyB2();
%extern 5 public Char CursesW::KeyA3();
%extern 5 public Char CursesW::KeyA1();
%extern 5 public Char CursesW::KeyBackspace();
%extern 5 public Char CursesW::KeyNPage();
%extern 5 public Char CursesW::KeyPPage();
%extern 5 public Char CursesW::KeyEnd();
%extern 5 public Char CursesW::KeyHome();
%extern 5 public Char CursesW::KeyRight();
%extern 5 public Char CursesW::KeyLeft();
%extern 5 public Char CursesW::KeyUp();
%extern 5 public Char CursesW::KeyDown();
%extern 5 Ptr CursesW::docurs_set(Int);
%extern 5 Ptr CursesW::domvwin(Ptr,Int,Int);
%extern 5 Ptr CursesW::dodelwin(Ptr);
%extern 5 Ptr CursesW::donewwin(Int,Int,Int,Int);
%extern 5 public Int CursesW::Colours();
%extern 5 public Int CursesW::ColourPairs();
%extern 5 public Int CursesW::White();
%extern 5 public Int CursesW::Cyan();
%extern 5 public Int CursesW::Magenta();
%extern 5 public Int CursesW::Blue();
%extern 5 public Int CursesW::Yellow();
%extern 5 public Int CursesW::Green();
%extern 5 public Int CursesW::Red();
%extern 5 public Int CursesW::Black();
%extern 5 Ptr CursesW::doinit_pair(Int,Int,Int);
%extern 5 Ptr CursesW::doinit_colour(Int,Int,Int,Int);
%extern 5 public Bool CursesW::hasColours();
%extern 5 public Void CursesW::startColour();
%extern 5 Ptr CursesW::dowattroff(Ptr,[CursesW::Attr]);
%extern 5 Ptr CursesW::dowattron(Ptr,[CursesW::Attr]);
%extern 5 Ptr CursesW::doattroff([CursesW::Attr]);
%extern 5 Ptr CursesW::doattron([CursesW::Attr]);
%extern 5 Void CursesW::dowaddstr(Ptr,String);
%extern 5 public Void CursesW::addStr(String);
%extern 5 Void CursesW::dowmove(Ptr,Int,Int);
%extern 5 public Void CursesW::move(Int,Int);
%extern 5 String CursesW::dowgetstr(Ptr);
%extern 5 public String CursesW::getStr();
%extern 5 public Void CursesW::ungetChar(Char);
%extern 5 Char CursesW::dowmvgetch(Ptr,Int,Int);
%extern 5 public Char CursesW::mvgetChar(Int,Int);
%extern 5 Char CursesW::dowgetch(Ptr);
%extern 5 public Char CursesW::getChar();
%extern 5 Void CursesW::dowrefresh(Ptr);
%extern 5 public Void CursesW::refresh();
%extern 5 Bool CursesW::dotesterr(Ptr);
%extern 5 public Bool CursesW::isEndWin();
%extern 5 Ptr CursesW::doendwin();
%extern 5 Ptr CursesW::doinitscr();
%extern 5 public Void CursesW::halfDelay(Int);
%extern 5 Void CursesW::donotimeout(Ptr,Bool);
%extern 5 Void CursesW::donodelay(Ptr,Bool);
%extern 5 Void CursesW::dometa(Ptr,Bool);
%extern 5 Void CursesW::dokeypad(Ptr,Bool);
%extern 5 Void CursesW::dointrflush(Ptr,Bool);
%extern 5 Void CursesW::noraw();
%extern 5 Void CursesW::raw();
%extern 5 Void CursesW::nonl();
%extern 5 Void CursesW::nl();
%extern 5 Void CursesW::noecho();
%extern 5 Void CursesW::echo();
%extern 5 Void CursesW::nocbreak();
%extern 5 Void CursesW::cbreak();
%extern 5 Ptr CursesW::getstdscr();
%extern 5 pure %startup Void CursesW::__init();