Created
September 17, 2015 14:08
-
-
Save muhuk/1ae4b3616cdd9380d862 to your computer and use it in GitHub Desktop.
Frege/eclipse-plugin #14
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
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); | |
} | |
} | |
} | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
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() {} | |
} | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment