Unapply

libretto.lambda.util.unapply.Unapply
See theUnapply companion trait
object Unapply

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Unapply.type

Members list

Value members

Concrete methods

def apply[F[_], X]: Unapply[F[X], F] { type A = X; }

Givens

Givens

transparent inline given derive[FX, F[_]]: Unapply[FX, F]
given given_Unapply_F_F[F[_], X]: Unapply[F[X], F] { type A = X; }