miguel-vila

import org.scalacheck.{ Properties , Arbitrary , Gen }
import org.scalacheck.Prop.forAll
import play.api.libs.json._

case class Subdocument(m: String, n: Int, list: List[Int], days: Set[WeekDay.Value])
case class Document(id: String, n: Int, subDoc: Subdocument)

object WeekDay extends Enumeration {
  val Mon, Tue, Wed, Thu, Fri, Sat, Sun = Value
}

miguel-vila

{
 "metadata": {
  "name": ""
 },
 "nbformat": 3,
 "nbformat_minor": 0,
 "worksheets": [
  {
   "cells": [
    {

miguel-vila

trait MeasureTypeClass[A]{
  def measure(a: A) : Int
}

object TypeClassExample{
  def genericMeasure[A : MeasureTypeClass](value: A): Int = {
    val measurer = implicitly[MeasureTypeClass[A]]
    measurer.measure(value)
  }
  

miguel-vila

Advanced Scala:

Monad intros:

1. A nice intro: Scala Monads: Declutter Your Code With Monadic Design [YouTube]

Some monads:

1. Scalaz State Monad
2. Reader Monad for dependency injection

miguel-vila

import scalaz.contrib.std.FutureInstances // Dependency: scalaz-contrib
import scalaz.{ Monad , OptionT } // Dependency: scalaz
import scala.concurrent.ExecutionContext.Implicits.global
import scala.concurrent.Future

class FutureAndOptionComposition[A, B, C, D] 
extends FutureInstances 
// The FutureInstances trait has a method which creates a Monad instance 
// for Future which is used implicitly by the OptionT
{