Created
January 12, 2014 21:49
-
-
Save gkossakowski/8391032 to your computer and use it in GitHub Desktop.
bug in incremental compiler exposed by scalaz7?
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --- /Users/grek/scala/scalaz/core/src/main/scala/scalaz/Kleisli.scala | |
| +++ /Users/grek/scala/scalaz/core/src/main/scala/scalaz/Kleisli.scala | |
| @@ -1059,11 +1059,11 @@ | |
| ^inherited^ def point[ scalaz.KleisliApplicative.A >: scala.this#Nothing <: scala.this#Any](a: => <scalaz.KleisliApplicative.A>): scalaz.this#Kleisli[<scalaz.KleisliMonad.F>, <scalaz.KleisliMonad.R>, <scalaz.KleisliApplicative.A>] | |
| implicit abstract def F: scalaz.this#Monad[<scalaz.KleisliMonad.F>] | |
| def $init$(): scala.this#Unit | |
| def bind[ scalaz.KleisliMonad.A >: scala.this#Nothing <: scala.this#Any, scalaz.KleisliMonad.B >: scala.this#Nothing <: scala.this#Any](fa: scalaz.this#Kleisli[<scalaz.KleisliMonad.F>, <scalaz.KleisliMonad.R>, <scalaz.KleisliMonad.A>])(f: scala.this#Function1[<scalaz.KleisliMonad.A>, scalaz.this#Kleisli[<scalaz.KleisliMonad.F>, <scalaz.KleisliMonad.R>, <scalaz.KleisliMonad.B>]]): scalaz.this#Kleisli[<scalaz.KleisliMonad.F>, <scalaz.KleisliMonad.R>, <scalaz.KleisliMonad.B>] | |
| } | |
| -private abstract trait scalaz.KleisliMonadReader[ scalaz.KleisliMonadReader.F[ scalaz.KleisliMonadReader._ >: scala.this#Nothing <: scala.this#Any] >: scala.this#Nothing <: scala.this#Any, scalaz.KleisliMonadReader.R >: scala.this#Nothing <: scala.this#Any] requires scalaz.this#KleisliMonadReader[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>] extends scalaz.this#KleisliMonad[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>] with scalaz.this#KleisliApplicative[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>] with scalaz.this#KleisliApply[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>] with scalaz.this#KleisliFunctor[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>] with scalaz.this#MonadReader[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.<refinement>.s>, <scalaz.<refinement>.a>][ scalaz.<refinement>.s >: scala.this#Nothing <: scala.this#Any, scalaz.<refinement>.a >: scala.this#Nothing <: scala.this#Any], <scalaz.KleisliMonadReader.R>] with scalaz.this#Monad[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.this#Bind[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.this#Applicative[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.this#Apply[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.this#Functor[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.this#InvariantFunctor[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| +private abstract trait scalaz.KleisliMonadReader[ scalaz.KleisliMonadReader.F[ scalaz.KleisliMonadReader._ >: scala.this#Nothing <: scala.this#Any] >: scala.this#Nothing <: scala.this#Any, scalaz.KleisliMonadReader.R >: scala.this#Nothing <: scala.this#Any] requires scalaz.this#KleisliMonadReader[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>] extends scalaz.this#KleisliMonad[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>] with scalaz.this#KleisliApplicative[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>] with scalaz.this#KleisliApply[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>] with scalaz.this#KleisliFunctor[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>] with scalaz.this#MonadReader[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.<refinement>.s>, <scalaz.<refinement>.a>][ scalaz.<refinement>.s >: scala.this#Nothing <: scala.this#Any, scalaz.<refinement>.a >: scala.this#Nothing <: scala.this#Any], <scalaz.KleisliMonadReader.R>] with scalaz.this#Monad[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.this#Bind[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.this#Applicative[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.this#Apply[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.this#Functor[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.this#InvariantFunctor[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| { | |
| ^inherited^ final def ==(x$1: scala.this#Any): scala.this#Boolean | |
| ^inherited^ final def !=(x$1: scala.this#Any): scala.this#Boolean | |
| ^inherited^ final def isInstanceOf[ scala.Any.T0 >: scala.this#Nothing <: scala.this#Any]: scala.this#Boolean | |
| ^inherited^ final def asInstanceOf[ scala.Any.T0 >: scala.this#Nothing <: scala.this#Any]: <scala.Any.T0> | |
| @@ -1091,11 +1091,11 @@ | |
| ^inherited^ def invariantFunctorLaw: scalaz.KleisliMonadReader.this#InvariantFunctorLaw with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| -^inherited^ val invariantFunctorSyntax: scalaz.syntax.this#InvariantFunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| +^inherited^ val invariantFunctorSyntax: scalaz.syntax.this#InvariantFunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| ^inherited^ def xmap[ scalaz.Functor.A >: scala.this#Nothing <: scala.this#Any, scalaz.Functor.B >: scala.this#Nothing <: scala.this#Any](fa: scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Functor.A>], f: scala.this#Function1[<scalaz.Functor.A>, <scalaz.Functor.B>], g: scala.this#Function1[<scalaz.Functor.B>, <scalaz.Functor.A>]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Functor.B>] | |
| @@ -1115,21 +1115,21 @@ | |
| ^inherited^ def functorLaw: scalaz.KleisliMonadReader.this#FunctorLaw with scalaz.KleisliMonadReader.this#InvariantFunctorLaw with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| -^inherited^ val functorSyntax: scalaz.syntax.this#FunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#InvariantFunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| +^inherited^ val functorSyntax: scalaz.syntax.this#FunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#InvariantFunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| ^inherited^ def traverse1[ scalaz.Apply.A >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.G[ scalaz.Apply._ >: scala.this#Nothing <: scala.this#Any] >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.B >: scala.this#Nothing <: scala.this#Any](value: <scalaz.Apply.G>[<scalaz.Apply.A>])(f: scala.this#Function1[<scalaz.Apply.A>, scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.B>]])(implicit G: scalaz.this#Traverse1[<scalaz.Apply.G>]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.G>[<scalaz.Apply.B>]] | |
| ^inherited^ def sequence1[ scalaz.Apply.A >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.G[ scalaz.Apply._ >: scala.this#Nothing <: scala.this#Any] >: scala.this#Nothing <: scala.this#Any](as: <scalaz.Apply.G>[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.A>]])(implicit evidence$1: scalaz.this#Traverse1[<scalaz.Apply.G>]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.G>[<scalaz.Apply.A>]] | |
| ^inherited^ def compose[ scalaz.Apply.G[ scalaz.Apply._ >: scala.this#Nothing <: scala.this#Any] >: scala.this#Nothing <: scala.this#Any](implicit G0: scalaz.this#Apply[<scalaz.Apply.G>]): scalaz.this#Apply[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.G>[<scalaz.Apply.<refinement>.α>]][ scalaz.Apply.<refinement>.α >: scala.this#Nothing <: scala.this#Any]] | |
| ^inherited^ def product[ scalaz.Apply.G[ scalaz.Apply._ >: scala.this#Nothing <: scala.this#Any] >: scala.this#Nothing <: scala.this#Any](implicit G0: scalaz.this#Apply[<scalaz.Apply.G>]): scalaz.this#Apply[scala.this#Tuple2[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.<refinement>.α>], <scalaz.Apply.G>[<scalaz.Apply.<refinement>.α>]][ scalaz.Apply.<refinement>.α >: scala.this#Nothing <: scala.this#Any]] | |
| ^inherited^ def apF[ scalaz.Apply.A >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.B >: scala.this#Nothing <: scala.this#Any](f: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, scala.this#Function1[<scalaz.Apply.A>, <scalaz.Apply.B>]]): scala.this#Function1[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.A>], scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.B>]] | |
| -^inherited^ @scala.this#deprecated( = ("Apply#zip produces unlawful instances","7.1.0")) def zip: scalaz.this#Zip[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] | |
| +^inherited^ @scala.this#deprecated( = ("Apply#zip produces unlawful instances","7.1.0")) def zip: scalaz.this#Zip[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] | |
| ^inherited^ def ap2[ scalaz.Apply.A >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.B >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.C >: scala.this#Nothing <: scala.this#Any](fa: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.A>], fb: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.B>])(f: scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, scala.this#Function2[<scalaz.Apply.A>, <scalaz.Apply.B>, <scalaz.Apply.C>]]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.C>] | |
| ^inherited^ def ap3[ scalaz.Apply.A >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.B >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.C >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.D >: scala.this#Nothing <: scala.this#Any](fa: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.A>], fb: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.B>], fc: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.C>])(f: scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, scala.this#Function3[<scalaz.Apply.A>, <scalaz.Apply.B>, <scalaz.Apply.C>, <scalaz.Apply.D>]]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.D>] | |
| ^inherited^ def ap4[ scalaz.Apply.A >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.B >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.C >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.D >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.E >: scala.this#Nothing <: scala.this#Any](fa: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.A>], fb: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.B>], fc: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.C>], fd: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.D>])(f: scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, scala.this#Function4[<scalaz.Apply.A>, <scalaz.Apply.B>, <scalaz.Apply.C>, <scalaz.Apply.D>, <scalaz.Apply.E>]]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.E>] | |
| ^inherited^ def ap5[ scalaz.Apply.A >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.B >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.C >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.D >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.E >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.R >: scala.this#Nothing <: scala.this#Any](fa: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.A>], fb: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.B>], fc: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.C>], fd: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.D>], fe: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.E>])(f: scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, scala.this#Function5[<scalaz.Apply.A>, <scalaz.Apply.B>, <scalaz.Apply.C>, <scalaz.Apply.D>, <scalaz.Apply.E>, <scalaz.Apply.R>]]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.R>] | |
| ^inherited^ def ap6[ scalaz.Apply.A >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.B >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.C >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.D >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.E >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.FF >: scala.this#Nothing <: scala.this#Any, scalaz.Apply.R >: scala.this#Nothing <: scala.this#Any](fa: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.A>], fb: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.B>], fc: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.C>], fd: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.D>], fe: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.E>], ff: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.FF>])(f: scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, scala.this#Function6[<scalaz.Apply.A>, <scalaz.Apply.B>, <scalaz.Apply.C>, <scalaz.Apply.D>, <scalaz.Apply.E>, <scalaz.Apply.FF>, <scalaz.Apply.R>]]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Apply.R>] | |
| @@ -1164,11 +1164,11 @@ | |
| ^inherited^ def applyLaw: scalaz.KleisliMonadReader.this#ApplyLaw with scalaz.KleisliMonadReader.this#FunctorLaw with scalaz.KleisliMonadReader.this#InvariantFunctorLaw with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| -^inherited^ val applySyntax: scalaz.syntax.this#ApplySyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#FunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#InvariantFunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| +^inherited^ val applySyntax: scalaz.syntax.this#ApplySyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#FunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#InvariantFunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| ^inherited^ final def pure[ scalaz.Applicative.A >: scala.this#Nothing <: scala.this#Any](a: => <scalaz.Applicative.A>): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Applicative.A>] | |
| @@ -1178,17 +1178,17 @@ | |
| ^inherited^ def replicateM[ scalaz.Applicative.A >: scala.this#Nothing <: scala.this#Any](n: scala.this#Int, fa: scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Applicative.A>]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, scala.collection.immutable.this#List[<scalaz.Applicative.A>]] | |
| ^inherited^ def replicateM_[ scalaz.Applicative.A >: scala.this#Nothing <: scala.this#Any](n: scala.this#Int, fa: scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Applicative.A>]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, scala.this#Unit] | |
| ^inherited^ def filterM[ scalaz.Applicative.A >: scala.this#Nothing <: scala.this#Any](l: scala.collection.immutable.this#List[<scalaz.Applicative.A>])(f: scala.this#Function1[<scalaz.Applicative.A>, scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, scala.this#Boolean]]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, scala.collection.immutable.this#List[<scalaz.Applicative.A>]] | |
| ^inherited^ def compose[ scalaz.Applicative.G[ scalaz.Applicative._ >: scala.this#Nothing <: scala.this#Any] >: scala.this#Nothing <: scala.this#Any](implicit G0: scalaz.this#Applicative[<scalaz.Applicative.G>]): scalaz.this#Applicative[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Applicative.G>[<scalaz.Applicative.<refinement>.α>]][ scalaz.Applicative.<refinement>.α >: scala.this#Nothing <: scala.this#Any]] | |
| ^inherited^ def product[ scalaz.Applicative.G[ scalaz.Applicative._ >: scala.this#Nothing <: scala.this#Any] >: scala.this#Nothing <: scala.this#Any](implicit G0: scalaz.this#Applicative[<scalaz.Applicative.G>]): scalaz.this#Applicative[scala.this#Tuple2[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Applicative.<refinement>.α>], <scalaz.Applicative.G>[<scalaz.Applicative.<refinement>.α>]][ scalaz.Applicative.<refinement>.α >: scala.this#Nothing <: scala.this#Any]] | |
| -^inherited^ def flip: scalaz.this#Applicative[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] | |
| +^inherited^ def flip: scalaz.this#Applicative[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] | |
| ^inherited^ def applicativeLaw: scalaz.KleisliMonadReader.this#ApplicativeLaw with scalaz.KleisliMonadReader.this#ApplyLaw with scalaz.KleisliMonadReader.this#FunctorLaw with scalaz.KleisliMonadReader.this#InvariantFunctorLaw with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| -^inherited^ val applicativeSyntax: scalaz.syntax.this#ApplicativeSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#ApplySyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#FunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#InvariantFunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| +^inherited^ val applicativeSyntax: scalaz.syntax.this#ApplicativeSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#ApplySyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#FunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#InvariantFunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| ^inherited^ def join[ scalaz.Bind.A >: scala.this#Nothing <: scala.this#Any](ffa: scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Bind.A>]]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Bind.A>] | |
| @@ -1196,11 +1196,11 @@ | |
| ^inherited^ def bindLaw: scalaz.KleisliMonadReader.this#BindLaw with scalaz.KleisliMonadReader.this#ApplyLaw with scalaz.KleisliMonadReader.this#FunctorLaw with scalaz.KleisliMonadReader.this#InvariantFunctorLaw with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| -^inherited^ val bindSyntax: scalaz.syntax.this#BindSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#ApplySyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#FunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#InvariantFunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| +^inherited^ val bindSyntax: scalaz.syntax.this#BindSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#ApplySyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#FunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#InvariantFunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| ^inherited^ def whileM[ scalaz.Monad.G[ scalaz.Monad._ >: scala.this#Nothing <: scala.this#Any] >: scala.this#Nothing <: scala.this#Any, scalaz.Monad.A >: scala.this#Nothing <: scala.this#Any](p: scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, scala.this#Boolean], body: => scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Monad.A>])(implicit G: scalaz.this#MonadPlus[<scalaz.Monad.G>]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.Monad.G>[<scalaz.Monad.A>]] | |
| @@ -1212,11 +1212,11 @@ | |
| ^inherited^ def monadLaw: scalaz.KleisliMonadReader.this#MonadLaw with scalaz.KleisliMonadReader.this#BindLaw with scalaz.KleisliMonadReader.this#ApplicativeLaw with scalaz.KleisliMonadReader.this#ApplyLaw with scalaz.KleisliMonadReader.this#FunctorLaw with scalaz.KleisliMonadReader.this#InvariantFunctorLaw with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| -^inherited^ val monadSyntax: scalaz.syntax.this#MonadSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#BindSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#ApplicativeSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#ApplySyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#FunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#InvariantFunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.<refinement>.x>][ scalaz.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| +^inherited^ val monadSyntax: scalaz.syntax.this#MonadSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#BindSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#ApplicativeSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#ApplySyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#FunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#InvariantFunctorSyntax[scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.<refinement>.x>][ scalaz.MonadReader.<refinement>.x >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| ^inherited^ def scope[ scalaz.MonadReader.A >: scala.this#Nothing <: scala.this#Any](k: <scalaz.KleisliMonadReader.R>)(fa: scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.A>]): scalaz.this#Kleisli[<scalaz.KleisliMonadReader.F>, <scalaz.KleisliMonadReader.R>, <scalaz.MonadReader.A>] | |
| @@ -1673,10 +1673,11 @@ | |
| ^inherited^ val categorySyntax: scalaz.syntax.this#CategorySyntax[scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, <scalaz.<refinement>.α>, <scalaz.<refinement>.β>][ scalaz.<refinement>.α >: scala.this#Nothing <: scala.this#Any, scalaz.<refinement>.β >: scala.this#Nothing <: scala.this#Any]] with scalaz.syntax.this#ComposeSyntax[scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, <scalaz.<refinement>.α>, <scalaz.<refinement>.β>][ scalaz.<refinement>.α >: scala.this#Nothing <: scala.this#Any, scalaz.<refinement>.β >: scala.this#Nothing <: scala.this#Any]] with java.lang.this#Object with scala.this#Any | |
| { | |
| } | |
| +^inherited^ def foo: scala.this#Int | |
| ^inherited^ override def covariantInstance[ scalaz.Arrow.C >: scala.this#Nothing <: scala.this#Any]: scalaz.this#Applicative[scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, <scalaz.Arrow.C>, <scalaz.Arrow.<refinement>.α>][ scalaz.Arrow.<refinement>.α >: scala.this#Nothing <: scala.this#Any]] | |
| ^inherited^ final def <<<[ scalaz.Arrow.A >: scala.this#Nothing <: scala.this#Any, scalaz.Arrow.B >: scala.this#Nothing <: scala.this#Any, scalaz.Arrow.C >: scala.this#Nothing <: scala.this#Any](fbc: scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, <scalaz.Arrow.B>, <scalaz.Arrow.C>], fab: scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, <scalaz.Arrow.A>, <scalaz.Arrow.B>]): scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, <scalaz.Arrow.A>, <scalaz.Arrow.C>] | |
| ^inherited^ def >>>[ scalaz.Arrow.A >: scala.this#Nothing <: scala.this#Any, scalaz.Arrow.B >: scala.this#Nothing <: scala.this#Any, scalaz.Arrow.C >: scala.this#Nothing <: scala.this#Any](fab: scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, <scalaz.Arrow.A>, <scalaz.Arrow.B>], fbc: scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, <scalaz.Arrow.B>, <scalaz.Arrow.C>]): scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, <scalaz.Arrow.A>, <scalaz.Arrow.C>] | |
| ^inherited^ def second[ scalaz.Arrow.A >: scala.this#Nothing <: scala.this#Any, scalaz.Arrow.B >: scala.this#Nothing <: scala.this#Any, scalaz.Arrow.C >: scala.this#Nothing <: scala.this#Any](f: scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, <scalaz.Arrow.A>, <scalaz.Arrow.B>]): scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, scala.this#Tuple2[<scalaz.Arrow.C>, <scalaz.Arrow.A>], scala.this#Tuple2[<scalaz.Arrow.C>, <scalaz.Arrow.B>]] | |
| ^inherited^ final def splitA[ scalaz.Arrow.A >: scala.this#Nothing <: scala.this#Any, scalaz.Arrow.B >: scala.this#Nothing <: scala.this#Any, scalaz.Arrow.C >: scala.this#Nothing <: scala.this#Any, scalaz.Arrow.D >: scala.this#Nothing <: scala.this#Any](fab: scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, <scalaz.Arrow.A>, <scalaz.Arrow.B>], fcd: scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, <scalaz.Arrow.C>, <scalaz.Arrow.D>]): scalaz.this#Kleisli[<scalaz.KleisliArrow.F>, scala.this#Tuple2[<scalaz.Arrow.A>, <scalaz.Arrow.C>], scala.this#Tuple2[<scalaz.Arrow.B>, <scalaz.Arrow.D>]] |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment