Advertisement
Guest User

Not markdown :/

a guest
Dec 4th, 2017
58
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 22.07 KB | None | 0 0
  1. Char Alias Name Type Description
  2. ¤ cur combin (y -> y -> z) -> (x -> y) -> x -> x -> z Compose both arguments of binary function
  3. ½ hlf halve TNum -> TNum Divide by 2
  4. islowr TChar -> TNum Is it a lowercase letter
  5. halfL [x] -> [[x]] Split a list into two halves. If the length is odd, the first half will be longer.
  6. ↕ ud span (Concrete y) => (x -> y) -> [x] -> ([x], [x]) Split at first value where function gives falsy result
  7. ↑ up take TNum -> [x] -> [x] Take n elements from list. Negative n takes from the end
  8. take2 [x] -> TNum -> [x] Flipped version of take
  9. takew (Concrete y) => (x -> y) -> [x] -> [x] Longest prefix where function gives truthy result
  10. ↓ dow drop TNum -> [x] -> [x] Drop n elements from list. Negative n drops from the end
  11. drop2 [x] -> TNum -> [x] Flipped version of drop
  12. dropw (Concrete y) => (x -> y) -> [x] -> [x] Drop longest prefix where function gives truthy result
  13. ↔ lr swap (x, y) -> (y, x) Swap a pair
  14. rev [x] -> [x] Reverse a list
  15. ← lft head [x] -> x First value of a list
  16. fst (x, y) -> x Left value of a pair
  17. predN TNum -> TNum Decrement number
  18. predC TChar -> TChar Decrement character
  19. → rgt last [x] -> x Last value of a list
  20. snd (x, y) -> y Right value of a pair
  21. succN TNum -> TNum Increment number
  22. succC TChar -> TChar Increment character
  23. \n Newline Separates lines in program
  24. ¦ bar divds TNum -> TNum -> TNum Does first argument divide the second
  25. subset Concrete x => [x] -> [x] -> TNum Is the second argument a subset of the first (counting multiplicities but not order)
  26. ¡ exc iter (x -> x) -> x -> [x] Apply function repeatedly, collect values in infinite list
  27. iterP ([x] -> x) -> [x] -> [x] Apply function repeatedly, obtaining a new value from the list of previous ones
  28. iterL (x -> [x]) -> [x] -> [x] Apply function repeatedly, concatenate results into infinite list
  29. iter2 (x -> (x, y)) -> x -> [y] Apply function repeatedly to first result, collect second results into infinite list
  30. ‼ dex twice (x -> x) -> (x -> x) Apply function twice
  31. … ell rangeN TNum -> TNum -> [TNum] Inclusive numeric range
  32. rangeC TChar -> TChar -> [TChar] Inclusive character range
  33. rangeL [TNum] -> [TNum] Fill gaps with numeric ranges
  34. rangeS [TChar] -> [TChar] Fill gaps with character ranges
  35. ‰ ppm mod1 TNum -> TNum -> TNum Like mod, but result is in range [1 .. n] ([n .. -1] for negative n)
  36. † dag vec (Vect a b x y) => (a -> b) -> x -> y Vectorize a function ("deep map")
  37. ‡ ddg vec2 (Vect2 a b c x y z) => (a -> b -> c) -> x -> y -> z Bi-vectorize a function ("deep zip")
  38. √ srd sqrt TNum -> TNum Square root
  39. isalph TChar -> TNum Is it a letter
  40. ≤ leq le (Concrete x) => x -> x -> TNum Less than or equal
  41. ≥ geq ge (Concrete x) => x -> x -> TNum Greater than or equal
  42. ± pm sign TNum -> TNum Sign of a number
  43. isdigt TChar -> TNum Is it a digit
  44. ∂ ptl adiags [[x]] -> [[x]] Antidiagonals
  45. ∫ int cumsum [TNum] -> [TNum] Cumulative sum
  46. cumcat [[a]] -> [[a]] Cumulative concatenation
  47. ∞ inf rep x -> [x] Infinite list of copies of the argument
  48. ≈ apx simil (Concrete x) => x -> x -> TNum Similar. For numbers or chars checks if the absolute difference is <=1. For lists checks if they are the same length. For Pairs checks if both elements are similar.
  49. ≠ neq neq (Concrete x) => x -> x -> TNum Not equal
  50. ≡ cng congr (Concrete x) => x -> x -> TNum Recursively check if the two arguments have the same shape and the same distribution of truthy/falsy values. Returns 1 or 0.
  51. ¬ neg not (Concrete x) => x -> TNum Negation of truthiness
  52. ÷ div idiv TNum -> TNum -> TNum Integer division
  53. × eks mix (x -> y -> z) -> [x] -> [y] -> [z] Function applied to all pairs drawn from the lists
  54. Space Token separator, flag for multi-digit labels and marked lines
  55. ! index TNum -> [x] -> x Value at modular index
  56. index2 [x] -> TNum -> x index with flipped arguments
  57. \ inv TNum -> TNum Reciprocal number
  58. swcase TChar -> TChar Swap case
  59. " Double quote String delimiter
  60. # countf (Concrete y) => (x -> y) -> [x] -> TNum Number of list elems where function result is truthy
  61. count (Concrete x) => x -> [x] -> TNum Number of occurrences of value in list
  62. count' (Concrete x) => [x] -> x -> TNum Flipped version of count
  63. count2 (Concrete y) => (x -> x -> y) -> [x] -> TNum Number of adjacent pairs of elements where function result is truthy
  64. % mod TNum -> TNum -> TNum Modulus of second argument by first
  65. & and (Concrete x) => x -> x -> x Second argument if falsy, else first
  66. and' (Concrete x, Concrete y) => x -> y -> TNum Are both arguments truthy?
  67. ' Single quote Character delimiter
  68. () Parentheses Group expressions
  69. * mul TNum -> TNum -> TNum Multiply numbers
  70. replen [x] -> TNum -> [x] Repeat list to multiply its length by n
  71. repln' TNum -> [x] -> [x] replen with flipped arguments
  72. cart2 [x] -> [x] -> [[x]] Cartesian product with 2-element lists
  73. ccons [x] -> [[x]] -> [[x]] Cartesian product with cons
  74. csnoc [[x]] -> [x] -> [[x]] Cartesian product with snoc
  75. + add TNum -> TNum -> TNum Add numbers
  76. cat [x] -> [x] -> [x] Concatenate lists
  77. , pair x -> y -> (x, y) Construct pair
  78. - sub TNum -> TNum -> TNum Subtract first argument from second
  79. diffl (Concrete x) => [x] -> [x] -> [x] List difference
  80. del (Concrete x) => x -> [x] -> [x] Remove first occurrence of element from list
  81. . Decimal point Used in floating point literals
  82. / div TNum -> TNum -> TNum Floating point division
  83. 0-9 Digits Used in numeric literals
  84. : cons x -> [x] -> [x] Prepend a value to a list
  85. snoc [x] -> x -> [x] Append a value to a list
  86. ; pure x -> [x] Create singleton list
  87. < lt (Concrete x) => x -> x -> TNum Less than
  88. = eq (Concrete x) => x -> x -> TNum Equals
  89. > gt (Concrete x) => x -> x -> TNum Greater than
  90. ? if (Concrete x) => y -> y -> x -> y Ternary if conditioned on third argument
  91. if2 (Concrete x) => (x -> y) -> y -> x -> y If truthy, apply function, else give default value
  92. fif (Concrete x) => (z -> y) -> (z -> y) -> (z -> x) -> z -> y Ternary if for functions
  93. A mean [TNum] -> TNum Average of a list
  94. B base TNum -> TNum -> [TNum] Digits in given base
  95. abase TNum -> [TNum] -> TNum Interpret as digits in given base
  96. C cut TNum -> [a] -> [[a]] Cut into sublists of given length. Negative n counts lengths from the end.
  97. cut2 [a] -> TNum -> [[a]] Flipped version of cut
  98. cuts [TNum] -> [a] -> [[a]] Cut off substrings of given lengths. Negative n cuts from the end.
  99. D double TNum -> TNum Multiply by 2
  100. isuppr TChar -> TNum Is it an uppercase letter
  101. doubL [x]->[x] Repeats a list twice
  102. E same Concrete x => [x] -> TNum Are all elements equal?
  103. F foldl (y -> x -> y) -> y -> [x] -> y Left fold
  104. foldl1 (x -> x -> x) -> [x] -> x Left fold without initial value
  105. aptp (x -> y -> z) -> (x, y) -> z Apply binary function to tuple
  106. G scanl (y -> x -> y) -> y -> [x] -> [y] Scan from left
  107. scanl1 (x -> x -> x) -> [x] -> [x] Scan from left without initial value
  108. scltp (x -> y -> z) -> (x, y) -> (z, y) Apply binary function to tuple, updating left element
  109. I id x -> x Identity function
  110. J join [x] -> [[x]] -> [x] Join by a list
  111. join' x -> [[x]] -> [x] Join by an element
  112. joinE [x] -> [x] -> [x] Join elements by a list
  113. joinV x -> [x] -> [x] Insert value between all elements
  114. K const x -> y -> x Constant function
  115. L len [x] -> TNum Length of list
  116. nlen TNum -> TNum Length of string representation
  117. M lmap (x -> y -> z) -> [x] -> y -> [z] Map over left argument
  118. lmaptp (x -> z) -> (x, y) -> (z, y) Apply function to left element of tuple
  119. N nats [TNum] Infinite list of natural numbers
  120. O sort (Concrete x) => [x] -> [x] Sort list in ascending order
  121. P perms [a] -> [[a]] List of all permutations of the given list
  122. Q slices [a] -> [[a]] All contiguous sublists
  123. R replic TInt -> a -> [a] List composed by a given number of copies of a value
  124. replif a -> TInt -> [a] replic with flipped arguments
  125. S hook (x -> y -> z) -> (x -> y) -> x -> z S-combinator
  126. bhook (x -> y -> z) -> (x -> u -> y) -> x -> u -> z S-combinator with extra argument: S f g a b means f a (g a b)
  127. T trsp [[a]] -> [[a]] Transpose a 2-d list, elements missing from shorter rows are skipped
  128. trspw a -> [[a]] -> [[a]] Transpose using the given element to pad shorter rows
  129. unzip [(a, b)] -> ([a], [b]) Unzip a list of pairs
  130. U nubw Concrete a => [a] -> [a] Longest prefix of a list with all unique elements
  131. V any Concrete b => (a->b) -> [a] -> TNum Index of first element satisfying predicate, 0 if not found
  132. any2 Concrete b => (a->a->b) -> [a] -> TNum Index of first element satisfying the predicate in respect to the next element in the list, 0 if not found
  133. X slice TNum -> [a] -> [[a]] All subslists of length n. Negative n includes final stubs.
  134. ^ power TNum -> TNum -> TNum Second argument raised to the power of the first
  135. _ neg TNum -> TNum Negate a number
  136. tolowr TChar -> TChar Covert to lowercase
  137. ` flip (x -> y -> z) -> y -> x -> z Invert order of arguments
  138. a abs TNum -> TNum Absolute value
  139. touppr TChar -> TChar Convert to uppercase
  140. c chr TNum -> TChar Convert integer to character
  141. ord TChar -> TNum Convert character to integer
  142. chrL [TNum] -> [TChar] Convert list of codepoints to string
  143. ordL [TChar] -> [TNum] Convert string to list of codepoints
  144. d base10 TNum -> [TNum] Base-10 digits
  145. abas10 [TNum] -> TNum Interpret in base 10
  146. e list2 x -> x -> [x] Create a list with two elements
  147. f filter (Concrete y) => (x -> y) -> [x] -> [x] Filter list by predicate
  148. select (Concrete x) => [x] -> [y] -> [y] Filter list by another list
  149. g group (Concrete x) => [x] -> [[x]] Group equal adjacent values
  150. h init [x] -> [x] Remove last element
  151. i d2i TDouble -> TNum Convert from Double to Int by rounding (round half to even)
  152. c2i TChar -> TNum Chars in "0123456789" return their digit value, other Chars return 0
  153. s21 [TChar] -> TNum Return the first integer found inside the string
  154. k keyon Concrete y => (x -> y) -> [x] -> [[x]] Group list elements into classes by function value. Classes are ordered by the function values.
  155. keyby Concrete y => (x -> x -> y) -> [x] -> [[x]] Group list elements into classes by equality predicate. Classes are ordered by occurrence.
  156. m map (x -> y) -> [x] -> [y] Map function over list
  157. mapr [x -> y] -> x -> [y] Map list of functions over value
  158. maptp (x -> y) -> (x, x) -> (y, y) Map function over tuple
  159. n bwand TNum -> TNum -> TNum Bitwise AND
  160. isect Concrete x => [x] -> [x] -> [x] List intersection, counting multiplicities
  161. o com (y -> z) -> (x -> y) -> x -> z Function composition
  162. com2 (z -> u) -> (x -> y -> z) -> x -> y -> u Binary composition
  163. com3 (u -> v) -> (x -> y -> z -> u) -> x -> y -> z -> v Ternary composition
  164. com4 (v -> w) -> (x -> y -> z -> u -> v) -> x -> y -> z -> u -> w Quaternary composition
  165. p pfac TNum -> [TNum] Prime factorization
  166. r read (Concrete x) => [TChar] -> x Convert string to value
  167. s show (Concrete x) => x -> [TChar] Convert value to string
  168. t tail [x] -> [x] Remove first element
  169. u nub (Concrete x) => [x] -> [x] Remove duplicates
  170. v bwor TNum -> TNum -> TNum Bitwise OR
  171. union Concrete x => [x] -> [x] -> [x] List union: concatenate, removing duplicates from first argument
  172. ucons Concrete x => x -> [x] -> [x] Prepend unless already present
  173. usnoc Concrete x => [x] -> x -> [x] Append unless already present
  174. w words [TChar] -> [[TChar]] Split on spaces
  175. unwords [[TChar]] -> [TChar] Join with spaces
  176. uwshow Concrete x => [x] -> [TChar] Join string representations with spaces
  177. uwpshw (Concrete x, Concrete y) => (x, y) -> [TChar] Join string representations with space
  178. x split Concrete x => x -> [x] -> [[x]] Split on given element
  179. split' Concrete x => [x] -> x -> [[x]] Flipped version of split
  180. splitL Concrete x => [x] -> [x] -> [[x]] Split on occurrences of sublist
  181. z zip (x -> y -> z) -> [x] -> [y] -> [z] Zip lists with function
  182. | or (Concrete x) => x -> x -> x Second argument if truthy, else first
  183. or' (Concrete x, Concrete y) => x -> y -> TNum Is any of the arguments truthy?
  184. ~ branch (x -> y -> z) -> (u -> x) -> (v -> y) -> (u -> v -> z) Compose both arguments of binary function separately
  185. · blt comf (x -> y -> z) -> (u -> y) -> (x -> u -> z) Compose second argument of function
  186. ₀-₉ nul-nin Subscript digits Line labels
  187. ⌈ lce ceil TNum -> TNum Ceiling function
  188. ⌉ rce lcm TNum -> TNum -> TNum Lowest common multiple
  189. ⌊ lfl floor TNum -> TNum Floor function
  190. ⌋ rfl gcd TNum -> TNum -> TNum Greatest common divisor
  191. Γ Gam list y -> (x -> [x] -> y) -> [x] -> y Pattern match on list
  192. listN (x -> [x] -> y) -> [x] -> y Pattern match on nonempty list
  193. listF y -> (([x] -> y) -> (x -> [x] -> y)) -> [x] -> y Recursive pattern match on list
  194. listNF (([x] -> y) -> (x -> [x] -> y)) -> [x] -> y Recursive pattern match on nonempty list
  195. Θ The prep0 [x]->[x] Prepends a default value of the appropriate type to a list. Default values are either falsy values (0,[],...) or functions returning those values.
  196. Λ Lam all Concrete b => (a->b) -> [a] -> TNum Check if all elements satisfy predicate, return 1/0
  197. all2 Concrete b => (a->a->b) -> [a] -> TNum Check if all adjacent pairs of elements satisfy the predicate, return 1/0
  198. Ξ Xi merge Concrete b => (a -> a -> b) -> [[a]] -> [a] Ξ f x merges the list of lists x preserving the order given by f. Each list should be ordered, and if there are more than 2 lists, their heads should also be ordered. Works on infinite lists.
  199. merge2 Concrete b => (a -> b) -> [[a]] -> [a] Like merge, but preserves order obtained by applying f to each value.
  200. Π Pi prod [TNum] -> TNum Product of list
  201. fact TNum -> TNum Factorial
  202. cartes [[x]] -> [[x]] Cartesian product
  203. Σ Sig sum [TNum] -> TNum Sum of list
  204. trianI TNum -> TNum Triangular number
  205. concat [[x]] -> [x] Concatenate lists
  206. Ψ Psi toadjM (((a, a) -> c) -> [(a,a)] -> [[(a, a)]]) -> (a -> a -> c) -> [a] -> [[a]] Apply higher-order function on adjacent pairs instead of single elements
  207. toadjL (((a, a) -> c) -> [(a,a)] -> [(a, a)]) -> (a -> a -> c) -> [a] -> [a] Like toadjL but result is a flat list
  208. toadjV (((a, a) -> c) -> [(a,a)] -> (a, a)) -> (a -> a -> c) -> [a] -> a Like toadjL but result is an element
  209. toadjN (((a, a) -> c) -> [(a,a)] -> b) -> (a -> a -> c) -> [a] -> b Like toadjL but result is any value
  210. Ω Ohm until Concrete y => (x -> y) -> (x -> x) -> x -> x Iterate function until test result is truthy
  211. ε eps small TNum -> TNum Has absolute value at most 1
  212. single [x] -> TNum Has length 1
  213. δ del decorM (((a, b) -> c) -> [(a,b)] -> [[(a,d)]]) -> (a -> b -> c) -> [a] -> [b] -> [[d]] Apply higher-order function using auxiliary list
  214. decorL (((a, b) -> c) -> [(a,b)] -> [(a,d)]) -> (a -> b -> c) -> [a] -> [b] -> [d] Like decorM but result is a flat list
  215. decorV (((a, b) -> c) -> [(a,b)] -> (a,d)) -> (a -> b -> c) -> [a] -> [b] -> d Like decorM but result is an element
  216. decorN (((a, b) -> c) -> [(a,b)] -> d) -> (a -> b -> c) -> [a] -> [b] -> d Like decorM but result is any value
  217. λ lam Small lambda One-argument anonymous function
  218. μ mu Small mu Two-argument anonymous function
  219. ξ xi Small xi Three-argument anonymous function
  220. π pi cpow TNum -> [x] -> [[x]] Cartesian power
  221. cpow' [x] -> TNum -> [[x]] Flipped version of cpow
  222. cpowN TNum -> TNum -> [[TNum]] Cartesian power of range [1..n]
  223. σ sjg subs (Concrete x) => x -> x -> [x] -> [x] Substitute value in list
  224. subs2 (Concrete x) => [x] -> [x] -> [x] -> [x] Substitute sublist in list
  225. φ phi Small phi Self-referential anonymous function
  226. χ chi Small chi Self-referential anonymous function with 2 extra arguments
  227. ψ psi Small psi Self-referential anonymous function with extra argument
  228. ω ohm fixp (Concrete x) => (x -> x) -> x -> x Find periodic point by iterating
  229. fixpL (Concrete x) => (x -> [x]) -> x -> [x] Find periodic point under concatenation
  230. ⁰-⁹ Nul-Nin Superscript digits Lambda arguments
  231. ¢ cnt cycle [x] -> [x] Repeat list infinitely
  232. £ gbp oelem (Concrete x) => [x] -> x -> TNum Like elem, but the list is supposed to be sorted
  233. oelem' (Concrete x) => x -> [x] -> TNum oelem with flipped arguments
  234. € eur elem (Concrete x) => [x] -> x -> TNum Index of first occurrence, or 0 if not found
  235. elem' (Concrete x) => x -> [x] -> TNum elem with flipped arguments
  236. subl (Concrete x) => [x] -> [x] -> TNum Index of first beginning of the sublist, or 0 if not found
  237. ƒ fl fix (x -> x) -> x Least fixed point (used for recursion)
  238. ´ acu argdup (x -> x -> y) -> x -> y Apply twice to same argument
  239. ▲ top max (Concrete x) => x -> x -> x Maximum of two values
  240. maxl (Concrete x) => [x] -> x Maximum of list
  241. ▼ bot min (Concrete x) => x -> x -> x Minimum of two values
  242. minl (Concrete x) => [x] -> x Minimum of list
  243. ► est minby Concrete y => (x -> x -> y) -> x -> x -> x Minimum of two values with custom ordering predicate
  244. minon Concrete y => (x -> y) -> x -> x -> x Value that minimizes function result
  245. minlby Concrete y => (x -> x -> y) -> [x] -> x Minimum element with custom ordering predicate
  246. minlon Concrete y => (x -> y) -> [x] -> x Element that minimizes function result
  247. ◄ wst maxby Concrete y => (x -> x -> y) -> x -> x -> x Maximum of two values with custom ordering predicate
  248. maxon Concrete y => (x -> y) -> x -> x -> x Value that maximizes function result
  249. maxlby Concrete y => (x -> x -> y) -> [x] -> x Maximum element with custom ordering predicate
  250. maxlon Concrete y => (x -> y) -> [x] -> x Element that maximizes function result
  251. § sec fork (x -> y -> z) -> (u -> x) -> (u -> y) -> u -> z Compose each argument of binary function
  252. fork2 (x -> y -> z) -> (u -> v -> x) -> (u -> v -> y) -> u -> v -> z Compose each argument of binary function with binary function
  253. Ċ dC gaps TNum -> [a] -> [a] Take every **abs(n)**th element, starting from the first if n is positive, from the -n-1st if negative
  254. gaps2 [a] -> TNum -> [a] Flipped version of gaps
  255. gapsL [TNum] -> [a] -> [a] Like gaps, but specifying the length of each jump
  256. Ḋ dD divs TNum -> [TNum] List of divisors
  257. Ḟ dF foldr (x -> y -> y) -> y -> [x] -> y Right fold
  258. foldr1 (x -> x -> x) -> [x] -> x Right fold without initial value
  259. apftp (y -> x -> z) -> (x, y) -> z Apply flipped function to tuple
  260. Ġ dG scanr (x -> y -> y) -> y -> [x] -> [y] Scan from right
  261. scanr1 (x -> x -> x) -> [x] -> [x] Scan from right without initial value
  262. scrtp (x -> y -> z) -> (x, y) -> (x, z) Apply binary function to tuple, updating right element
  263. İ dI Dotted capital I Access built-in integer sequences
  264. Ṁ dM rmap (x -> y -> z) -> x -> [y] -> [z] Map over right argument
  265. rmaptp (y -> z) -> (x, y) -> (x, z) Apply function to right element
  266. Ṗ dP powset [x] -> [[x]] All finite subsequences
  267. powstN TNum -> [x] -> [[x]] Subsequences of length n. Negative n gives subsequences of length up to -n.
  268. Ṙ dR clone TNum -> [x] -> [x] Replicate each element by given number
  269. clone' [x] -> TNum -> [x] clone with flipped arguments
  270. clones [TNum] -> [x] -> [x] Replicate each element by corresponding number
  271. Ṡ dS hookf (x -> y -> z) -> (y -> x) -> y -> z Like S, but composes on other argument
  272. bhookf (x -> y -> z) -> (u -> y -> x) -> u -> y -> z Like binary S, but composes on other argument: Ṡ f g a b means f (g a b) b
  273. Ṫ dT table (x -> y -> z) -> [x] -> [y] -> [[z]] Outer product, or "multiplication table"
  274. Ẋ dX mapad2 (x -> x -> y) -> [x] -> [y] Map over pairs of adjacent values
  275. mapad3 (x -> x -> x -> y) -> [x] -> [y] Map over triples of adjacent values
  276. ḋ dd base2 TNum -> [TNum] Binary digits
  277. abase2 [TNum] -> TNum Interpret in base 2
  278. ė de list3 x -> x -> x -> [x] Create a list with three elements
  279. ḟ df find (Concrete y) => (x -> y) -> [x] -> x Return first value that gives truthy result
  280. findN (Concrete x) => (TNum -> x) -> TNum -> TNum Return first number at least n that gives truthy result
  281. ġ dg groupOn (Concrete y) => (x -> y) -> [x] -> [[x]] Group on function result
  282. groupBy (Concrete y) => (x -> x -> y) -> [x] -> [[x]] Group by equality predicate
  283. ḣ dh heads (Concrete x) => x -> [x] Prefixes for lists, range for numbers
  284. ŀ dl lrange TNum -> [TNum] Lowered range (from 0 to n-1)
  285. ixes [x] -> [TNum] The range [1 .. length(x)]
  286. ṁ dm cmap (x -> [y]) -> [x] -> [y] Map function over list and concat the result
  287. smap (x -> TNum) -> [x] -> TNum Map function over list and sum the result
  288. cmapr [x -> [y]] -> x -> [y] Map list of functions over value and concat the result
  289. smapr [x -> TNum] -> x -> TNum Map list of functions over value and sum the result
  290. ȯ do Too many to list Composition of three functions; ȯABC is roughly equivalent to (ABC)
  291. ṗ dp isprime TNum -> TNum Return the index of the argument in the list of all primes, or 0 if it is not a prime number
  292. ṙ dr rotate TNum -> [a] -> [a] Rotate n steps to the left
  293. rotatf [a] -> TNum -> [a] rotate with flipped arguments
  294. ṡ ds srange TNum -> [TNum] Symmetric range (from -n to n)
  295. rvixes [x] -> [TNum] ixes reversed
  296. ṫ dt tails (Concrete x) => x -> [x] Suffixes for lists, reversed range for numbers
  297. ż dz zip' (a -> a -> a) -> [a] -> [a] -> [a] Like zip, but keeps trailing elements from the longer list unchanged.
  298. ¨ die Dieresis Delimiter for compressed strings
  299. Ë DE sameon Concrete y => (x -> y) -> [x] -> TNum Are function results all equal
  300. sameby Concrete y => (x -> x -> y) -> [x] -> TNum Are all values equal by a predicate? Checks p x y for all pairs x, y that occur in this order.
  301. Ö DO sorton (Concrete y) => (x -> y) -> [x] -> [x] Sort by function result
  302. sortby (Concrete y) => (x -> x -> y) -> [x] -> [x] Sort using ordering predicate. In Ö p, p x y is interpreted as "x is greater than y".
  303. ë De list4 x -> x -> x -> x -> [x] Create a list with four elements
  304. ö Do Too many to list Composition of four functions; öABCD is roughly equivalent to (ABCD)
  305. ü Du nubon (Concrete x) => (x -> y) -> [x] -> [x] Remove duplicates by function result
  306. nubby (Concrete x) => (x -> x -> y) -> [x] -> [x] Remove duplicates using equality predicate
  307. ø so empty [x] Empty list
  308. □ squ square TNum -> TNum Raise to second power
  309. isanum Is it alphanumeric
  310. ¶ pgf lines [TChar] -> [[TChar]] Split on newlines
  311. unlines [[TChar]] -> [TChar] Join by newlines
  312. ulshow Concrete x => [x] -> [TChar] Join string representations by newlines
  313. ulpshw (Concrete x, Concrete y) => (x, y) -> [TChar] Join string representations with newline
  314. « ll mapacL (x -> y -> x) -> (x -> y -> z) -> x -> [y] -> [z] Scanl over a list with the first function, but results are produced by applying the second function to intermediate steps
  315. » rr mapacR (y -> x -> x) -> (y -> x -> z) -> x -> [y] -> [z] Scanr over a list with the first function, but results are produced by applying the second function to intermediate steps
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement