dc10-cats-effect
dc10-cats-effect
API
dc10.cats.effect
CatsEffect
CatsEffect
Mixins
dsl
dsl
dc10-cats-effect
/
dc10.cats.effect
/
dsl
dsl
dc10.cats.effect.dsl
See the
dsl
companion trait
object
dsl
extends
dsl
,
Mixins
Attributes
Companion
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Mixins
trait
CatsEffect
[[
A
]
=>>
StateT
[
ErrorF
,
List
[
Statement
],
A
]]
trait
dsl
class
Object
trait
Matchable
class
Any
Show all
Self type
dsl
.
type
Members list
Clear all
Value members
Inherited methods
def
IO
[
A
]:
StateT
[
ErrorF
,
List
[
Statement
],
TypeExpr
[
IO
[
A
],
Unit
]]
Attributes
Inherited from:
Mixins
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
)]]
Attributes
Inherited from:
Mixins
def
Io
[
A
]:
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
IO
[
A
],
Unit
]]
Attributes
Inherited from:
Mixins
def
RUN
(
program
:
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
IO
[
Unit
], (
Unit
,
Unit
)]]):
StateT
[
ErrorF
,
List
[
Statement
],
ValueExpr
[
IO
[
Unit
], (
Unit
,
Unit
)]]
Attributes
Inherited from:
Mixins
Extensions
Inherited 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
)]]
Attributes
Inherited from:
Mixins
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
)]]
Attributes
Inherited from:
Mixins
In this article
Attributes
Members list
Value members
Inherited methods
Extensions
Inherited extensions