libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.lambda/Multiplier

Multiplier

libretto.lambda.Multiplier
See theMultiplier companion object
sealed trait Multiplier[|*|[_, _], A, A1]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Dup[|*|, A, A1, A2]
class Id[|*|, A]

Members list

Concise view

Value members

Concrete methods

def compile[->[_, _]](split: ->[A, A |*| A])(using c: SemigroupalCategory[->, |*|]): A -> A1
def compileM[->[_, _], M[_]](split: M[->[A, A |*| A]])(using c: SemigroupalCategory[->, |*|], M: Applicative[M]): M[A -> A1]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL