jbgi

import static java.lang.System.*;

import java.util.function.BiFunction;
import java.util.function.Function;

// Implementation of a pseudo-GADT in Java, translating the examples from
// http://www.cs.ox.ac.uk/ralf.hinze/publications/With.pdf
// The technique presented below is, in fact, just an encoding of a normal Algebraic Data Type
// using a variation of the visitor pattern + the application of the Yoneda lemma to make it
// isomorphic to the targeted 'GADT'.

jbgi

package org.derive4j.exemple;

import java.lang.Integer;
import java.lang.Object;
import java.lang.Override;
import java.util.Optional;
import java.util.function.Function;
import java.util.function.Supplier;

public final class Expressions {

jbgi

package org.derive4j.exemple;

import java.lang.Object;
import java.lang.Override;
import java.lang.SuppressWarnings;
import java.util.Optional;
import java.util.function.BiFunction;
import java.util.function.Function;
import java.util.function.Supplier;

jbgi

package scato
package benchmarks

import org.openjdk.jmh.annotations.{Benchmark, BenchmarkMode, Fork, Mode}
import scato.Prelude._
import scato.benchmarks.Data._

@Fork(1)
@BenchmarkMode(Array(Mode.Throughput))
class Instantiations {

jbgi

package org.derive4j.exemple;

import java.lang.Boolean;
import java.lang.Integer;
import java.lang.Object;
import java.lang.Override;
import java.lang.String;
import java.lang.SuppressWarnings;
import java.util.Optional;
import java.util.function.Function;

jbgi

public class Example {
  
  private int value;

  public int totallyComplexForSure(int x) {
    final int result;
    if (x <= 0) {
      result = 0;
    } else if (x == 10) {
      result = -value;

jbgi

import java.util.function.Function;

import org.derive4j.Data;

class Y{}
class Z{}

@Data
public abstract class X<YZ> {
    X(){}

jbgi

package org.mfusco.fromgoftolambda.examples.visitor;

import java.lang.Object;
import java.lang.Override;
import java.util.Optional;
import java.util.function.Function;
import java.util.function.Supplier;

final class Elements {
  private static final TotalMatchBuilderSquareElement totalMatchBuilderSquareElement = new TotalMatchBuilderSquareElement();

jbgi

// The file BoolExprs is generated by derive4j via the @Data annotation.
import static BoolExprs.*;

import java.util.function.Function;

import org.derive4j.Data;

@Data
interface BoolExpr<E> {

jbgi

package scalaz

import org.openjdk.jmh.annotations._

@Fork(1)
@BenchmarkMode(Array(Mode.Throughput))
class AdtEncodingsBench {

  import AdtEncodingsBench._