ExistsK

libretto.lambda.util.ExistsK
See theExistsK companion object
sealed trait ExistsK[F[_[_]]]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Indeed[F, A]

Members list

Type members

Types

type T[_]

Value members

Abstract fields

val value: F[T]