libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffled/UnconsSomeRes

UnconsSomeRes

libretto.lambda.Shuffled.UnconsSomeRes
enum UnconsSomeRes[A, B]

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class Cons[A, F, X, Y, B]

Members list

Type members

Enum entries

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]
final case class Pure[A, B](s: A shuffle.~⚬ B)
Generated with