These are coding guidelines strictly for ZIO contributors for ZIO projects and not general conventions to be applied by the Scala community at large.
Additionally, bear in mind that, although we try to enforce these rules to the best of our ability, both via automated rules (scalafix) and strict reviewing processes, it is both possible to find existing code that does not comply to these rules. If that is the case, we would be extremely grateful if you could make a contribution, by providing a fix to said issue.
Last, but not least, these rules are continuously evolving and as such, refer to them once in a while when in doubt.
Value classes must be final and extend
AnyVal. This is done to avoid allocating runtime objects;
Method extension classes must be final and extend
Avoid overloading standard interfaces. When creating services avoid using the same names as well known standard interfaces. Example: Instead of having a service
nextInt(n)consider choosing something like
Sealed traits that are ADTs (Algebraic data types) should extend
Serializable. This is done to help the compiler infer types;
Regular traits and sealed trait that do not form ADTs should extend
Traits should always extend
All methods on classes / traits are declared
final, by default;
No methods on objects declared
final, because they are
No methods on final classes declared
final, because they are
All classes inside objects should be defined
final, because otherwise they could still be extended;
In general, classes that are not case classes have their constructors & constructor parameters private. Typically, it is not good practice to expose constructors and constructor parameters but exceptions apply (i.e.
final, even in objects or
final classes, if they are constant expressions and without type annotations;
valsand methods should be declared
If a class has all its members
final, the class should be declared
finalmember annotations should be removed except constant expressions;
All type annotations should use the least powerful type alias. This means, that, let us say, a
ZIOeffect that has no dependencies but throws an arbitrary error, should be defined as
defin place of
valfor an abstract data member to avoid
ZIO code often uses the following naming conventions, and you might be asked to change method parameters to follow these conventions. This guide can help you understand where the names come from. Naming expectations can be helpful in understanding the role of certain parameters without even glancing at its type signature when reading code or class/method signatures.
Partial functions have a shortened name
In ZIO implicit parameters are often used as compiler evidences; These evidences help you, as a developer, prove something to the compiler (at compile time), and they have the ability to add constraints to a method; They are typically called
evif there is only one. Or
ev2... if more than one;
Promises are called
p(unless in its own class methods, in that case it is called
that, like point 8 defines);
Functions are called
fn1, unless they bear specific meaning:
ZIO effects are called
f, unless they bear specific meaning like partially providing environment:
Iterable are called
When a parameter type equals own (in a method of a trait) call it
Be mindful of using by-name parameters. Mind the
Functionextra allocation and loss of clean syntax when invoking the method. Loss of syntax means that instead of being able to do something like
f.flatMap(ZIO.success)you require to explicitly do
Fold or fold variants initial values are called
ZIO goes to great lengths to define method names that are intuitive to the library user. Naming is hard!!! This section will attempt to provide some guidelines and examples to document, guide and explain naming of methods in ZIO.
All operators that return effects should be lazy in all parameters that are not lambdas. Strict parameters are a source of bugs when users inadvertently call side effecting code in arguments to these parameters. Preventing these bugs is the responsibility of the effect system and lazy parameters allow the runtime to properly manage these side effects. There are two exceptions. First, strict parameters should be used when by name parameters would cause duplicate method signatures due to type erasure. Second, operators on high performance concurrent data structures such as
Hubshould be strict in their parameters.
Methods that have the form of
zip, and have an alias called
<*>. The parallel version, if applicable, has the name
zipPar, with an alias called
Avoid the use of
effectin constructors as this pushes responsibility on users to identify what code is or is not side effecting whereas the effect system should handle this correctly regardless. Instead prefer more specific names such as
The dual of zip, which is trying either a left or right side, producing an Either of the result, should be called
orElseEither, with alias
<+>. The simplified variant where both left and right have the same type should be called
orElse, with alias
Constructors for a data type
Xthat are based on another data type
Yshould be placed in the companion object
fromY. For example,
Parallel versions of methods should be named the same, but with a
Parsuffix. Parallel versions with a bound on parallelism should use a
foreachshould be used for operators that effectually iterate over a collection. For example,
Variants of operators that accept arguments or return results in the context of an effect type should be suffixed by the name of the effect type, for example
Msuffix should not be used as it is not idiomatic Scala and does not specify what effect type is involved.
Discardsuffix for variants of methods that discard their results. For example,
_suffix should not be used as it is not idiomatic Scala and does not describe what it does.
ZIO goes to great lengths to take advantage of the scala compiler in varied ways. Type variance is one of them.
The following rules are good to have in mind when adding new
classes that have either covariant or contravariant types.
- Generalized ADTs should always have type annotation. (i.e.
final case class Fail[+E](value: E) extends Cause[E]);
- Type alias should always have type annotation. Much like in Generalized ADTs defining type aliases should carry the type annotations
type IO[+E, +A] = ZIO[Any, E, A]).
In general the following rules should be applied regarding method alphabetization.
To fix forward references of values we recommend the programmer to make them lazy (
Operators are any methods that only have non-letter characters (i.e.
Public abstract defs / vals listed first, and alphabetized, with operators appearing before names.
Public concrete defs / vals listed second, and alphabetized, with operators appearing before names.
Private implementation details listed third, and alphabetized, with operators appearing before names.
It is strongly recommended to use scala doc links when referring to other members.
This both makes it easier for users to navigate the documentation and enforces that the references are accurate.
A good example of this are
ZIO type aliases that are extremely pervasive in the codebase:
To make it easy for developers to see the implementation scala doc links are used, for example:
/** * @see See [[zio.ZIO.absolve]] */ def absolve[R, A](v: RIO[R, Either[Throwable, A]]): RIO[R, A] = ZIO.absolve(v)