acrylic-origami

{-# OPTIONS_GHC -Wall -ddump-to-file -ddump-rn -ddump-foreign -ddump-stg -ddump-cmm-raw -ddump-asm #-}

module AsteriusPrim
  ( emptyJSString,
    concatJSString,
    indexJSString,
    toJSString,
    fromJSString,
    emptyJSArray,
    concatJSArray,

acrylic-origami

-- In subdirectory `target/A.hs`
module A where

acrylic-origami

import kotlin.collections.*
import org.reactivestreams.*
import kotlinx.coroutines.channels.*
import kotlinx.coroutines.reactive.*
import kotlinx.coroutines.*
import kotlin.coroutines.*

@ExperimentalCoroutinesApi
fun <T, U> Publisher<T>.debounce(timeout: Long, ctx: CoroutineContext) = GlobalScope.publish(ctx) {
    var idx = 0;

acrylic-origami

<?hh // strict
interface Base {
	public function foo(this $v): void;
}
final class Derived<T> implements Base {
	public function bar(): void {}
	public function foo(this $v): void {
		$v->bar(); // an `OtherDerived` here would be unwelcome.
	}
}

acrylic-origami

<?hh // strict
<<__ConsistentConstruct>>
abstract class ConWrapper<-T> {
	public function __construct() {}
	abstract public function act(T $v): void;
}
class ConcreteWrapper extends ConWrapper<OtherBase> {
	public function act(OtherBase $v): void {
		$v->fn();
	}

acrylic-origami

<?hh // strict
class Forever {
	private ?Awaitable<?(mixed, int)> $hook = null;
	public function __construct() {
	}
	public async function loop(): Awaitable<void> {
		$generator = $this->sub();
		await ($this->hook = $generator->next());
	}
	private async function sub(): \AsyncIterator<int> {