Cons

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

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product