kaya 0.4.4-6.2 / usr / lib / kaya / imports / Time.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";
%data 5 public Time::Month = Time::Jan() | Time::Feb() | Time::Mar() | Time::Apr() | Time::May() | Time::Jun() | Time::Jul() | Time::Aug() | Time::Sep() | Time::Oct() | Time::Nov() | Time::Dec();
%data 5 public Time::Day = Time::Sunday() | Time::Monday() | Time::Tuesday() | Time::Wednesday() | Time::Thursday() | Time::Friday() | Time::Saturday();
%data 5 public Time::Time = Time::Time(Int second,Int minute,Int hour,Int mday,Time::Month mon,Int year,Time::Day wday,Int yday,Bool dst);
%except Time::NoSuchMonthNumber(Int);
%except Time::NoSuchMonthName(String);
%except Time::NoSuchDay(String);
%except Time::CantParseTime();
%data 5 public Time::IsoTimeOpts = Time::DateOnly() | Time::TimeOnly() | Time::WithTimeZone() | Time::ShortForm() | Time::TwoFields() | Time::UTC();
%extern 5 Int Time::tzDist(Int);
%extern 5 public String Time::isoTime(Int,[Time::IsoTimeOpts] = []);
%extern 5 public String Time::isoTime(Time::Time,[Time::IsoTimeOpts] = [],Int = 0);
%extern 5 pure String Time::twodigits(Int);
%extern 5 public Time::Time Time::parseISO8601(String);
%extern 5 public Time::Time Time::parseRFC2822(String);
%extern 5 public String Time::cookieTime(Time::Time);
%extern 5 public String Time::rfc2822Time(Time::Time,String = "+0000");
%extern 5 public Time::Day Time::day(String);
%extern 5 public String Time::string(Time::Day);
%extern 5 public Time::Month Time::month(Int);
%extern 5 public Int Time::int(Time::Month);
%extern 5 public Time::Month Time::month(String);
%extern 5 public String Time::string(Time::Month);
%extern 5 public Time::Time Time::addDays(Time::Time,Int);
%extern 5 public Int Time::mkTime(Time::Time);
%extern 5 public Time::Time Time::localTime(Int = @now());
%extern 5 public 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 public Int Time::microTime();
%extern 5 public Int Time::now();
%extern 5 pure %startup Void Time::__init();