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

DistFst

libretto.lambda.DistributionNAry.DistF.Operationalized.DistFst
case class DistFst[A, F2[_], Cases, F2Cases, Res](distF2: Operationalized[F2, Cases] { type Out = F2Cases; }, dist1: DistLR[A, F2Cases] { type Out = Res; }) extends Operationalized[[x] =>> A ** F2[x], Cases]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Operationalized[[x] =>> A ** F2[x], 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: (A ** F2[Enum[Cases]]) -> Enum[Res]

Attributes

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

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with