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

Plated

libretto.lambda.Shuffled.Plated
See thePlated companion trait
object Plated

Attributes

Companion
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Plated.type

Members list

Type members

Classlikes

sealed trait BiInput[A1, A2, B] extends Plated[A1 |*| A2, B]

Attributes

Supertypes
trait Plated[A1 |*| A2, B]
class Object
trait Matchable
class Any
Known subtypes
class SemiCons[A1, A2, X2, Y2, Z1, Z2, B]
class Stacked[A1, A2, B1, B2]
class XI[A1, A2, P1, P2, Q, R, S1, S2, B1, B2]
sealed trait BiOutput[A, B1, B2] extends Plated[A, B1 |*| B2]

Attributes

Supertypes
trait Plated[A, B1 |*| B2]
class Object
trait Matchable
class Any
Known subtypes
class SemiSnoc[A, X1, X2, Y2, Z2, B1, B2]
class Stacked[A1, A2, B1, B2]
class XI[A1, A2, P1, P2, Q, R, S1, S2, B1, B2]
case class Postshuffled[A, X, B](f: Plated[A, X], s: X shuffle.~⚬ B)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Preshuffled[A, X, B](s: A shuffle.~⚬ X, t: Plated[X, B])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Sandwich[A, X, Y, B](l: Plated[A, X], m: X shuffle.~⚬ Y, r: Plated[Y, B]) extends Plated[A, B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Plated[A, B]
class Object
trait Matchable
class Any
Show all
case class SemiCons[A1, A2, X2, Y2, Z1, Z2, B](semiHead: Plated[A2, X2], s: X2 shuffle.~⚬ Y2, t: shuffle.TransferOpt[A1, Y2, Z1, Z2], tail: Plated[Z1 |*| Z2, B]) extends BiInput[A1, A2, B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait BiInput[A1, A2, B]
trait Plated[A1 |*| A2, B]
class Object
trait Matchable
class Any
Show all
case class SemiSnoc[A, X1, X2, Y2, Z2, B1, B2](init: Plated[A, X1 |*| X2], t: RevTransferOpt[X1, X2, B1, Y2], s: Y2 shuffle.~⚬ Z2, semiLast: Plated[Z2, B2]) extends BiOutput[A, B1, B2]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait BiOutput[A, B1, B2]
trait Plated[A, B1 |*| B2]
class Object
trait Matchable
class Any
Show all
case class Solid[A, B](f: A -> B) extends Plated[A, B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Plated[A, B]
class Object
trait Matchable
class Any
Show all
case class Stacked[A1, A2, B1, B2](f1: Plated[A1, B1], f2: Plated[A2, B2]) extends BiInput[A1, A2, B1 |*| B2], BiOutput[A1 |*| A2, B1, B2]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait BiOutput[A1 |*| A2, B1, B2]
trait BiInput[A1, A2, B1 |*| B2]
trait Plated[A1 |*| A2, B1 |*| B2]
class Object
trait Matchable
class Any
Show all
enum UnconsSomeRes[A, B]

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class Cons[F, X, Y, B]
case class XI[A1, A2, P1, P2, Q, R, S1, S2, B1, B2](l: Plated[A2, P1 |*| P2], lt: RevTransferOpt[P1, P2, B1, Q], b: Q shuffle.~⚬ R, rt: shuffle.TransferOpt[A1, R, S1, S2], r: Plated[S1 |*| S2, B2]) extends BiInput[A1, A2, B1 |*| B2], BiOutput[A1 |*| A2, B1, B2]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait BiOutput[A1 |*| A2, B1, B2]
trait BiInput[A1, A2, B1 |*| B2]
trait Plated[A1 |*| A2, B1 |*| B2]
class Object
trait Matchable
class Any
Show all

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Generated with