Cons

libretto.lambda.Shuffled.UnconsSomeRes$.Cons
final case class Cons[A, F[_], X, Y, B](pre: A ~⚬ F[X], i: Focus[|*|, F], f: X -> Y, post: Shuffled[F[Y], B]) extends UnconsSomeRes[A, B]

Members list

Concise view

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product