libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/DistributionNAry/DistF/Operationalized/DistSnd

DistSnd

libretto.lambda.DistributionNAry.DistF.Operationalized.DistSnd
case class DistSnd[F1[_], B, Cases, F1Cases, Res](distF1: Operationalized[F1, Cases] { type Out = F1Cases; }, dist2: DistRL[B, F1Cases] { type Out = Res; }) extends Operationalized[[x] =>> F1[x] ** B, Cases]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Operationalized[[x] =>> F1[x] ** B, Cases]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Types

override type Out = Res

Value members

Concrete methods

override def compile: (F1[Enum[Cases]] ** B) -> Enum[Res]

Attributes

Definition Classes
override def extend[Lbl <: String, Z](lbl: SingletonType[Lbl]): Operationalized[[x] =>> F1[x] ** B, Cases || (Lbl :: Z)] { type Out = Res || (Lbl :: (F1[Z] ** B)); }

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with