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

libretto.lambda

package libretto.lambda

Members list

Concise view

Type members

Classlikes

trait Category[->[_, _]] extends Semigroupoid[->]

Attributes

Graph
Supertypes
trait Semigroupoid[->]
class Object
trait Matchable
class Any
Known subtypes
trait SemigroupalCategory[->, |*|]
trait ClosedSemigroupalCategory[->, |*|, -->]
trait ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]
trait InversiveMonoidalCategory[->, |*|, One, -]
trait MonoidalCategory[->, |*|, One]
trait SymmetricMonoidalCategory[->, |*|, One]
trait ClosedSemigroupalCategory[->[_, _], |*|[_, _], -->[_, _]] extends SemigroupalCategory[->, |*|]

Attributes

Graph
Supertypes
trait SemigroupalCategory[->, |*|]
trait Category[->]
trait Semigroupoid[->]
class Object
trait Matchable
class Any
Known subtypes
trait ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]
trait InversiveMonoidalCategory[->, |*|, One, -]
trait ClosedSymmetricMonoidalCategory[-⚬[_, _], |*|[_, _], One, =⚬[_, _]] extends ClosedSymmetricSemigroupalCategory[-⚬, |*|, =⚬] with SymmetricMonoidalCategory[-⚬, |*|, One]

Attributes

Graph
Supertypes
trait SymmetricMonoidalCategory[-⚬, |*|, One]
trait MonoidalCategory[-⚬, |*|, One]
trait ClosedSymmetricSemigroupalCategory[-⚬, |*|, =⚬]
trait ClosedSemigroupalCategory[-⚬, |*|, =⚬]
trait SemigroupalCategory[-⚬, |*|]
trait Category[-⚬]
trait Semigroupoid[-⚬]
class Object
trait Matchable
class Any
trait ClosedSymmetricSemigroupalCategory[->[_, _], |*|[_, _], -->[_, _]] extends ClosedSemigroupalCategory[->, |*|, -->] with SymmetricSemigroupalCategory[->, |*|]

Attributes

Graph
Supertypes
trait ClosedSemigroupalCategory[->, |*|, -->]
trait SemigroupalCategory[->, |*|]
trait Category[->]
trait Semigroupoid[->]
class Object
trait Matchable
class Any
Known subtypes
trait ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]
trait InversiveMonoidalCategory[->, |*|, One, -]
object Closures

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class Closures[-⚬[_, _], |*|[_, _], =⚬[_, _], Var[_], VarSet, E, LE, LAMBDAS <: Lambdas[-⚬, |*|, Var, VarSet, E, LE]](val lambdas: LAMBDAS)(using inj: BiInjective[|*|], variables: Variable[Var, VarSet])

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
class ClosuresOne[-⚬[_, _], |*|[_, _], One, =⚬[_, _], Var[_], VarSet](using smc: SymmetricMonoidalCategory[-⚬, |*|, One], inj: BiInjective[|*|], variables: Variable[Var, VarSet])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
trait InversiveMonoidalCategory[->[_, _], |*|[_, _], One, -[_]] extends InversiveSemigroupalCategory[->, |*|, -] with SymmetricMonoidalCategory[->, |*|, One]

Attributes

Graph
Supertypes
trait SymmetricMonoidalCategory[->, |*|, One]
trait MonoidalCategory[->, |*|, One]
trait ClosedSymmetricSemigroupalCategory[->, |*|, [x, y] =>> -[x] |*| y]
trait ClosedSemigroupalCategory[->, |*|, [x, y] =>> -[x] |*| y]
trait SemigroupalCategory[->, |*|]
trait Category[->]
trait Semigroupoid[->]
class Object
trait Matchable
class Any
trait InversiveSemigroupalCategory[->[_, _], |*|[_, _], -[_]] extends ClosedSymmetricSemigroupalCategory[->, |*|, [x, y] =>> -[x] |*| y]

Attributes

Graph
Supertypes
trait ClosedSymmetricSemigroupalCategory[->, |*|, [x, y] =>> -[x] |*| y]
trait ClosedSemigroupalCategory[->, |*|, [x, y] =>> -[x] |*| y]
trait SemigroupalCategory[->, |*|]
trait Category[->]
trait Semigroupoid[->]
class Object
trait Matchable
class Any
Known subtypes
trait InversiveMonoidalCategory[->, |*|, One, -]
trait Lambdas[-⚬[_, _], |*|[_, _], Var[_], VarSet, E, LE]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class LambdasImpl[-⚬, |*|, Var, VarSet, E, LE]
class LambdasOne[-⚬, |*|, One, Var, VarSet]
object Lambdas

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Lambdas.type
class LambdasImpl[-⚬[_, _], |*|[_, _], Var[_], VarSet, E, LE](using ssc: SymmetricSemigroupalCategory[-⚬, |*|], inj: BiInjective[|*|], variables: Variable[Var, VarSet], errors: ErrorFactory[E, LE, VarSet]) extends Lambdas[-⚬, |*|, Var, VarSet, E, LE]

Attributes

Graph
Supertypes
trait Lambdas[-⚬, |*|, Var, VarSet, E, LE]
class Object
trait Matchable
class Any
class LambdasOne[-⚬[_, _], |*|[_, _], One, Var[_], VarSet](varSynthesizer: VarSynthesizer[Var, |*|])(using inj: BiInjective[|*|], variables: Variable[Var, VarSet], smc: SymmetricMonoidalCategory[-⚬, |*|, One]) extends Lambdas[-⚬, |*|, Var, VarSet, Error[VarSet], LinearityViolation[VarSet]]

Attributes

Companion:
object
Graph
Supertypes
trait Lambdas[-⚬, |*|, Var, VarSet, Error[VarSet], LinearityViolation[VarSet]]
class Object
trait Matchable
class Any
object LambdasOne

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait MonoidalCategory[->[_, _], |*|[_, _], One] extends SemigroupalCategory[->, |*|]

Attributes

Graph
Supertypes
trait SemigroupalCategory[->, |*|]
trait Category[->]
trait Semigroupoid[->]
class Object
trait Matchable
class Any
Known subtypes
trait SymmetricMonoidalCategory[->, |*|, One]
trait ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]
trait InversiveMonoidalCategory[->, |*|, One, -]
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]
object Multiplier

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
trait SemigroupalCategory[->[_, _], |*|[_, _]] extends Category[->]

Attributes

Graph
Supertypes
trait Category[->]
trait Semigroupoid[->]
class Object
trait Matchable
class Any
Known subtypes
trait ClosedSemigroupalCategory[->, |*|, -->]
trait ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]
trait InversiveMonoidalCategory[->, |*|, One, -]
trait MonoidalCategory[->, |*|, One]
trait SymmetricMonoidalCategory[->, |*|, One]
trait Semigroupoid[->[_, _]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Category[->]
trait SemigroupalCategory[->, |*|]
trait ClosedSemigroupalCategory[->, |*|, -->]
trait ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]
trait InversiveMonoidalCategory[->, |*|, One, -]
trait MonoidalCategory[->, |*|, One]
trait SymmetricMonoidalCategory[->, |*|, One]
class Shuffle[|*|[_, _]](using inj: BiInjective[|*|])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
class Shuffled[->[_, _], |*|[_, _]](using x$1: BiInjective[|*|])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
trait SymmetricMonoidalCategory[->[_, _], |*|[_, _], One] extends SymmetricSemigroupalCategory[->, |*|] with MonoidalCategory[->, |*|, One]

Attributes

Graph
Supertypes
trait MonoidalCategory[->, |*|, One]
trait SemigroupalCategory[->, |*|]
trait Category[->]
trait Semigroupoid[->]
class Object
trait Matchable
class Any
Known subtypes
trait ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]
trait InversiveMonoidalCategory[->, |*|, One, -]
trait SymmetricSemigroupalCategory[->[_, _], |*|[_, _]] extends SemigroupalCategory[->, |*|]

Attributes

Graph
Supertypes
trait SemigroupalCategory[->, |*|]
trait Category[->]
trait Semigroupoid[->]
class Object
trait Matchable
class Any
Known subtypes
trait ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]
trait InversiveMonoidalCategory[->, |*|, One, -]
trait SymmetricMonoidalCategory[->, |*|, One]
sealed trait Tupled[|*|[_, _], F[_], A]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Single[|*|, F, A]
class Zip[|*|, F, X, Y]
object Tupled

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Tupled.type
object UnhandledCase

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class UnhandledCase(desc: String, pos: SourcePos) extends Exception

Attributes

Companion:
object
Graph
Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
trait Variable[Var[_], VarSet] extends UniqueTypeArg[Var]

Attributes

Graph
Supertypes
trait UniqueTypeArg[Var]
class Object
trait Matchable
class Any
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL