leanprops-magnolia

leanprops-magnolia is Magnolia integration to LeanProps.

Installation

Stable

Unfortunately LeanProps has no stable version...

HEAD

Add this line into your build.sbt:

lazy val leanpropsMagnoliaRef = ProjectRef(uri("git://github.com/MakeNowJust/leanprops.git"), "magnolia")

Then, add .dependsOn(...) into your project definition:

lazy val root = (project in file("."))
  .dependsOn(leanpropsMagnoliaRef)
  // ...

Usage

import codes.quine.leanprops.magnolia._ is needed to derive Listable and Inspectable instances.

import leanprops._, magnolia._

// Defines `Tree` ADT.
sealed trait Tree[A]

case class Leaf[A](value: A) extends Tree[A]
case class Branch[A](left: Tree[A], right: Tree[A]) extends Tree[A]

// Then, `Listable` and `Inspectable` instance for `Tree[A]` is derived by `leanprops-magnolia`.

Listable.list[Tree[Int]].take(10)
// res0: Stream[Tree[Int]] = Stream(
//   Leaf(0),
//   Leaf(1),
//   Leaf(-1),
//   Branch(Leaf(0), Leaf(0)),
//   Leaf(2),
//   Branch(Leaf(0), Leaf(1)),
//   Branch(Leaf(1), Leaf(0)),
//   Leaf(-2),
//   Branch(Leaf(0), Leaf(-1)),
//   Branch(Leaf(0), Branch(Leaf(0), Leaf(0)))
// )
print(inspect(Branch(Leaf(1), Leaf(2))))
// Branch(Leaf(1), Leaf(2))