libretto-lambda
libretto-lambda
API
libretto.lambda
util
Applicative
Applicative
BiInjective
BiInjective
given_BiInjective_Tuple2
ClampEq
Exists
Exists
Some
ExistsCo
ExistsK
ExistsK
Some
Functional
Injective
Injective
id
Masked
Masked
Monad
Monad
monadId
NonEmptyList
NonEmptyList
SourcePos
SourcePos
StaticValue
StaticValue
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
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
ItemList
ItemList
Single
Snoc
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
Member
Member
InInit
InLast
Single
MonoidalCategory
MonoidalObjectMap
NarrowCategory
PairwiseRel
Unpaired
Impl
Unpaired
ParN
ParN
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
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
SinkNAry
SinkNAry
Single
Snoc
SinkNAryNamed
SourceNAry
SourceNAry
Single
Snoc
Spine
Spine
Fst
Id
Snd
StrongZippable
SymmetricMonoidalCategory
SymmetricSemigroupalCategory
TupleElem
TupleElem
InInit
Last
TupleN
TupleN
Single
Snoc
Tupled
<*>
Atom
UnhandledCase
UnhandledCase
Unzippable
Unzip
Var
Var
Map
Set
Zippable
libretto-lambda
/
libretto.lambda
/
Unzippable
/
Unzip
Unzip
libretto.lambda.Unzippable.Unzip
object
Unzip
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Unzip
.
type
Members list
Clear all
Value members
Concrete methods
def
unapply
[
A
,
B
](
fab
:
F
[
A
|*|
B
]): (
F
[
A
],
F
[
B
])
In this article
Attributes
Members list
Value members
Concrete methods