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

Punched

libretto.lambda.Shuffled.Punched
See thePunched companion trait
object Punched extends PunchedCompanion

Attributes

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

Members list

Value members

Concrete methods

override def apply[F[_], G[_]](F: Focus[|*|, F], G: Focus[|*|, G], f: [x] => DummyImplicit ?=> Shuffled[F[x], G[x]]): Punched[F, G]

Attributes

Definition Classes
def id[F[_]](f: Focus[|*|, F]): Punched[F, F]
override def proveIdBw[F[_]](f: Punched[F, [x] =>> x]): TypeEqK[F, [x] =>> x]

Attributes

Definition Classes
override def proveIdFw[G[_]](f: Punched[[x] =>> x, G]): TypeEqK[[x] =>> x, G]

Attributes

Definition Classes

Inherited methods

def pure[F[_], G[_]](f: Punched[F, G]): ShuffledModule.this.Punched[F, G]

Attributes

Inherited from:
PunchedCompanion
Generated with