scalaz-plugin

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

Download scalaz-plugin_2.12.4

Filename	Size
scalaz-plugin_2.12.4-0.0.7.pom
scalaz-plugin_2.12.4-0.0.7.jar	147 KB
scalaz-plugin_2.12.4-0.0.7-sources.jar	12 KB
scalaz-plugin_2.12.4-0.0.7-javadoc.jar	819 KB
Browse

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.scalaz/scalaz-plugin_2.12.4/ -->
<dependency>
    <groupId>org.scalaz</groupId>
    <artifactId>scalaz-plugin_2.12.4</artifactId>
    <version>0.0.7</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.scalaz/scalaz-plugin_2.12.4/
implementation 'org.scalaz:scalaz-plugin_2.12.4:0.0.7'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.scalaz/scalaz-plugin_2.12.4/
implementation ("org.scalaz:scalaz-plugin_2.12.4:0.0.7")

Apache Buildr

'org.scalaz:scalaz-plugin_2.12.4:jar:0.0.7'

Apache Ivy

<dependency org="org.scalaz" name="scalaz-plugin_2.12.4" rev="0.0.7">
  <artifact name="scalaz-plugin_2.12.4" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.scalaz', module='scalaz-plugin_2.12.4', version='0.0.7')
)

Scala SBT

libraryDependencies += "org.scalaz" % "scalaz-plugin_2.12.4" % "0.0.7"

Leiningen

[org.scalaz/scalaz-plugin_2.12.4 "0.0.7"]

Dependencies

compile (2)

Group / Artifact	Type	Version
org.scala-lang : scala-library	jar	2.12.4
org.scalaz : scalaz-plugin-library_2.12	jar	0.0.7

provided (2)

Group / Artifact	Type	Version
org.scala-lang : scala-compiler	jar	2.12.4
org.scala-lang : scala-reflect	jar	2.12.4

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

org.scalaz

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