dragisak

sealed trait FT {
  type VT
}
object FT {
  sealed trait Concrete extends FT {
    override type VT = Nothing
  }

  case object Concrete extends Concrete
  sealed trait Derived extends FT {

dragisak

Keybase proof

I hereby claim:

• I am dragisak on github.
• I am dragisak (https://keybase.io/dragisak) on keybase.
• I have a public key whose fingerprint is 4290 745B F1B8 87CD 16BF 1294 1EF5 1851 85AD E71E

To claim this, I am signing this object:

dragisak

import javax.inject.{Inject, Singleton}

import play.api.db.slick.DatabaseConfigProvider
import slick.backend.DatabaseConfig
import slick.driver.JdbcProfile

import scala.concurrent.Future

/*
* The problem we are trying to solve here is how to have one trait per Slick table definition.

dragisak

package com.dragisak.hlist

object HList {

  sealed trait HList {
    type prepend[A] <: HList
    def ::[A](a: A) :prepend[A]
  }

  case class HCons[H, Tail <: HList](head: H, tail: Tail) extends HList  {

dragisak

# Create tables for event sourcing.

# --- !Ups

CREATE TABLE events
(
  event_id      uuid NOT NULL,
  seq           bigint NOT NULL,
  event_type    character varying(12) NOT NULL,
  user_id       bigint NOT NULL,

dragisak

import scalaz._
import Scalaz._
import Lens._

/*

Examples of Scalaz lenses

*/

dragisak

case class Address(street: String, state: String, zip: Int)

object AddressBuilder {

  sealed trait Prop

  sealed trait OK extends Prop

  sealed trait Missing extends Prop

dragisak

import slick.lifted.MappedTypeMapper
import java.sql.Date
import org.joda.time.DateTime
import slick.lifted.TypeMapper.DateTypeMapper

object DateTimeMapper {

  implicit def date2dateTime = MappedTypeMapper.base[DateTime, Date] (
    dateTime => new Date(dateTime.getMillis),
    date => new DateTime(date)