libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/ShuffledModule/PunchedCompanion

PunchedCompanion

libretto.lambda.ShuffledModule.PunchedCompanion
trait PunchedCompanion

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Punched

Members list

Value members

Abstract methods

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

Concrete methods

def pure[F[_], G[_]](f: Punched[F, G]): Punched[F, G]
Generated with