Implementation

final case class Implementation[F[_], A, B](implementation: Eval[Interface[F, B]])(implicit specify: B => Option[A])
Source:
ast.scala
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def mapK[G[_] : Functor](fk: FunctionK[F, G]): Implementation[G, A, B]
Source:
ast.scala

Inherited methods

Inherited from:
Product

Implicits

Implicits

implicit val specify: B => Option[A]
Source:
ast.scala