paulp

Sep 19 21:52:53 [info]  found   : scalaz.Inject[[(some other)A(in class Coproduct)]scalaz.Coproduct[_ >: [(some other)β$4$(in type Λ$)]quasar.qscript.ThetaJoin[T,(some other)β$4$(in type Λ$)] with scalaz.Const[quasar.qscript.ShiftedRead,(some other)β$4$(in type Λ$)] <: [β$4$]Product with Serializable, _ >: [(some other)β$5$(in type Λ$)]scalaz.Coproduct[[β$2$(in type Λ$)]quasar.qscript.ProjectBucket[T,β$2$(in type Λ$)],[β$3$(in type Λ$)]scalaz.Coproduct[[β$0$(in type Λ$)]scalaz.Const[quasar.qscript.DeadEnd,β$0$(in type Λ$)],[β$1$(in type Λ$)]quasar.qscript.QScriptCore[T,β$1$(in type Λ$)],β$3$(in type Λ$)],(some other)β$5$(in type Λ$)] with scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$(in type Λ$)]quasar.qscript.ThetaJoin[T,β$4$(in type Λ$)],[β$5$(in type Λ$)]scalaz.Coproduct[[β$2$(in type Λ$)]quasar.qscript.ProjectBucket[T,β$2$(in type Λ$)],[β$3$(in type Λ$)]scalaz.Coproduct[[β$0$(in type Λ$)]scalaz.Const[

paulp

  class Skeleton[F[_]] extends EmptyFs[Free[F, ?]] {
    def close(fh: RHandle): F[Unit]                                                      = ()
    def close(fh: WHandle): F[Unit]                                                      = ()
    def close(rh: QHandle): F[Unit]                                                      = ()
    def createTempFile(near: APath): FLR[AFile]                                          = Unimplemented
    def deletePath(path: APath): FLR[Unit]                                               = Unimplemented
    def evaluate(lp: FixPlan): FPLR[QHandle]                                             = Unimplemented
    def execute(lp: FixPlan, out: AFile): FPLR[AFile]                                    = Unimplemented
    def exists(file: AFile): F[Boolean]                                                  = false
    def explain(lp: FixPlan): FPLR[ExecutionPlan]                                        = Unimplemented

paulp

% sbt -Dplugins=coursier 'coursierDependencyTree'
foundation
├─ com.chuusai:shapeless_2.11:2.3.1
|  ├─ org.scala-lang:scala-library:2.11.8
|  └─ org.typelevel:macro-compat_2.11:1.1.1
|     └─ org.scala-lang:scala-library:2.11.7 -> 2.11.8
├─ com.github.julien-truffaut:monocle-core_2.11:1.2.2
|  ├─ org.scala-lang:scala-library:2.11.8
|  └─ org.scalaz:scalaz-core_2.11:7.2.2 -> 7.2.4
|     └─ org.scala-lang:scala-library:2.11.8

paulp

trait ApplicativeContext {
  type F[X]

  protected implicit def applicative: Applicative[F]
  protected implicit def point[A](x: A): F[A] = applicative point x
}
trait EitherTypes[F[X], L] {
  type LR[A]  = L \/ A
  type ER[A]  = EitherT[F, L, A]
  type FLR[A] = F[LR[A]]

paulp

shapeless.Witness$
shapeless.Witness
shapeless.Witness$$anon$2
shapeless.Nats
shapeless.Nat$
shapeless.Nats$class
shapeless.Nat
shapeless.Succ
shapeless._0
shapeless.Cases$Case5$

paulp

#!/usr/bin/env bash
#
# Dependencies:
#   coursier ( on OSX: brew install --HEAD paulp/extras/coursier )
#   zinc     ( on OSX: brew install zinc )
#

set -euo pipefail

# You can compile code in different projects by overriding these, e.g.

paulp

46.447s core/src/main/scala/quasar/qscript/Optimize.scala
35.068s core/src/main/scala/quasar/fs/QueryFile.scala
33.051s core/src/main/scala/quasar/qscript/QScriptCore.scala
19.998s core/src/main/scala/quasar/qscript/ConvertPath.scala
12.956s core/src/main/scala/quasar/qscript/EquiJoin.scala
11.291s core/src/main/scala/quasar/qscript/ThetaJoin.scala
9.854s core/src/main/scala/quasar/std/string.scala
7.679s core/src/main/scala/quasar/qscript/MapFunc.scala
7.421s core/src/main/scala/quasar/qscript/ShiftRead.scala
6.485s core/src/main/scala/quasar/fs/ReadFile.scala

paulp

/*
 * Copyright 2014–2016 SlamData Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software

paulp

% sbtx dependencyGraph
... blah blah ...
[info] *** Welcome to the sbt build definition for Scala! ***
[info] Check README.md for more information.
[error] Not a valid command: dependencyGraph
[error] Not a valid project ID: dependencyGraph


% sbtx -Dplugins=graph dependencyGraph
... blah blah ...

paulp

object Local1 {
  trait X1 {
    type A
    val value: A
    lazy val other: value.type = value
  }
  class C1 extends X1 {
    type A = 5
    val value: 5 = 5
  }