View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window arrow-proofs-plugin-2.0.0-alpha.6.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
arrow.meta.plugins.proofs.phases.quotes
├─ arrow.meta.plugins.proofs.phases.quotes.GenerateGivenSupportingFunctionsKt.class - [JAR]
arrow.meta.plugins.proofs.phases.ir
├─ arrow.meta.plugins.proofs.phases.ir.ProofCandidate.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.ir.ProofsIrCodegen.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.ir.ProofsIrCodegenKt.class - [JAR]
arrow.meta.plugins.proofs.phases.resolve
├─ arrow.meta.plugins.proofs.phases.resolve.ProofResolutionKt.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.resolve.ProofResolutionRulesKt.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.resolve.ProofsCallResolver.class - [JAR]
arrow.meta.plugins.proofs.phases.config
├─ arrow.meta.plugins.proofs.phases.config.EnableProofsKt.class - [JAR]
arrow.meta.diagnostic
├─ arrow.meta.diagnostic.MetaDefaultErrorMessages.class - [JAR]
├─ arrow.meta.diagnostic.MetaErrors.class - [JAR]
arrow.meta.plugins.proofs.phases.resolve.cache
├─ arrow.meta.plugins.proofs.phases.resolve.cache.ProofsCacheKt.class - [JAR]
arrow.meta
├─ arrow.meta.ProofsMetaCliProcessor.class - [JAR]
├─ arrow.meta.ProofsMetaPlugin.class - [JAR]
arrow.meta.phases.analysis.diagnostic
├─ arrow.meta.phases.analysis.diagnostic.RenderersKt.class - [JAR]
arrow.meta.plugins.proofs
├─ arrow.meta.plugins.proofs.ProofsPluginKt.class - [JAR]
arrow.meta.plugins.proofs.phases
├─ arrow.meta.plugins.proofs.phases.CallableMemberProof.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.ClassProof.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.GivenProof.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.GivenProofResolution.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.ObjectProof.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.Proof.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.ProofKt.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.ProofsCache.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.ProofsKt.class - [JAR]
arrow.meta.plugins.proofs.phases.resolve.scopes
├─ arrow.meta.plugins.proofs.phases.resolve.scopes.ProofsMemberScope.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.resolve.scopes.ProofsMemberScopeKt.class - [JAR]
├─ arrow.meta.plugins.proofs.phases.resolve.scopes.ProofsScopeTower.class - [JAR]
