matryoshka
.
patterns
Failure
Related Doc:
package patterns
final
case class
Failure
[
T
[
_
[
_
]
]
,
F
[
_
]
,
E
,
A
]
extends
PotentialFailure
[
T
,
F
,
E
,
A
] with
Product
with
Serializable
Akin to Free.point
Linear Supertypes
Serializable
,
Serializable
,
Product
,
Equals
,
PotentialFailure
[
T
,
F
,
E
,
A
],
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Failure
Serializable
Serializable
Product
Equals
PotentialFailure
AnyRef
Any
Implicitly
by toIdOps
Hide All
Show All
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
ana
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
f: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
Failure
[
T
,
F
,
E
,
A
]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
anaM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
f: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
M
[
F
[
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
,
T:
Corecursive
[
T
]
)
:
M
[
T
[
F
]]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
apo
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
f: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
\/
[
T
[
F
],
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
apoM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
f: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
M
[
F
[
\/
[
T
[
F
],
Failure
[
T
,
F
,
E
,
A
]]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
,
T:
Corecursive
[
T
]
)
:
M
[
T
[
F
]]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
attributeAna
[
F
[
_
]
]
(
ψ: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
Failure
[
T
,
F
,
E
,
A
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
Cofree
[
F
,
Failure
[
T
,
F
,
E
,
A
]]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
attributeAnaM
[
M
[
_
]
,
F
[
_
]
]
(
ψ: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
M
[
F
[
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
)
:
M
[
Cofree
[
F
,
Failure
[
T
,
F
,
E
,
A
]]]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
chrono
[
F
[
_
]
,
B
]
(
g: (
F
[
Cofree
[
F
,
B
]]) ⇒
B
,
f: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
Free
[
F
,
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
codyna
[
F
[
_
]
,
B
]
(
φ: (
F
[
B
]) ⇒
B
,
ψ: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
Free
[
F
,
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
codynaM
[
M
[
_
]
,
F
[
_
]
,
B
]
(
φ: (
F
[
B
]) ⇒
M
[
B
]
,
ψ: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
M
[
F
[
Free
[
F
,
Failure
[
T
,
F
,
E
,
A
]]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
)
:
M
[
B
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
coelgot
[
F
[
_
]
,
B
]
(
φ: ((
Failure
[
T
,
F
,
E
,
A
],
F
[
B
])) ⇒
B
,
ψ: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
Failure
[
T
,
F
,
E
,
A
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
coelgotM
[
M
[
_
]
]
:
IdOps.CoelgotMPartiallyApplied
[
M
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
dyna
[
F
[
_
]
,
B
]
(
φ: (
F
[
Cofree
[
F
,
B
]]) ⇒
B
,
ψ: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
Failure
[
T
,
F
,
E
,
A
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
val
e
:
E
def
elgot
[
F
[
_
]
,
B
]
(
φ: (
F
[
B
]) ⇒
B
,
ψ: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
\/
[
B
,
F
[
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
elgotAna
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
k:
DistributiveLaw
[
M
,
F
]
,
f: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
M
[
F
[
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
elgotApo
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
f: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
\/
[
T
[
F
],
F
[
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
freeAna
[
F
[
_
]
,
B
]
(
ψ: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
\/
[
B
,
F
[
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
Free
[
F
,
B
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
futu
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
f: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
Free
[
F
,
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
futuM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
f: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
M
[
F
[
Free
[
F
,
Failure
[
T
,
F
,
E
,
A
]]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
,
T:
Corecursive
[
T
]
)
:
M
[
T
[
F
]]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
gana
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
k:
DistributiveLaw
[
M
,
F
]
,
f: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
M
[
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
ganaM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
N
[
_
]
,
F
[
_
]
]
(
k:
DistributiveLaw
[
M
,
F
]
,
f: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
N
[
F
[
M
[
Failure
[
T
,
F
,
E
,
A
]]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
M
]
,
arg2:
Monad
[
N
]
,
arg3:
Traverse
[
F
]
,
T:
Corecursive
[
T
]
)
:
N
[
T
[
F
]]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
ghylo
[
W
[
_
]
,
M
[
_
]
,
F
[
_
]
,
B
]
(
w:
DistributiveLaw
[
F
,
W
]
,
m:
DistributiveLaw
[
M
,
F
]
,
f: (
F
[
W
[
B
]]) ⇒
B
,
g: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
M
[
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Comonad
[
W
]
,
arg1:
Monad
[
M
]
,
arg2:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
ghyloM
[
W
[
_
]
,
M
[
_
]
,
N
[
_
]
,
F
[
_
]
,
B
]
(
w:
DistributiveLaw
[
F
,
W
]
,
m:
DistributiveLaw
[
M
,
F
]
,
f: (
F
[
W
[
B
]]) ⇒
N
[
B
]
,
g: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
N
[
F
[
M
[
Failure
[
T
,
F
,
E
,
A
]]]]
)
(
implicit
arg0:
Comonad
[
W
]
,
arg1:
Traverse
[
W
]
,
arg2:
Monad
[
M
]
,
arg3:
Traverse
[
M
]
,
arg4:
Monad
[
N
]
,
arg5:
Traverse
[
F
]
)
:
N
[
B
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
gpostpro
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
k:
DistributiveLaw
[
M
,
F
]
,
e:
~>
[
F
,
F
]
,
g: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
M
[
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Recursive
[
T
]
,
arg1:
Monad
[
M
]
,
arg2:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
hylo
[
F
[
_
]
,
B
]
(
f: (
F
[
B
]) ⇒
B
,
g: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
Failure
[
T
,
F
,
E
,
A
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
hyloM
[
M
[
_
]
,
F
[
_
]
,
B
]
(
f: (
F
[
B
]) ⇒
M
[
B
]
,
g: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
M
[
F
[
Failure
[
T
,
F
,
E
,
A
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
)
:
M
[
B
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
postpro
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
e:
~>
[
F
,
F
]
,
g: (
Failure
[
T
,
F
,
E
,
A
]) ⇒
F
[
Failure
[
T
,
F
,
E
,
A
]]
)
(
implicit
arg0:
Recursive
[
T
]
,
arg1:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
Serializable
Inherited from
Serializable
Inherited from
Product
Inherited from
Equals
Inherited from
PotentialFailure
[
T
,
F
,
E
,
A
]
Inherited from
AnyRef
Inherited from
Any
Inherited by implicit conversion toIdOps from
Failure
[
T
,
F
,
E
,
A
] to
IdOps
[
Failure
[
T
,
F
,
E
,
A
]]
Ungrouped
Akin to Free.point