trace4cats-context-utils
trace4cats-context-utils
trace4cats.context
Ask
Ask
ContextRoot
ContextRoot
Lift
Lift
Local
Local
Provide
Provide
Unlift
Unlift
trace4cats.optics
Getter
Getter
Lens
Lens
trace4cats-context-utils
/
trace4cats.context
/
Provide
Provide
trait
Provide
[
Low
[
_
],
F
[
_
],
R
]
extends
Local
[
F
,
R
]
with
Unlift
[
Low
,
F
]
Companion:
object
Graph
Supertypes
Self type
trait
Unlift
[
Low
,
F
]
trait
Lift
[
Low
,
F
]
trait
Local
[
F
,
R
]
trait
Ask
[
F
,
R
]
trait
ContextRoot
trait
Serializable
class
Object
trait
Matchable
class
Any
Provide
[
Low
,
F
,
R
]
Value members
Value members
Abstract methods
def
provide
[
A
](
fa:
F
[
A
])(
r:
R
):
Low
[
A
]
Concrete methods
override
def
askUnlift
:
F
[
FunctionK
[
F
,
Low
]]
Definition Classes
Unlift
override
def
imapK
[
G
[
_
] :
Monad
](
fk:
FunctionK
[
F
,
G
],
gk:
FunctionK
[
G
,
F
]):
Provide
[
Low
,
G
,
R
]
Definition Classes
Unlift
->
Local
def
kleislift
[
A
](
f:
R
=>
Low
[
A
]):
F
[
A
]
override
def
mapK
[
G
[
_
] :
Monad
](
fk:
FunctionK
[
F
,
G
]):
Ask
[
G
,
R
]
&
Lift
[
Low
,
G
]
Definition Classes
Lift
->
Ask
def
provideK
(
r:
R
):
FunctionK
[
F
,
Low
]
Inherited methods
def
F
:
Monad
[
F
]
Inherited from:
Lift
def
Low
:
Monad
[
Low
]
Inherited from:
Lift
def
access
[
A
](
f:
R
=>
A
):
F
[
A
]
Inherited from:
Ask
def
accessF
[
A
](
f:
R
=>
F
[
A
]):
F
[
A
]
Inherited from:
Ask
def
ask
[
R1
>:
R
]:
F
[
R1
]
Inherited from:
Ask
def
focus
[
R1
](
lens:
Lens
[
R
,
R1
]):
Local
[
F
,
R1
]
Inherited from:
Local
def
lift
[
A
](
la:
Low
[
A
]):
F
[
A
]
Inherited from:
Lift
def
liftK
:
FunctionK
[
Low
,
F
]
Inherited from:
Lift
def
local
[
A
](
fa:
F
[
A
])(
f:
R
=>
R
):
F
[
A
]
Inherited from:
Local
def
localK
(
f:
R
=>
R
):
FunctionK
[
F
,
F
]
Inherited from:
Local
def
scope
[
A
](
fa:
F
[
A
])(
r:
R
):
F
[
A
]
Inherited from:
Local
def
scopeK
(
r:
R
):
FunctionK
[
F
,
F
]
Inherited from:
Local
def
withUnlift
[
A
](
f:
FunctionK
[
F
,
Low
]
=>
Low
[
A
]):
F
[
A
]
Inherited from:
Unlift
def
zoom
[
R1
](
g:
Getter
[
R
,
R1
]):
Ask
[
F
,
R1
]
Inherited from:
Ask