scalaz-plugin-library

License	LGPL 3.0
Categories	Scala Languages
GroupId	org.scalaz
ArtifactId	scalaz-plugin-library_sjs0.6_2.12
Last Version	0.0.7
Release Date	Oct 4, 2018
Type	jar
Description	scalaz-plugin-library scalaz-plugin-library
Project URL	https://github.com/scalaz/scalaz-plugin
Project Organization	org.scalaz
Source Code Management	https://github.com/scalaz/scalaz-plugin

Download scalaz-plugin-library_sjs0.6_2.12

Filename	Size
scalaz-plugin-library_sjs0.6_2.12-0.0.7.pom
scalaz-plugin-library_sjs0.6_2.12-0.0.7.jar	8 KB
scalaz-plugin-library_sjs0.6_2.12-0.0.7-sources.jar	838 bytes
scalaz-plugin-library_sjs0.6_2.12-0.0.7-javadoc.jar	640 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.scalaz/scalaz-plugin-library_sjs0.6_2.12/ -->
<dependency>
    <groupId>org.scalaz</groupId>
    <artifactId>scalaz-plugin-library_sjs0.6_2.12</artifactId>
    <version>0.0.7</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.scalaz/scalaz-plugin-library_sjs0.6_2.12/
implementation 'org.scalaz:scalaz-plugin-library_sjs0.6_2.12:0.0.7'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.scalaz/scalaz-plugin-library_sjs0.6_2.12/
implementation ("org.scalaz:scalaz-plugin-library_sjs0.6_2.12:0.0.7")

Apache Buildr

'org.scalaz:scalaz-plugin-library_sjs0.6_2.12:jar:0.0.7'

Apache Ivy

<dependency org="org.scalaz" name="scalaz-plugin-library_sjs0.6_2.12" rev="0.0.7">
  <artifact name="scalaz-plugin-library_sjs0.6_2.12" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.scalaz', module='scalaz-plugin-library_sjs0.6_2.12', version='0.0.7')
)

Scala SBT

libraryDependencies += "org.scalaz" % "scalaz-plugin-library_sjs0.6_2.12" % "0.0.7"

Leiningen

[org.scalaz/scalaz-plugin-library_sjs0.6_2.12 "0.0.7"]

Dependencies

compile (2)

Group / Artifact	Type	Version
org.scala-lang : scala-library	jar	2.12.4
org.scala-js : scalajs-library_2.12	jar	0.6.22

provided (1)

Group / Artifact	Type	Version
com.github.ghik : silencer-lib_2.12	jar	1.0

test (2)

Group / Artifact	Type	Version
org.scala-js : scalajs-test-interface_2.12	jar	0.6.22
org.scalacheck : scalacheck_2.12	jar	1.14.0

Project Modules

There are no modules declared in this project.

Scalazzi compiler plugin

A compiler plugin that improves on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.

What does this plugin do?

• Sufficiency checker. Example.
• Non-ambigious typeclass resolution. Example.
• Orphan instance checker. Some examples.
• Polymorphic function optimization.

See test/files for more examples. We would like to get a lot more things done eventually, see open issues.

What is Scalazzi

• No null.
• No catching exceptions in pure code.
• No type casing (isInstanceOf).
• No type casting (asInstanceOf).
• No side-effects.
• No equals, toString, hashCode.
• No notify or wait in pure code.
• No .getClass.

We are more interested in Scalazzi+, which adds:

• Only total functions.
• Eq (used in laws and pattern matching) must satisfy:
  • Identity of indiscernibles (indiscernible values are equal).
  • Indiscernibility of identicals (equal values are indiscernible from each other).

The last requirement might seem a bit cryptic, but it has a wide range of implications, for example:

if (a === b) {
  // now we know that a.type === b.type
}

---

Other great compiler plugins you should check out

• Better monadic comprehensions.
• Automatic typeclass derivation.
• Newtypes.
• Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism.
• Mutual tail recursion.

Scalaz

Versions

Version
0.0.7 Oct 4, 2018
0.0.6 Sep 21, 2018
0.0.5 Sep 14, 2018
0.0.4 Sep 8, 2018
0.0.3 Sep 5, 2018