Punched

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

Attributes

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

Members list

Value members

Concrete methods

def apply[F[_], G[_]](F: Focus[|*|, F], G: Focus[|*|, G], f: [x] => (x$1: Unit) => Shuffled[F[x], G[x]]): Punched[F, G]
def id[F[_]](f: Focus[|*|, F]): Punched[F, F]
def pure[F[_], G[_]](f: Punched[F, G]): Punched[F, G]