Variant

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

Value members

Concrete methods

def contramap[C](g: C => A): Variant[F, C, B]
Source:
ast.scala
def mapK[G[_] : Functor](fk: FunctionK[F, G]): Variant[G, A, B]
Source:
ast.scala

Inherited methods

Inherited from:
Product

Implicits

Implicits

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