Frege/eclipse-plugin #14

EDNTest1.java

/*
  Source code is in UTF-8 encoding. The following symbols may appear, among others:
  α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ ς σ τ υ φ χ ψ ω « • ¦ »  fi fl ƒ
  If you can't read this, you're out of luck.
  This code was generated with the frege compiler version 3.23.313-g02654a8 from
  test/frege/com/muhuk/EDNTest.fr Do not edit this file!
  Instead, edit the source file and recompile.
*/


package com.muhuk;

import com.muhuk.EDN;
import com.muhuk.edn.Value;
import frege.Prelude;
import frege.control.Category;
import frege.control.Semigroupoid;
import frege.data.Bits;
import frege.data.Char;
import frege.data.Foldable;
import frege.data.List;
import frege.data.Monoid;
import frege.data.Traversable;
import frege.data.TreeMap;
import frege.data.wrapper.Const;
import frege.data.wrapper.Dual;
import frege.data.wrapper.Endo;
import frege.data.wrapper.Identity;
import frege.data.wrapper.Num;
import frege.java.IO;
import frege.java.Lang;
import frege.java.Util;
import frege.java.util.Regex;
import frege.prelude.Maybe;
import frege.prelude.PreludeArrays;
import frege.prelude.PreludeBase;
import frege.prelude.PreludeIO;
import frege.prelude.PreludeList;
import frege.prelude.PreludeMonad;
import frege.prelude.PreludeText;
import frege.system.Random;
import frege.test.QuickCheck;
import frege.test.QuickCheckArbitrary;
import frege.test.QuickCheckException;
import frege.test.QuickCheckGen;
import frege.test.QuickCheckModifiers;
import frege.test.QuickCheckProperty;
import frege.test.QuickCheckState;
import frege.test.QuickCheckTest;
import frege.test.QuickCheckText;

@SuppressWarnings("unused")
@frege.runtime.Meta.FregePackage(
  source="test/frege/com/muhuk/EDNTest.fr", time=1442498666364L, ops={},
  imps={
    "com.muhuk.EDN", "frege.Prelude", "frege.prelude.PreludeArrays",
    "frege.prelude.PreludeBase", "frege.prelude.PreludeIO", "frege.prelude.PreludeList",
    "frege.prelude.PreludeMonad", "frege.prelude.PreludeText", "frege.test.QuickCheck",
    "frege.java.util.Regex", "com.muhuk.edn.Value"
  },
  nmss={
    "EDN", "Prelude", "PreludeArrays", "PreludeBase", "PreludeIO", "PreludeList",
    "PreludeMonad", "PreludeText", "QuickCheck", "Regexp", "Value"
  },
  symas={}, symcs={}, symis={}, symts={},
  symvs={
    @frege.runtime.Meta.SymV(
      offset=179,
      name=@frege.runtime.Meta.QName(pack="com.muhuk.EDNTest", base="testEncodeNamespacedNoNs"),
      stri="s", sig=0, depth=0, rkind=49
    )
  },
  symls={},
  taus={
    @frege.runtime.Meta.Tau(
      kind=2, suba=0,
      tcon={@frege.runtime.Meta.QName(kind=0, pack="frege.test.QuickCheckGen", base="Gen")}
    ),
    @frege.runtime.Meta.Tau(
      kind=2, suba=0,
      tcon={
        @frege.runtime.Meta.QName(kind=0, pack="frege.test.QuickCheckProperty", base="Prop")
      }
    ),
    @frege.runtime.Meta.Tau(kind=0, suba=0, subb=1)
  },
  rhos={@frege.runtime.Meta.Rho(rhofun=false, rhotau=2)},
  sigmas={@frege.runtime.Meta.Sigma(rho=0)}, exprs={@frege.runtime.Meta.Expr()},
  kinds={@frege.runtime.Meta.Kind(kind=0)}
)

final public class EDNTest  {
  

final public static IJ ij = new IJ();
final public static frege.runtime.Lambda testEncodeNamespacedNoNs = 
  frege.runtime.Delayed.<frege.runtime.Lambda>forced(
        PreludeBase.$(
              IJ.onceƒ4112656c.inst(QuickCheckProperty.ITestable_Bool.it),
              new frege.runtime.Delayed() {
                final public java.lang.Object eval() {
                  return EDN.encodeNamespaced(Value.TNamespaced.mk("", "prn")).equals("prn");
                }
              }
            )
      )
;
@frege.runtime.Meta.FunctionPointers(
  qnames={@frege.runtime.Meta.QName(pack="frege.test.QuickCheckProperty", base="once")},
  jnames={"onceƒ4112656c"}
)
public static class IJ  {
  public IJ() {}
  final public static class onceƒ4112656c extends frege.runtime.Fun1<frege.runtime.Lambda>  {
    final QuickCheckProperty.CTestable ctx$1 ;
    public onceƒ4112656c(final QuickCheckProperty.CTestable arg$1) {
      ctx$1 = arg$1;
    }
    final public frege.runtime.Lambda eval(final java.lang.Object arg$1) {
      return QuickCheckProperty.once(ctx$1, arg$1);
    }
    final public static onceƒ4112656c inst(final QuickCheckProperty.CTestable arg$1) {
      return new onceƒ4112656c(arg$1);
    }
  }
}
}

EDNTest2.java

/*
  Source code is in UTF-8 encoding. The following symbols may appear, among others:
  α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ ς σ τ υ φ χ ψ ω « • ¦ »  fi fl ƒ
  If you can't read this, you're out of luck.
  This code was generated with the frege compiler version 3.23.313-g02654a8 from
  test/frege/com/muhuk/EDNTest.fr Do not edit this file!
  Instead, edit the source file and recompile.
*/


package com.muhuk;

import com.muhuk.EDN;
import com.muhuk.edn.Value;
import frege.Prelude;
import frege.control.Category;
import frege.control.Semigroupoid;
import frege.data.Bits;
import frege.data.Char;
import frege.data.Foldable;
import frege.data.List;
import frege.data.Monoid;
import frege.data.Traversable;
import frege.data.TreeMap;
import frege.data.wrapper.Const;
import frege.data.wrapper.Dual;
import frege.data.wrapper.Endo;
import frege.data.wrapper.Identity;
import frege.data.wrapper.Num;
import frege.java.IO;
import frege.java.Lang;
import frege.java.Util;
import frege.java.util.Regex;
import frege.prelude.Maybe;
import frege.prelude.PreludeArrays;
import frege.prelude.PreludeBase;
import frege.prelude.PreludeIO;
import frege.prelude.PreludeList;
import frege.prelude.PreludeMonad;
import frege.prelude.PreludeText;
import frege.system.Random;
import frege.test.QuickCheck;
import frege.test.QuickCheckArbitrary;
import frege.test.QuickCheckException;
import frege.test.QuickCheckGen;
import frege.test.QuickCheckModifiers;
import frege.test.QuickCheckProperty;
import frege.test.QuickCheckState;
import frege.test.QuickCheckTest;
import frege.test.QuickCheckText;

@SuppressWarnings("unused")
@frege.runtime.Meta.FregePackage(
  source="test/frege/com/muhuk/EDNTest.fr", time=1442498702143L, ops={},
  imps={
    "com.muhuk.EDN", "frege.Prelude", "frege.prelude.PreludeArrays",
    "frege.prelude.PreludeBase", "frege.prelude.PreludeIO", "frege.prelude.PreludeList",
    "frege.prelude.PreludeMonad", "frege.prelude.PreludeText", "frege.test.QuickCheck",
    "frege.java.util.Regex", "com.muhuk.edn.Value"
  },
  nmss={
    "EDN", "Prelude", "PreludeArrays", "PreludeBase", "PreludeIO", "PreludeList",
    "PreludeMonad", "PreludeText", "QuickCheck", "Regexp", "Value"
  },
  symas={}, symcs={}, symis={}, symts={},
  symvs={
    @frege.runtime.Meta.SymV(
      offset=179, name=@frege.runtime.Meta.QName(pack="com.muhuk.EDNTest", base="x"), stri="s",
      sig=0, depth=0, rkind=49
    ),
    @frege.runtime.Meta.SymV(
      offset=231,
      name=@frege.runtime.Meta.QName(pack="com.muhuk.EDNTest", base="testEncodeNamespacedNoNs"),
      stri="s", sig=1, depth=0, rkind=49
    )
  },
  symls={},
  taus={
    @frege.runtime.Meta.Tau(
      kind=2, suba=0,
      tcon={@frege.runtime.Meta.QName(kind=0, pack="frege.prelude.PreludeBase", base="Bool")}
    ),
    @frege.runtime.Meta.Tau(
      kind=2, suba=0,
      tcon={@frege.runtime.Meta.QName(kind=0, pack="frege.test.QuickCheckGen", base="Gen")}
    ),
    @frege.runtime.Meta.Tau(
      kind=2, suba=0,
      tcon={
        @frege.runtime.Meta.QName(kind=0, pack="frege.test.QuickCheckProperty", base="Prop")
      }
    ),
    @frege.runtime.Meta.Tau(kind=0, suba=1, subb=2)
  },
  rhos={
    @frege.runtime.Meta.Rho(rhofun=false, rhotau=0),
    @frege.runtime.Meta.Rho(rhofun=false, rhotau=3)
  },
  sigmas={@frege.runtime.Meta.Sigma(rho=0), @frege.runtime.Meta.Sigma(rho=1)},
  exprs={@frege.runtime.Meta.Expr()}, kinds={@frege.runtime.Meta.Kind(kind=0)}
)

final public class EDNTest  {
  

final public static IJ ij = new IJ();
final public static boolean x = 
  EDN.encodeNamespaced(Value.TNamespaced.mk("", "prn")).equals("prn")
;
final public static frege.runtime.Lambda testEncodeNamespacedNoNs = 
  QuickCheckProperty.once(QuickCheckProperty.ITestable_Bool.it, EDNTest.x)
;
@frege.runtime.Meta.FunctionPointers(qnames={}, jnames={})
public static class IJ  {
  public IJ() {}
}
}