User:Theki/functions

• nonexistent but should logically exist
• shouldnt logically exist

data

conversions

from to	boolean	float64	integer	natural number	rational number	string
boolean	Z​10215	Z​15684
float64			Z​20937	Z​20936	Z​20854	Z​20915
integer				Z​17101	Z​19682	base n: Z​18467 base 10: Z​16705
natural number	Z​17065		Z​20391	Z​13636		base n: Z​13806 base 10: Z​14290
rational number		Z​21071	Z​19744	Z​21653	Z​20112	Z​19866
string	Z​10730	Z​20844	base n: Z​18592 base 10: Z​16700	base n: Z​15671 base 10: Z​14280	Z​19827	Z​11602

• (int as nat)
• (nat as int)
• (rat as f64)

operations

	float64	integer	natural number	rational number	string	list
==	same value: Z​20924 same object: Z​20850	Z​16688	Z​13522	same value: Z​19686 same object: Z​19892	Z​866	Z​889
>	Z​20943	Z​17132	Z​13676	Z​19751
<	Z​20940	Z​17140	Z​13689	Z​19753
>=	Z​20944	Z​17173	Z​13682	Z​19752
<=	Z​20941	Z​17363	Z​13695	Z​19754
+	Z​20849	Z​16693	Z​13521	Z​19679	Z​10000	typed: Z​12961 untyped: Z​18597
−	​Z​21031	Z​17111	as integer: Z​17315 as natural number: Z​13569	Z​19699		first: Z​812 last: Z​12967
×	Z​21032	Z​17120	Z​13539	Z​19706
÷	Z​21033	Z​17291	Z​13546	Z​19708
%	Z​22236	Z​17167	Z​13551	Z​20006
>>			Z​13813
<<			Z​13812
abs	Z​21041	as integer: Z​17128 as natural number: Z​17144		Z​21692
pow	Z​21028	Z​17263	Z​13647	Z​19953
sqrt	Z​22600	Z​24591	Z​15256	Z​20902

boolean operations

	boolean (tf)	kleenean (mtf)	bitwise
AND	Z​10174	Z​22143	natural number: Z​13651
OR	Z​10184	Z​22168	natural number: Z​13652
NOT	Z​10216	Z​22207	byte: Z​22529 integer: Z​17794
NAND	Z​10243	Z​24749	byte: Z​24716
XOR (≠)	Z​10237	Z​22231	natural number: Z​13653
NOR	Z​10231
XNOR (=)	Z​844	Z​22120

list functions

Typed list (Z881): A list containing items of the same type

• generate (range): generate untyped list of length (Z21821): calls the given function for each index 1..=n, appending the results into a list (zero-indexed version at Z24387)
• generate (replicated object): replicate object n times (Z21389): Description missing
• map map function (Z873): return a list of elements processed by a given function
• map(list, const): apply a two-parameter function to a list of first arguments and a common second argument (Z13464): returns a list of the results of running the function once for each item on the list, each time with the first argument from the list and the second argument in common.
• map(const, list): apply a two-parameter function to a common first argument and a list of second arguments (Z13436): returns a list of results
• match tail: rest of list (Z16199): returns the part of the list that follows the first matching element
• type: return Typed list (Z18475): returns a Typed list with the correct Type if all elements have the same Type, otherwise untyped (Z1-typed)

typed?

• concatenate: concatenate Typed lists (Z18755): both lists should be the same type, and the result should have that type
• deduplicate: remove duplicates from Typed list (Z19202): returns a Typed list with duplicate elements removed
• flatten: flatten Typed list (Z23606): flatten a Typed list to limited depth
• generate (natural number range): natural number range (Z13831): Get a list of natural numbers spanning a given range
• reverse: reverse Typed list (Z18479): returns a Typed list with the order of the elements reversed
• untype: untype a list (Z17895): takes a typed list and returns the same objects in an untyped (Z1-typed) list (returns a Z1-typed list unchanged)

map functions

Typed map (Z883): an unordered list of elements, each containing a unique key that points to the element's contained value

• empty?: is string-keyed map empty (Z24609): Description missing
• from list: make string-keyed map (Z24646): Constructs a typed map out of a list of (string, object) pairs
• get value: get element of string-keyed map (Z24606): returns the second element of the Typed pair whose first element matches the key provided (or the first such pair in the event of duplicate keys)
• identity: Typed map identity (string-keyed) (Z24603): returns the provided typed map unchanged
• map: map function over keys of map (Z24608): runs the provided function on each element of the provided map, with the key in the first argument of the called function and the value in the second argument
• parse JSON: parse JSON object to map (Z24602): Description missing

returns (no map inputs)

• values of Object as map: Values by keys (Z804): returns the key–value pair for each of the given list of Key references, as a typed map (Key reference, Object)

language

see also Natural language generation functions, Useful functions for article composition

A	adjective
C	class
N	noun
V	verb

sentence type	multilingual function	config	monolingual text	language parameter in English implementation
(a A N)	indefinite noun phrase with adjective (Z22664)	config for indefinite noun phrase (from Lexemes) (Z21733)	no	no
N is a C.	subject is instance of (string) <AW: use Z32962> (Z26039)	config for entity is instance of class sentences (Z26043)
An N is a C.	subject is kind of (Monolingual) <AW use: Z32965> (Z26095)	config for article-ful instantiating sentences (Z26096)	yes
N is a C in N.	state location w/ entity & class, mono <AW:Z36983> (Z26570)	config for state location using entity and class (Z29843)
Cs are Cs.	classifying a class of nouns (Z26627)	config for classifying a class of nouns (Z27126)
C is A C.	describe the class of a class (Z27173)	config for describing class of class (Z29628)	no
N is the Aest C in N.	superlative definition (monolingual) (Z27243)	config for superlative definition (Z29841)	yes
N is the N of N.	defining role sentence (monolingual) (Z28016)	config for defining role sentence (Z28020)		yes
Ns are Ns of N.	collective role sentence (Z32326)	config for collective role sentence (Z32255)
Ns V Ns.	(DEPRECATED) simple present collective sentence (Z32531)	config for simple present collective sentence (Z32530)
N is a C by N.	creative work – entity, class, creator (Monolingu) (Z32581)	config for creative work - entity, class, creator (Z32534)		no
N is a C and C.	subject is instance of multiple objects (Z32643)	config for article-less multi instantiating (Z32660)		yes
N is a C, C, and C.
N Vs N.	(DEPRECATED) simple present sing. sentence, indef (Z33185)	(DEPRECATED) config for simple present sing senten (Z33184)
N is a C from N.	state origin using entity and class (Z33975)	config for state origin using entity and class (Z33981)
N is the #th C by N.	subject is Nth instance of class by creator (Z34253)	config for Nth instance of class by creator (Z34255)
N is a C. (automatic based on Wikidata class)	auto-classifying – entity (monoling) <AW Z39256> (Z34282)	DEPRECATED config for classifying sentence (Z34281)		no
N is a A N.	describing entity w. adjective/class (monolingual) (Z29591)	config for describing entity with adjective/class (Z29597)		yes
N is a N of N.	non-defining role sentence (Monolingual text) (Z32982)	config for non-defining role sentence (Z32981)

Useful:

• inject abstract wikilink into string as string (Z34124)

personal functions

• get keys of JSON object (Z24629)
• get nested keys of JSON object (Z24632)
• index of first Pair w/ identical head element (Z24649)
• display typed pair (Z24660)
• make Typed pair from untyped list (Z24665)
• Mandelbrot set function, complex128 (Z33834)
• Mandelbrot set value (Z33836)
• emphasize string into HTML fragment (Z33890)
• Wikidata statement pair (Z35188)
• apply fn to 2nd element of pair, optional language (Z35190)
• display Wikidata date from statement (Z35192)
• abstract wikilink from statement (Z35199)
• calendar model of Wikidata time (Z35418)
• inject abstract wikilink into monolingual text (Z35472)

date/time

• Arvelie date from Gregorian date (Z23246): year zero defines when journaling begins (e.g. starting timekeeping on 2024-11-30 makes 2024 year zero) (see https://wiki.xxiivv.com/site/arvelie.html)
• Neralie timestamp (Z23783): see https://wiki.xxiivv.com/site/neralie.html
• Unix timestamp from Gregorian calendar date (Z23801): returns provided date as number of seconds since the Unix epoch (1 January 1970); for inverse see Z23808
• Gregorian calendar date from Unix timestamp (Z23808): returns Gregorian calendar date from supplied seconds since the Unix epoch (1 January 1970); for inverse see Z23801
• current date (Z23833): returns the current date, subject to caching (like the magic words 20261006002139 etc.)
• format Unix timestamp (Z23865): format string should be mostly compatible with https://en.cppreference.com/w/cpp/chrono/c/strftime

toki pona

see Wikifunctions:Catalogue/Natural language operations/Toki Pona

• Toki Pona cardinal (Z22455)
• Toki Pona Latin to Sitelen Pona (Z22571)
• Toki Pona cardinal in nasin nanpa pona (Z24721)
• Toki Pona instantiating sentence (Z33828)
• state location using entity and class, Toki Pona (Z33831)
• Toki Pona noun classification sentence (Z33873)

infoboxes

• infobox for person (Z35370)
  • infobox for person as item (Z35167)
    • required properties for person infobox (Z35371)
    • implementations depend on these bespoke functions
      • infobox template (Z35175)
      • name + native name as HTML fragment (Z35176)
      • Wikidata statement pair (Z35188)
        • name for table header from property (Z35362)
      • display Wikidata date from statement (Z35192)
      • abstract wikilink from statement (Z35199)
      • infobox row from Wikidata property (Z35374)
      • post-process second element of Wikidata claim pair (Z35376)

creation

• infobox template (Z35175)
• name + native name as HTML fragment (Z35176)

todo

• add toki pona to config for main articles functions (Z33855)
• move certain uses of sentence case (Z10771) to conditional sentence case (Z34096)
• make sure English sentence generation functions have a language parameter to allow for rendering of certain words in e.g. British English (use apply three or optionally four argument function (Z34039))
  • English simple present singular sentence, indef (Z33059)