Shuffled

libretto.lambda.Shuffled
See theShuffled companion class
object Shuffled

Attributes

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

Members list

Type members

Types

type With[->[_, _], |*|[_, _], S <: Shuffle[|*|]] = Shuffled[->, |*|] { val shuffle: S; }

Value members

Concrete methods

def apply[->[_, _], |*|[_, _]](sh: Shuffle[|*|])(using BiInjective[|*|]): With[->, |*|, sh.type]
def apply[->[_, _], |*|[_, _]](using BiInjective[|*|]): Shuffled[->, |*|]