@effekt-lang/effekt 0.13.0 → 0.14.0

package/libraries/common/list.effekt

@@ -222,6 +222,27 @@ def any[A](list: List[A]) { predicate: A => Bool }: Bool = {
   }
 }
 
+/// Count how many elements of a list satisfy the given predicate.
+///
+/// Examples:
+/// ```
+/// > ["AB", "BC", "A", "GG", "AAA"].count { x => x.length == 2 }
+/// 3
+///
+/// > [1, 2, 3, 4, 5, 6, 7, 8, 9, 10].count { x => (x * 2) > 10 }
+/// 5
+/// ```
+/// O(N)
+def count[A](list: List[A]) { predicate: A => Bool }: Int = {
+  var acc: Int = 0
+  list.foreach { el =>
+    if (predicate(el)) {
+      acc = acc + 1
+    }
+  }
+  acc
+}
+
 /// Fold a list using `f`, starting from the left given a starting value.
 ///
 /// O(N)

package/libraries/common/test.effekt

@@ -1,4 +1,4 @@
-import string/tty
+import tty
 import process
 import bench
 
@@ -52,8 +52,8 @@ def assertEqual[A](obtained: A, expected: A, msg: String) { equals: (A, A) => Bo
   do assert(equals(obtained, expected), msg)
 
 def assertEqual[A](obtained: A, expected: A) { equals: (A, A) => Bool } { show: A => String }: Unit / { Assertion, Formatted } =
-  do assert(equals(obtained, expected), Formatted::tryEmit(ANSI::RESET) ++ "Expected: ".dim ++ show(expected).green ++ "\n  Obtained: ".dim ++ show(obtained).red)
-  // NOTE:                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+  do assert(equals(obtained, expected), Formatted::tryEmit(Escape::RESET) ++ "Expected: ".dim ++ show(expected).green ++ "\n  Obtained: ".dim ++ show(obtained).red)
+  // NOTE:                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   //             Here's an accidental capture! Can we prevent this somehow nicely?
 
 

package/libraries/common/tty.effekt

@@ -0,0 +1,192 @@
+module tty
+
+/// Represents a TTY color.
+/// - ANSI for the standard 16 terminal colors
+/// - ANSI256 for standard 256 terminal colors
+/// - NoColor for explicit "this doesn't have a set color"
+type Color {
+  ANSI(code: Int)
+  ANSI256(code: Int)
+  NoColor()
+}
+
+/// Common terminal colors and their constructors
+namespace Color {
+  // Standard ANSI colors
+  val BLACK = ANSI(0)
+  val RED = ANSI(1)
+  val GREEN = ANSI(2)
+  val YELLOW = ANSI(3)
+  val BLUE = ANSI(4)
+  val MAGENTA = ANSI(5)
+  val CYAN = ANSI(6)
+  val WHITE = ANSI(7)
+
+  // Bright ANSI colors
+  val BRIGHT_BLACK = ANSI(8)
+  val BRIGHT_RED = ANSI(9)
+  val BRIGHT_GREEN = ANSI(10)
+  val BRIGHT_YELLOW = ANSI(11)
+  val BRIGHT_BLUE = ANSI(12)
+  val BRIGHT_MAGENTA = ANSI(13)
+  val BRIGHT_CYAN = ANSI(14)
+  val BRIGHT_WHITE = ANSI(15)
+
+  /// Create an ANSI color from a code
+  def ansi(code: Int): Color =
+    if (code < 16) ANSI(code) else ANSI256(code)
+}
+
+/// Converts a color to its escape code
+def toEscapeSeq(color: Color): String = color match {
+  case ANSI(code) =>
+    if (code < 8) (code + 30).show else (code + 82).show
+  case ANSI256(code) => "38;5;" ++ code.show
+  case NoColor() => ""
+}
+
+/// Common escapes
+namespace Escape {
+  val CSI = "\u001b["
+  val OSC = "\u001b]"
+
+  val RESET = CSI ++ "0m"
+  val BOLD = CSI ++ "1m"
+  val FAINT = CSI ++ "2m"
+  val ITALIC = CSI ++ "3m"
+  val UNDERLINE = CSI ++ "4m"
+  val BLINK = CSI ++ "5m"
+  val REVERSE = CSI ++ "7m"
+  val CROSSOUT = CSI ++ "9m"
+  val OVERLINE = CSI ++ "53m"
+}
+
+def escape(code: String): String = Escape::CSI ++ code
+def escapeOSC(code: String): String = Escape::OSC ++ code
+
+// Cursor positioning
+def cursorUp(x: Int): String = escape(x.show ++ "A")
+def cursorDown(x: Int): String = escape(x.show ++ "B")
+def cursorForward(x: Int): String = escape(x.show ++ "C")
+def cursorBack(x: Int): String = escape(x.show ++ "D")
+def cursorNextLine(x: Int): String = escape(x.show ++ "E")
+def cursorPreviousLine(x: Int): String = escape(x.show ++ "F")
+def cursorHorizontal(x: Int): String = escape(x.show ++ "G")
+def cursorPosition(x: Int, y: Int): String = escape(y.show ++ ";" ++ x.show ++ "H")
+
+// Screen manipulation
+def eraseDisplay(x: Int): String = escape(x.show ++ "J")
+def eraseLine(x: Int): String = escape(x.show ++ "K")
+def scrollUp(x: Int): String = escape(x.show ++ "S")
+def scrollDown(x: Int): String = escape(x.show ++ "T")
+def saveCursorPosition(): String = escape("s")
+def restoreCursorPosition(): String = escape("u")
+def changeScrollingRegion(x: Int, y: Int): String = escape(x.show ++ ";" ++ y.show ++ "r")
+def insertLine(x: Int): String = escape(x.show ++ "L")
+def deleteLine(x: Int): String = escape(x.show ++ "M")
+
+// Explicit values for eraseLine
+def eraseLineRight(): String = escape("0K")
+def eraseLineLeft(): String = escape("1K")
+def eraseEntireLine(): String = escape("2K")
+
+// Mouse
+def enableMousePress(): String = escape("?9h")
+def disableMousePress(): String = escape("?9l")
+def enableMouse(): String = escape("?1000h")
+def disableMouse(): String = escape("?1000l")
+def enableMouseHighlight(): String = escape("?1001h")
+def disableMouseHighlight(): String = escape("?1001l")
+def enableMouseCellMotion(): String = escape("?1002h")
+def disableMouseCellMotion(): String = escape("?1002l")
+def enableMouseAllMotion(): String = escape("?1003h")
+def disableMouseAllMotion(): String = escape("?1003l")
+def enableMouseExtendedMode(): String = escape("?1006h")
+def disableMouseExtendedMode(): String = escape("?1006l")
+def enableMousePixelsMode(): String = escape("?1016h")
+def disableMousePixelsMode(): String = escape("?1016l")
+
+// Screen
+def restoreScreen(): String = escape("?47l")
+def saveScreen(): String = escape("?47h")
+def altScreen(): String = escape("?1049h")
+def exitAltScreen(): String = escape("?1049l")
+
+// Bracketed paste
+def enableBracketedPaste(): String = escape("?2004h")
+def disableBracketedPaste(): String = escape("?2004l")
+def startBracketedPaste(): String = escape("200~")
+def endBracketedPaste(): String = escape("201~")
+
+// Session
+def setWindowTitle(s: String): String = escape("2;" ++ s)
+def setForegroundColor(s: String): String = escape("10;" ++ s)
+def setBackgroundColor(s: String): String = escape("11;" ++ s)
+def setCursorColor(s: String): String = escape("12;" ++ s)
+def showCursor(): String = escape("?25h")
+def hideCursor(): String = escape("?25l")
+
+def applyForegroundColor(color: Color): String =
+  escape(color.toEscapeSeq ++ "m")
+
+def applyBackgroundColor(color: Color): String =
+  escape("48;" ++ color.toEscapeSeq ++ "m")
+
+/// Inline images
+/// See https://iterm2.com/documentation-images.html for protocol description
+/// See [imgcat](https://iterm2.com/utilities/imgcat) for more usage details
+def inlineImage(size: Int, base64Image: String) =
+  escape("1337;File=size=" ++ size.show ++ ";inline=1:" ++ base64Image ++ "\u0007")
+
+/// Hyperlinks
+/// https://iterm2.com/documentation-escape-codes.html
+def hyperlink(text: String, url: String): String =
+  escapeOSC("8;;") ++ url ++ "\u0007" ++ text ++ escapeOSC("8;;") ++ "\u0007"
+
+def attention(value: String) =
+  escapeOSC("1337;") ++ "RequestAttention=" ++ value ++ "\u0007"
+
+namespace Screen {
+  def clear(): String = eraseDisplay(2) ++ cursorPosition(1, 1)
+  def clearLine(): String = eraseEntireLine()
+}
+
+def red(text: String) = Formatted::colored(text, Color::RED)
+def green(text: String) = Formatted::colored(text, Color::GREEN)
+def yellow(text: String) = Formatted::colored(text, Color::YELLOW)
+def blue(text: String) = Formatted::colored(text, Color::BLUE)
+def magenta(text: String) = Formatted::colored(text, Color::MAGENTA)
+def cyan(text: String) = Formatted::colored(text, Color::CYAN)
+def white(text: String) = Formatted::colored(text, Color::WHITE)
+
+def dim(text: String) = Formatted::colored(text, Escape::FAINT)
+def bold(text: String) = Formatted::colored(text, Escape::BOLD)
+def underline(text: String) = Formatted::colored(text, Escape::UNDERLINE)
+def italic(text: String) = Formatted::colored(text, Escape::ITALIC)
+
+interface Formatted {
+  def supportsEscape(escape: String): Bool
+}
+
+namespace Formatted {
+  /// Run given block of code, allowing all formatting
+  def formatting[R] { prog : => R / Formatted }: R =
+    try { prog() } with Formatted {
+      def supportsEscape(escape: String) = resume(true)
+    }
+
+  /// Run given block of code, ignoring all formatting
+  def noFormatting[R] { prog : => R / Formatted }: R =
+    try { prog() } with Formatted {
+      def supportsEscape(escape: String) = resume(false)
+    }
+
+  def tryEmit(escape: String): String / Formatted =
+    if (do supportsEscape(escape)) escape else ""
+
+  def colored(text: String, escape: String): String / Formatted =
+    tryEmit(escape) ++ text ++ tryEmit(Escape::RESET)
+
+  def colored(text: String, color: Color): String / Formatted =
+    tryEmit(color.applyForegroundColor) ++ text ++ tryEmit(Escape::RESET)
+}

package/licenses/eclipse public license, version 2.0 - epl-2.0.html

@@ -1,4 +1,4 @@
-<!doctype html><html lang=en><head><meta charset=utf-8><meta http-equiv=x-ua-compatible content="IE=edge"><meta name=viewport content="width=device-width,initial-scale=1"><title>Eclipse Public License 2.0 (EPL) | The Eclipse Foundation</title><meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:image content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.110.0"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1733685326"><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a class=sr-only href=#content>Skip to main content</a><header class="header-wrapper header-wrapper" id=header><div class=header-toolbar><div class=container><div class=header-toolbar-row><div class="toolbar-btn toolbar-search-btn dropdown"><button class=dropdown-toggle id=toolbar-search type=button data-toggle=dropdown tabindex=0 aria-label=Search>
+<!doctype html><html lang=en><head><meta charset=utf-8><meta http-equiv=x-ua-compatible content="IE=edge"><meta name=viewport content="width=device-width,initial-scale=1"><title>Eclipse Public License 2.0 (EPL) | The Eclipse Foundation</title><meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:image content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.110.0"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1734290143"><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a class=sr-only href=#content>Skip to main content</a><header class="header-wrapper header-wrapper" id=header><div class=header-toolbar><div class=container><div class=header-toolbar-row><div class="toolbar-btn toolbar-search-btn dropdown"><button class=dropdown-toggle id=toolbar-search type=button data-toggle=dropdown tabindex=0 aria-label=Search>
 <i class="fa fa-search fa-lg" aria-role=none></i></button><div class="toolbar-search-bar-wrapper dropdown-menu dropdown-menu-right" aria-labelledby=toolbar-search><form action=https://www.eclipse.org/home/search method=get><div class=search-bar><input class=search-bar-input name=q placeholder=Search>
 <button>
 <i class="fa fa-search" type=submit></i></button></div></form></div></div><div class="toolbar-btn toolbar-user-menu-btn dropdown"><button class=dropdown-toggle id=toolbar-user-menu type=button data-toggle=dropdown tabindex=0 aria-label="User Menu">
@@ -47,15 +47,15 @@ open source software collaboration and innovation.</p></div><div class=mega-menu
 <i class="main-sidebar-item-icon fa fa-chevron-down" aria-hidden=true></i></a><div class=collapse id=legal-epl-20><ul class="main-sidebar-item-submenu list-unstyled"><li class=submenu-item><a class=link-unstyled href=/legal/epl-2.0/ target=_self>About</a></li><li class=submenu-item><a class=link-unstyled href=/org/documents/epl-2.0/EPL-2.0.html target=_self>Plain HTML</a></li><li class=submenu-item><a class=link-unstyled href=/org/documents/epl-2.0/EPL-2.0.txt target=_self>Plain Text</a></li><li class=submenu-item><a class=link-unstyled href=/org/documents/epl-2.0/EPL-2.0.pdf target=_self>PDF</a></li><li class=submenu-item><a class=link-unstyled href=/legal/epl-2.0/faq/ target=_self>FAQ</a></li></ul></div></li></li><li class="main-sidebar-item main-sidebar-item-indented"><li class="main-sidebar-item main-sidebar-item-indented"><a class=link-unstyled role=button data-toggle=collapse href=#legal-epl-10 aria-expanded=false aria-controls=legal-epl-10><span>EPL-1.0</span>
 <i class="main-sidebar-item-icon fa fa-chevron-down" aria-hidden=true></i></a><div class=collapse id=legal-epl-10><ul class="main-sidebar-item-submenu list-unstyled"><li class=submenu-item><a class=link-unstyled href=/org/documents/epl-v10.php target=_self>About</a></li><li class=submenu-item><a class=link-unstyled href=/org/documents/epl-v10.html target=_self>Plain HTML</a></li><li class=submenu-item><a class=link-unstyled href=/org/documents/epl-1.0/EPL-1.0.txt target=_self>Plain Text</a></li><li class=submenu-item><a class=link-unstyled href=/legal/epl/faq target=_self>FAQ</a></li></ul></div></li></li><li class="main-sidebar-item main-sidebar-item-indented"><li class="main-sidebar-item main-sidebar-item-indented"><a class=link-unstyled role=button data-toggle=collapse href=#legal-licenses aria-expanded=false aria-controls=legal-licenses><span>Licenses</span>
 <i class="main-sidebar-item-icon fa fa-chevron-down" aria-hidden=true></i></a><div class=collapse id=legal-licenses><ul class="main-sidebar-item-submenu list-unstyled"><li class=submenu-item><a class=link-unstyled href=/legal/licenses#approved target=_self>Approved 3rd Party</a></li><li class=submenu-item><a class=link-unstyled href=/legal/licenses#nonapproved target=_self>Non Approved</a></li><li class=submenu-item><a class=link-unstyled href=/projects/handbook/#ip-copyright-headers target=_self>File Headers</a></li><li class=submenu-item><a class=link-unstyled href=/legal/non-code-licenses target=_self>Docs & Examples</a></li></ul></div></li></li><li class="main-sidebar-item main-sidebar-item-indented"><li class="main-sidebar-item main-sidebar-item-indented"><a class=link-unstyled role=button data-toggle=collapse href=#legal-specs aria-expanded=false aria-controls=legal-specs><span>Specifications</span>
-<i class="main-sidebar-item-icon fa fa-chevron-down" aria-hidden=true></i></a><div class=collapse id=legal-specs><ul class="main-sidebar-item-submenu list-unstyled"><li class=submenu-item><a class=link-unstyled href=/projects/efsp/ target=_self>Specifications Process</a></li><li class=submenu-item><a class=link-unstyled href=/projects/efsp/operations.php target=_self>Specifications Operations</a></li><li class=submenu-item><a class=link-unstyled href=/legal/efsl target=_self>Specification License</a></li><li class=submenu-item><a class=link-unstyled href=/legal/tck target=_self>TCK License</a></li></ul></div></li></li></ul></aside></div></div></div></main><div class="eclipsefdn-featured-footer featured-footer" id=featured-footer data-publish-target=eclipse_org><div class=container><div class=row><div class="col-sm-24 featured-container"></div></div></div></div><p id=back-to-top><a class=visible-xs href=#>Back to the top</a></p><footer class=footer id=footer><div class=container><div class="footer-end-social-container margin-bottom-30"><div class=footer-end-social><p class="footer-end-social-text hidden-xs">Follow Us:</p><ul class="footer-end-social-links list-inline"><li><a class=link-unstyled href=https://twitter.com/EclipseFdn title="Twitter account"><span class="fa fa-stack"><i class="fa fa-circle fa-stack-2x" aria-hidden=true></i>
-<i class="fa fa-twitter fa-stack-1x fa-inverse" aria-hidden=true></i>
-<span class=sr-only>Twitter account</span></span></a></li><li><a class=link-unstyled href=https://www.facebook.com/eclipse.org title="Facebook account"><span class="fa fa-stack"><i class="fa fa-circle fa-stack-2x" aria-hidden=true></i>
-<i class="fa fa-facebook fa-stack-1x fa-inverse" aria-hidden=true></i>
-<span class=sr-only>Facebook account</span></span></a></li><li><a class=link-unstyled href=https://www.youtube.com/user/EclipseFdn title="Youtube account"><span class="fa fa-stack"><i class="fa fa-circle fa-stack-2x" aria-hidden=true></i>
-<i class="fa fa-youtube-play fa-stack-1x fa-inverse" aria-hidden=true></i>
-<span class=sr-only>Youtube account</span></span></a></li><li><a class=link-unstyled href=https://www.linkedin.com/company/eclipse-foundation title="Linkedin account"><span class="fa fa-stack"><i class="fa fa-circle fa-stack-2x" aria-hidden=true></i>
-<i class="fa fa-linkedin fa-stack-1x fa-inverse" aria-hidden=true></i>
+<i class="main-sidebar-item-icon fa fa-chevron-down" aria-hidden=true></i></a><div class=collapse id=legal-specs><ul class="main-sidebar-item-submenu list-unstyled"><li class=submenu-item><a class=link-unstyled href=/projects/efsp/ target=_self>Specifications Process</a></li><li class=submenu-item><a class=link-unstyled href=/projects/efsp/operations.php target=_self>Specifications Operations</a></li><li class=submenu-item><a class=link-unstyled href=/legal/efsl target=_self>Specification License</a></li><li class=submenu-item><a class=link-unstyled href=/legal/tck target=_self>TCK License</a></li></ul></div></li></li></ul></aside></div></div></div></main><div class="eclipsefdn-featured-footer featured-footer" id=featured-footer data-publish-target=eclipse_org><div class=container><div class=row><div class="col-sm-24 featured-container"></div></div></div></div><p id=back-to-top><a class=visible-xs href=#>Back to the top</a></p><footer class=footer id=footer><div class=container><div class="footer-end-social-container margin-bottom-30"><div class=footer-end-social><p class="footer-end-social-text hidden-xs">Follow Us:</p><ul class="footer-end-social-links list-inline"><li><a class=link-unstyled href=https://twitter.com/EclipseFdn title="Twitter account"><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
+<i class="fa-brands fa-x-twitter fa-stack-1x fa-inverse" aria-hidden=true></i>
+<span class=sr-only>Twitter account</span></span></a></li><li><a class=link-unstyled href=https://www.facebook.com/eclipse.org title="Facebook account"><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
+<i class="fa-brands fa-facebook-f fa-stack-1x fa-inverse" aria-hidden=true></i>
+<span class=sr-only>Facebook account</span></span></a></li><li><a class=link-unstyled href=https://www.youtube.com/user/EclipseFdn title="Youtube account"><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
+<i class="fa-brands fa-youtube fa-stack-1x fa-inverse" aria-hidden=true></i>
+<span class=sr-only>Youtube account</span></span></a></li><li><a class=link-unstyled href=https://www.linkedin.com/company/eclipse-foundation title="Linkedin account"><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
+<i class="fa-brands fa-linkedin-in fa-stack-1x fa-inverse" aria-hidden=true></i>
 <span class=sr-only>Linkedin account</span></span></a></li></ul></div></div><div class="footer-sections row equal-height-md font-bold"><div class=col-md-15><div class=row><section id=footer-eclipse-foundation class="footer-section col-sm-8"><div class=menu-heading>Eclipse Foundation</div><ul class=nav><li><a href=https://www.eclipse.org/org/>About</a></li><li><a href=https://projects.eclipse.org/>Projects</a></li><li><a href=https://www.eclipse.org/collaborations/>Collaborations</a></li><li><a href=https://www.eclipse.org/membership/>Membership</a></li><li><a href=https://www.eclipse.org/sponsor/>Sponsor</a></li></ul></section><section id=footer-legal class="footer-section col-sm-8"><div class=menu-heading>Legal</div><ul class=nav><li><a href=https://www.eclipse.org/legal/privacy/>Privacy Policy</a></li><li><a href=https://www.eclipse.org/legal/terms-of-use/>Terms of Use</a></li><li><a href=https://www.eclipse.org/legal/compliance/>Compliance</a></li><li><a href=https://www.eclipse.org/org/documents/Community_Code_of_Conduct.php>Code of Conduct</a></li><li><a href=https://www.eclipse.org/legal/>Legal Resources</a></li><li><a class=toolbar-manage-cookies href=# onclick=event.preventDefault()>Manage Cookies</a></li></ul></section><section id=footer-more class="footer-section col-sm-8"><div class=menu-heading>More</div><ul class=nav><li><a href=https://www.eclipse.org/security/>Report a Vulnerability</a></li><li><a href=https://status.eclipse.org/>Service Status</a></li><li><a href=https://www.eclipse.org/org/foundation/contact.php>Contact Us</a></li><li><a href=https://www.eclipse.org/projects/support/>Support</a></li></ul></section></div></div><div id=footer-end class="footer-section col-md-8 col-md-offset-1 col-sm-24"><div class=footer-end-newsletter><form id=mc-embedded-subscribe-form action=https://eclipsecon.us6.list-manage.com/subscribe/post method=post novalidate target=_blank><label class=footer-end-newsletter-label for=email>Subscribe to our Newsletter</label><div class=footer-end-newsletter-input-wrapper><input class=footer-end-newsletter-input type=email id=email name=EMAIL autocomplete=email placeholder="Enter your email address"><div><i class="fa fa-solid fa-envelope fa-lg" aria-hidden=true></i></div></div><input type=hidden name=u value=eaf9e1f06f194eadc66788a85>
 <input type=hidden name=id value=46e57eacf1>
-<input id=mc-embedded-subscribe type=submit name=subscribe hidden></form></div></div></div><div class="col-sm-24 margin-top-20"><div class=row><div id=copyright class=col-md-16><p id=copyright-text>Copyright &copy; Eclipse Foundation AISBL. All Rights Reserved.</p></div></div></div><a href=# class=scrollup>Back to the top</a></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1733685326"></script>
+<input id=mc-embedded-subscribe type=submit name=subscribe hidden></form></div></div></div><div class="col-sm-24 margin-top-20"><div class=row><div id=copyright class=col-md-16><p id=copyright-text>Copyright &copy; Eclipse Foundation AISBL. All Rights Reserved.</p></div></div></div><a href=# class=scrollup>Back to the top</a></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1734290143"></script>
 <script>(function(){})(jQuery,document)</script></div></body></html>

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@effekt-lang/effekt",
   "author": "Jonathan Brachthäuser",
-  "version": "0.13.0",
+  "version": "0.14.0",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/effekt-lang/effekt.git"

package/libraries/common/string/tty.effekt

@@ -1,66 +0,0 @@
-module string/tty
-
-// ANSI escape codes
-namespace ANSI {
-  val CSI = "\u001b["
-
-  def escape(s: String) = CSI ++ s ++ "m"
-
-  val BLACK = escape("30")
-  val RED = escape("31")
-  val GREEN = escape("32")
-  val YELLOW = escape("33")
-  val BLUE = escape("34")
-  val MAGENTA = escape("35")
-  val CYAN = escape("36")
-  val WHITE = escape("37")
-
-  val BG_BLACK = escape("40")
-  val BG_RED = escape("41")
-  val BG_GREEN = escape("42")
-  val BG_YELLOW = escape("43")
-  val BG_BLUE = escape("44")
-  val BG_MAGENTA = escape("45")
-  val BG_CYAN = escape("46")
-  val BG_WHITE = escape("47")
-
-  val RESET = escape("0")
-
-  val BOLD = escape("1")
-  val FAINT = escape("2")
-  val ITALIC = escape("3")
-  val UNDERLINE = escape("4")
-  val BLINK = escape("5")
-  val REVERSE = escape("7")
-  val CROSSOUT = escape("9")
-  val OVERLINE = escape("53")
-}
-
-def red(text: String) = Formatted::colored(text, ANSI::RED)
-def green(text: String) = Formatted::colored(text, ANSI::GREEN)
-def dim(text: String) = Formatted::colored(text, ANSI::FAINT)
-def bold(text: String) = Formatted::colored(text, ANSI::BOLD)
-
-interface Formatted {
-  def supportsEscape(escape: String): Bool
-}
-
-namespace Formatted {
-  /// Run given block of code, allowing all formatting
-  def formatting[R] { prog : => R / Formatted }: R =
-    try { prog() } with Formatted {
-      def supportsEscape(escape: String) = resume(true)
-    }
-
-  /// Run given block of code, ignoring all formatting
-  def noFormatting[R] { prog : => R / Formatted }: R =
-    try { prog() } with Formatted {
-      def supportsEscape(escape: String) = resume(false)
-    }
-
-  def tryEmit(escape: String): String / Formatted =
-    if (do supportsEscape(escape)) escape else ""
-
-  def colored(text: String, colorEscape: String): String / Formatted =
-    tryEmit(colorEscape) ++ text ++ tryEmit(ANSI::RESET)
-}