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