libretto-lambda
libretto-lambda
API
libretto.lambda
util
Applicative
Applicative
BiInjective
BiInjective
Exists
Exists
Some
ExistsK
ExistsK
Some
Functional
Injective
Injective
id
Masked
Masked
Monad
Monad
syntax
SourcePos
SourcePos
TypeEq
TypeEq
Refl
TypeEqK
TypeEqK
Refl
UniqueTypeArg
ArrowMap
Image
Image
Bin
Partitioned
Left
Right
Both
Bin
Branch
Leaf
Capture
Capture
Absorbed
Impl
CaptureFst
CaptureSnd
InFst
InSnd
NoCapture
Par
Proper
CapturingFun
CapturingFun
Closure
NoCapture
Category
ClosedSemigroupalCategory
ClosedSymmetricMonoidalCategory
ClosedSymmetricSemigroupalCategory
ContextImpl
Focus
Focus
Fst
Id
Proper
Snd
InversiveMonoidalCategory
InversiveSemigroupalCategory
Knit
Knit
InFst
InFstImpl
InSnd
InSndImpl
KeepFst
KeepSnd
Knitted
Lambdas
AbstractFuns
Contexts
Exprs
LinCheck
Success
Failure
LinCheck
given_Applicative_LinCheck
given_UniqueTypeArg_Expr
Lambdas
Delambdified
Closure
Exact
Failure
Delambdified
Error
LinearityViolation
OverUnder
Overused
Underused
LinearityViolation
Undefined
Error
LambdasImpl
AbstractFun
CapturingFun
Context
Expr
Id
Map
Prj1
Prj2
Zip
Expr
Unvar
Par
SingleVar
Unvar
MonoidalCategory
ObjectMap
Unpaired
Impl
Unpaired
Projection
Projection
Both
DiscardFst
DiscardSnd
Fst
Id
Par
Proper
FromPair
Snd
SemigroupalCategory
Semigroupoid
Shuffle
BiTransferOpt
IXI_IXI
None_AssocLR
None_IX
None_None
Swap_AssocRL
BiTransferOpt
Par
Fst
Snd
Both
Par
Transfer
AssocLR
AssocRL
IX
IXI
Swap
XI
Transfer
TransferOpt
None
None0
None0
TransferOpt
~⚬
Bimap
ChaseBwRes
Split
Transported
ChaseBwRes
ChaseFwRes
Split
Transported
ChaseFwRes
Composed
Decomposition
Decomposition1
Decomposition1
Id
Id0
Id0
ProjectProperRes
Projected
ProjectProperRes
ProjectRes
Projected
Punched
Punched
Xfer
~⚬
Shuffled
Shuffled
ChaseBwRes
Blocked
OriginatesFrom
Split
Transported
ChaseBwRes
ChaseFwRes
Blocked
FedTo
Split
Transported
ChaseFwRes
Impermeable
Permeable
Permeable
Plated
BiInput
BiOutput
Postshuffled
Preshuffled
Sandwich
SemiCons
SemiSnoc
Solid
Stacked
UnconsSomeRes
Cons
XI
Plated
ProjectRes
Projected
ProjectRes
Punched
Punched
Pure
RevDecomposition1
RevTransferOpt
SemiObstructed
Shuffled
UnconsSomeRes
Pure
Cons
Sink
Sink
Arrow
Join
Spine
Spine
Fst
Id
Snd
StrongZippable
SymmetricMonoidalCategory
SymmetricSemigroupalCategory
Tupled
UnhandledCase
UnhandledCase
Unzippable
Unzip
Var
Var
Set
Zippable
libretto-lambda
/
libretto.lambda
/
Lambdas
/
given_UniqueTypeArg_Expr
given_UniqueTypeArg_Expr
libretto.lambda.Lambdas.given_UniqueTypeArg_Expr
object
given_UniqueTypeArg_Expr
extends
UniqueTypeArg
[
Expr
]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
UniqueTypeArg
[
Expr
]
class
Object
trait
Matchable
class
Any
Self type
given_UniqueTypeArg_Expr
.type
Members list
Clear all
Value members
Concrete methods
override
def
testEqual
[
A
,
B
](
a
:
Expr
[
A
],
b
:
Expr
[
B
]):
Option
[
A
=:=
B
]
Attributes
Definition Classes
UniqueTypeArg
In this article
Attributes
Members list
Value members
Concrete methods