libretto-core
API
Generated with
libretto-core/libretto/libretto.exec/ExecutionParams

ExecutionParams

libretto.exec.ExecutionParams$package.ExecutionParams
object ExecutionParams

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def fromTupled[P[_], A](pa: Tupled[Tuple2, P, A]): ExecutionParams[P, A]
def unit[P[_]]: ExecutionParams[P, Unit]
def wrap[P[_], A](pa: P[A]): ExecutionParams[P, A]

Extensions

Extensions

extension [P[_], A](pa: ExecutionParams[P, A])
def adapt[Q[_]](h: [Y] => P[Y] => Exists[[X] =>> (Q[X], X => Y)]): Exists[[X] =>> (ExecutionParams[Q, X], X => A)]
def asTupled: Either[A =:= Unit, Tupled[Tuple2, P, A]]
Generated with