destructured-scala
destructured-scala
API
destructured.scala
CtorOf
destructured-scala
/
destructured.scala
destructured.scala
package
destructured.scala
Members list
Clear all
Type members
Classlikes
trait
CtorOf
[
FT
]
Attributes
Supertypes
class
Object
trait
Matchable
class
Any
Types
type
ctor
[
X
,
A
] = (
X
,
A
)
match
{
case
(
Some
[
x
],
a
)
=>
Some
[
a
]
case
(
None
.type,
a
)
=>
None
.type
case
(
Left
[
l
,
r
],
a
)
=>
Left
[
a
,
r
]
case
(
Right
[
l
,
r
],
a
)
=>
Right
[
l
,
a
] }
Givens
Givens
given
given_CtorOf_Left
[
L
,
R
]:
CtorOf
[
Left
[
L
,
R
]]
given
given_CtorOf_None_type
[
T
]:
CtorOf
[
None
.type]
given
given_CtorOf_Right
[
L
,
R
]:
CtorOf
[
Right
[
L
,
R
]]
given
given_CtorOf_Some
[
T
]:
CtorOf
[
Some
[
T
]]
In this article
Members list
Type members
Classlikes
Types
Givens
Givens