libretto-lambda
libretto-lambda
API
libretto.lambda
util
Applicative
Applicative
applicativeFunction0
applicativeId
given_Applicative_Option
BiInjective
BiInjective
given_BiInjective_Tuple2
ClampEq
Exists
Exists
Indeed
ExistsCo
ExistsK
ExistsK
Indeed
Functional
Functor
Injective
Injective
id
Masked
Masked
Monad
Monad
monadId
NonEmptyList
NonEmptyList
SingletonType
SingletonType
SourcePos
SourcePos
TypeEq
TypeEq
Refl
TypeEqK
TypeEqK
Refl
Validated
Valid
Invalid
Validated
unapply
Unapply
Unapply
Unapply2
Unapply2
UnapplyLowPriorityGiven
AForest
AForest
Empty
Focused
At
IntoNode
Focused
Node
NonEmpty
Par
Punched
Fst
Id
Snd
Punched
ArrowMap
Bin
Partitioned
Left
Right
Both
Bin
Branch
Leaf
Capture
Capture
Absorbed
Impl
CaptureFst
CaptureSnd
Exposed
Exposed
InFst
InSnd
NoCapture
Par
Proper
CapturingFun
CapturingFun
Closure
NoCapture
Category
ClosedSemigroupalCategory
ClosedSymmetricMonoidalCategory
ClosedSymmetricSemigroupalCategory
CocartesianNAryCategory
CocartesianNAryCategory
CocartesianSemigroupalCategory
ContextImpl
CoproductPartitioning
Distribution
DistributionNAry
DistF
Operationalized
DistFst
DistSnd
Id
Operationalized
Single
Snoc
DistF
DistributionNAry
DistLR
Single
Snoc
Unnamed
Single
Snoc
Unnamed
DistLR
DistRL
Single
Snoc
Unnamed
Single
Snoc
Unnamed
DistRL
DropNames
DropNames
Single
Snoc
EnumModule
HandleInit
HandlersModule
EnumModule
Extractor
Extractor
Via
Focus
Focus
Fst
Id
Proper
Snd
InversiveMonoidalCategory
InversiveSemigroupalCategory
Items1
Member
InInit
Last
Member
Product
Single
Snoc
Product
Items1Named
Member
InInit
InLast
Single
Member
OneOf
Aux
InInit
Last
Member
Single
OneOf
Product
Single
Snoc
Product
Sum
Value
Sum
Witness
Single
Snoc
Witness
Knit
Knit
InFst
InFstImpl
InSnd
InSndImpl
KeepFst
KeepSnd
Knitted
Lambdas
Contexts
Exprs
given_ClampEq_Expr
Lambdas
LambdasFactory
LinearityViolation
Overused
Unused
LinearityViolation
LambdasImpl
CapturingFun
Context
Expr
Id
Map
Prj1
Prj2
Zip
ZipN
Expr
Unvar
Par
SingleVar
Unvar
MappedMorphism
MappedMorphism
MonoidalCategory
MonoidalObjectMap
NarrowCategory
PairwiseRel
Unpaired
Impl
Unpaired
ParN
ParN
Named
Single
Snoc
Named
Single
Snoc
Partitioning
Partitioning
SubFun
PatternMatching
ForLambdas
PatternMatchError
IncompatibleExtractors
NonExhaustiveness
PatternMatching
UnusedInBranch
Projection
Projection
Both
DiscardFst
DiscardSnd
Fst
Id
Par
Proper
FromPair
Snd
SemigroupalCategory
SemigroupalObjectMap
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
Impermeable
Permeable
Permeable
Plated
BiInput
BiOutput
Postshuffled
Preshuffled
Sandwich
SemiCons
SemiSnoc
Solid
Stacked
UnconsSomeRes
Cons
XI
Plated
Punched
Punched
Pure
RevDecomposition1
RevTransferOpt
SemiObstructed
Shuffled
UnconsSomeRes
Pure
Cons
ShuffledModule
ChaseBwRes
Blocked
OriginatesFrom
Split
Transported
ChaseBwRes
ChaseFwRes
Blocked
FedTo
Split
Transported
ChaseFwRes
ProjectRes
Projected
ProjectRes
PunchedCompanion
given_SymmetricSemigroupalCategory_Shuffled_**
ShuffledModule
Sink
Sink
Arrow
Join
SinkNAry
SinkNAry
Single
Snoc
SinkNAryNamed
SourceNAry
SourceNAry
Single
Snoc
Spine
Spine
Fst
Id
Snd
StrongZippable
SymmetricMonoidalCategory
SymmetricSemigroupalCategory
SymmetricSemigroupalCategory
Hoisted
Tupled
<*>
Atom
UnhandledCase
UnhandledCase
Unzippable
Unzip
Var
Var
Map
Set
Zippable
libretto-lambda
/
libretto.lambda
/
Lambdas
/
given_ClampEq_Expr
given_ClampEq_Expr
libretto.lambda.Lambdas.given_ClampEq_Expr
object
given_ClampEq_Expr
extends
ClampEq
[
Expr
]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
ClampEq
[
Expr
]
class
Object
trait
Matchable
class
Any
Self type
given_ClampEq_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
ClampEq
In this article
Attributes
Members list
Value members
Concrete methods