quasar
fp
package
fp
Linear Supertypes
DebugOps
,
ProcessOps
,
JsonOps
,
PartialFunctionOps
,
ListMapInstances
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
fp
DebugOps
ProcessOps
JsonOps
PartialFunctionOps
ListMapInstances
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
EndoK
[
F
[
X
]
]
=
NaturalTransformation
[
F
,
F
]
type
NTComp
[
F
[
X
]
,
G
[
Y
]
]
=
NaturalTransformation
[
F
, [A]
G
[
F
[
A
]]]
implicit
class
PFOps
[
A
,
B
]
extends
AnyRef
Definition Classes
PartialFunctionOps
implicit
class
PrOps
[
F
[
_
]
,
O
]
extends
AnyRef
Definition Classes
ProcessOps
implicit
class
ProcessOfTaskOps
[
O
]
extends
AnyRef
Definition Classes
ProcessOps
class
SeqW
[
A
]
extends
AnyRef
Definition Classes
ListMapInstances
implicit
class
TaskOps
[
A
]
extends
AnyRef
Definition Classes
ProcessOps
implicit final
class
ToDebugOps
[
A
]
extends
AnyRef
Definition Classes
DebugOps
Value Members
implicit
def
ListMapEqual
[
A
,
B
]
(
implicit
arg0:
Equal
[
A
]
,
arg1:
Equal
[
B
]
)
:
Equal
[
slamdata.Predef.ListMap
[
A
,
B
]]
Definition Classes
ListMapInstances
implicit
def
TraverseListMap
[
K
]
:
Traverse
[[β$0$]
ListMap
[
K
,
β$0$
]] with
IsEmpty
[[β$1$]
ListMap
[
K
,
β$1$
]]
Definition Classes
ListMapInstances
def
applyCoEnvFrom
[
T
[
_
[
_
]
]
,
F
[
_
]
,
A
]
(
modify: (
T
[[γ$27$]
CoEnv
[
A
,
F
,
γ$27$
]]) ⇒
T
[[γ$28$]
CoEnv
[
A
,
F
,
γ$28$
]]
)
(
implicit
arg0:
BirecursiveT
[
T
]
,
arg1:
Functor
[
F
]
)
: (
Free
[
F
,
A
]) ⇒
Free
[
F
,
A
]
def
applyFrom
[
A
,
B
]
(
bij:
Bijection
[
A
,
B
]
)
(
modify: (
B
) ⇒
B
)
: (
A
) ⇒
A
def
coenvBijection
[
T
[
_
[
_
]
]
,
F
[
_
]
,
A
]
(
implicit
arg0:
BirecursiveT
[
T
]
,
arg1:
Functor
[
F
]
)
:
Bijection
[
Free
[
F
,
A
],
T
[[γ$24$]
CoEnv
[
A
,
F
,
γ$24$
]]]
def
coenvPrism
[
F
[
_
]
,
A
]
:
PrismNT
[[γ$19$]
CoEnv
[
A
,
F
,
γ$19$
],
F
]
implicit
def
constEqual
[
A
]
(
implicit
arg0:
Equal
[
A
]
)
:
Delay
[
Equal
, [β$14$]
Const
[
A
,
β$14$
]]
implicit
def
constShow
[
A
]
(
implicit
arg0:
Show
[
A
]
)
:
Delay
[
Show
, [β$16$]
Const
[
A
,
β$16$
]]
implicit
def
coproductEqual
[
F
[
_
]
,
G
[
_
]
]
(
implicit
F:
Delay
[
Equal
,
F
]
,
G:
Delay
[
Equal
,
G
]
)
:
Delay
[
Equal
, [γ$10$]
Coproduct
[
F
,
G
,
γ$10$
]]
implicit
def
coproductShow
[
F
[
_
]
,
G
[
_
]
]
(
implicit
F:
Delay
[
Show
,
F
]
,
G:
Delay
[
Show
,
G
]
)
:
Delay
[
Show
, [γ$12$]
Coproduct
[
F
,
G
,
γ$12$
]]
def
decodeJson
[
A
]
(
text:
slamdata.Predef.String
)
(
implicit
DA:
DecodeJson
[
A
]
)
:
\/
[
slamdata.Predef.String
,
A
]
Definition Classes
JsonOps
def
evalNT
[
F
[
_
]
,
S
]
(
initial:
S
)
(
implicit
arg0:
Monad
[
F
]
)
:
~>
[[γ$8$]
IndexedStateT
[
F
,
S
,
S
,
γ$8$
],
F
]
implicit
def
finEqual
[
N <:
Succ
[_]
]
:
Equal
[
Fin
[
N
]]
implicit
def
finShow
[
N <:
Succ
[_]
]
:
Show
[
Fin
[
N
]]
def
idPrism
[
F
[
_
]
]
:
PrismNT
[
F
,
F
]
def
ignore
[
A
]
(
a:
A
)
:
slamdata.Predef.Unit
def
injR
[
T
[
_
[
_
]
]
,
F
[
_
]
,
G
[
_
]
]
(
orig:
T
[
F
]
)
(
implicit
arg0:
BirecursiveT
[
T
]
,
arg1:
Functor
[
F
]
,
arg2:
Functor
[
G
]
,
F:
:<:
[
F
,
G
]
)
:
T
[
G
]
def
liftCo
[
T
[
_
[
_
]
]
,
F
[
_
]
,
A
,
B
]
(
f: (
F
[
B
]) ⇒
CoEnv
[
A
,
F
,
B
]
)
: (
CoEnv
[
A
,
F
,
B
]) ⇒
CoEnv
[
A
,
F
,
B
]
def
liftCoM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
,
A
,
B
]
(
f: (
F
[
B
]) ⇒
M
[
CoEnv
[
A
,
F
,
B
]]
)
(
implicit
arg0:
Applicative
[
M
]
)
: (
CoEnv
[
A
,
F
,
B
]) ⇒
M
[
CoEnv
[
A
,
F
,
B
]]
def
liftFF
[
F
[
_
]
,
G
[
_
]
,
A
]
(
orig: (
F
[
A
]) ⇒
F
[
A
]
)
(
implicit
F:
:<:
[
F
,
G
]
)
: (
G
[
A
]) ⇒
G
[
A
]
def
liftFG
[
F
[
_
]
,
G
[
_
]
,
A
]
(
orig: (
F
[
A
]) ⇒
G
[
A
]
)
(
implicit
F:
:<:
[
F
,
G
]
)
: (
G
[
A
]) ⇒
G
[
A
]
def
liftFGM
[
M
[
_
]
,
F
[
_
]
,
G
[
_
]
,
A
]
(
orig: (
F
[
A
]) ⇒
M
[
G
[
A
]]
)
(
implicit
arg0:
Monad
[
M
]
,
F:
:<:
[
F
,
G
]
)
: (
G
[
A
]) ⇒
M
[
G
[
A
]]
def
liftMT
[
F
[
_
]
,
G
[
_
[
_
]
,
_
]
]
(
implicit
arg0:
Monad
[
F
]
,
arg1:
MonadTrans
[
G
]
)
:
~>
[
F
, [β$5$]
G
[
F
,
β$5$
]]
def
liftR
[
T
[
_
[
_
]
]
,
F
[
_
]
,
G
[
_
]
]
(
orig: (
T
[
F
]) ⇒
T
[
F
]
)
(
implicit
arg0:
BirecursiveT
[
T
]
,
arg1:
Traverse
[
F
]
,
arg2:
Traverse
[
G
]
,
F:
:<:
[
F
,
G
]
)
: (
T
[
G
]) ⇒
T
[
G
]
val
minspace
:
PrettyParams
Definition Classes
JsonOps
val
multiline
:
PrettyParams
Definition Classes
JsonOps
implicit
def
natEqual
[
N <:
Nat
]
:
Equal
[
N
]
implicit
def
natShow
[
N <:
Nat
]
:
Show
[
N
]
def
optional
[
A
]
(
cur:
ACursor
)
(
implicit
arg0:
DecodeJson
[
A
]
)
:
DecodeResult
[
slamdata.Predef.Option
[
A
]]
Definition Classes
JsonOps
def
orElse
[
A
]
(
cur:
ACursor
,
default: ⇒
A
)
(
implicit
arg0:
DecodeJson
[
A
]
)
:
DecodeResult
[
A
]
Definition Classes
JsonOps
def
pointNT
[
F
[
_
]
]
(
implicit
arg0:
Applicative
[
F
]
)
:
~>
[
scalaz.Scalaz.Id
,
F
]
def
prjR
[
T
[
_
[
_
]
]
,
F
[
_
]
,
G
[
_
]
]
(
orig:
T
[
G
]
)
(
implicit
arg0:
BirecursiveT
[
T
]
,
arg1:
Traverse
[
F
]
,
arg2:
Traverse
[
G
]
,
F:
:<:
[
F
,
G
]
)
:
slamdata.Predef.Option
[
T
[
F
]]
def
reflNT
[
F
[
_
]
]
:
~>
[
F
,
F
]
implicit
def
seqW
[
A
]
(
xs:
slamdata.Predef.Seq
[
A
]
)
:
SeqW
[
A
]
Definition Classes
ListMapInstances
implicit
def
sizedEqual
[
A
,
N <:
Nat
]
(
implicit
arg0:
Equal
[
A
]
)
:
Equal
[
Sized
[
A
,
N
]]
implicit
def
sizedShow
[
A
,
N <:
Nat
]
(
implicit
arg0:
Show
[
A
]
)
:
Show
[
Sized
[
A
,
N
]]
implicit
val
symbolEqual
:
Equal
[
slamdata.Predef.Symbol
]
implicit
val
symbolShow
:
Show
[
slamdata.Predef.Symbol
]
Inherited from
DebugOps
Inherited from
ProcessOps
Inherited from
JsonOps
Inherited from
PartialFunctionOps
Inherited from
ListMapInstances
Inherited from
AnyRef
Inherited from
Any
Ungrouped