dc10-cats-effect
dc10-cats-effect
API
dc10.cats.effect
CatsEffect
CatsEffect
Mixins
dsl
dsl
dc10-cats-effect
/
dc10.cats.effect
/
CatsEffect
/
Mixins
Mixins
dc10.cats.effect.CatsEffect.Mixins
trait
Mixins
extends
CatsEffect
[[
A
]
=>>
StateT
[
ErrorF
,
List
[
Statement
],
A
]]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
CatsEffect
[[
A
]
=>>
StateT
[
ErrorF
,
List
[
Statement
],
A
]]
class
Object
trait
Matchable
class
Any
Known subtypes
object
dsl
Members list
Clear all
Value members
Concrete methods
def
IO
[
A
]:
StateT
[
ErrorF
,
List
[
Statement
],
TypeExpr
[
IO
[
A
],
Unit
]]
def
IOAPP
(
name
:
String
,
run
:
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
IO
[
Unit
], (
Unit
,
Unit
)]])(
using
sp
:
SourcePos
):
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
IO
[
Unit
], (
Unit
,
Unit
)]]
def
Io
[
A
]:
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
IO
[
A
],
Unit
]]
def
RUN
(
program
:
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
IO
[
Unit
], (
Unit
,
Unit
)]]):
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
IO
[
Unit
], (
Unit
,
Unit
)]]
Extensions
Extensions
extension
[
A
](
io
:
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
IO
[
A
],
Unit
]])
def
apply
[
Z
](
arg
:
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
A
,
Z
]]):
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
IO
[
A
], (
Unit
,
Z
)]]
extension
[
A
](
io
:
StateT
[
ErrorF
,
List
[
Statement
],
TypeExpr
[
IO
[
A
],
Unit
]])
def
PRINTLN
(
msg
:
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
String
,
Unit
]]):
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
IO
[
Unit
], (
Unit
,
Unit
)]]
In this article
Attributes
Members list
Value members
Concrete methods
Extensions
Extensions