core
core
API
org.atnos.eff
syntax
EffApplicativeOps
EffApplicativeSyntaxOps
EffFlatSequenceOps
EffMonadicOps
EffNoEffectOps
EffOneEffectOps
EffOnePureValueOps
EffOps
EffPureOps
EffSendOps
EffSequenceOps
EffTranslateIntoOps
eff
eff
effCats
effOperations
AppendMemberIn
AppendMemberInOut
Augment
Cache
CollectedUnions
ConcurrentHashMapCache
Cons
Cons
ConsLower1
Continuation
Continuation
Eff
Eff
EffCreation
EffCreation
EffImplicits
EffImplicits
EffImpossibleException
EffInterpretation
EffInterpretation
Effect
ExtractLower1
ExtractMember
ExtractMember
Fx
Fx
Fx1
Fx2
Fx3
FxAppend
Impure
ImpureAp
Interpret
Interpret
Interpreter
Interpreter
IntoPoly
IntoPoly
IntoPolyLower1
IntoPolyLower2
IntoPolyLower3
IntoPolyLower4
IntoPolyLower5
Last
Last
Member
Member
MemberIn
MemberIn
MemberInLower1
MemberInLower2
MemberInLower3
MemberInLower4
MemberInLower5
MemberInOut
MemberInOut
MemberInOutLower1
MemberInOutLower2
MemberInOutLower3
MemberInOutLower4
MemberInOutLower5
MemberLower1
MemberLower10
MemberLower11
MemberLower12
MemberLower13
MemberLower14
MemberLower15
MemberLower16
MemberLower17
MemberLower18
MemberLower19
MemberLower2
MemberLower3
MemberLower4
MemberLower5
MemberLower6
MemberLower7
MemberLower8
MemberLower9
Members
Members
NoEffect
NoFx
NoFx
NoMember
Pure
Recurser
SequenceCached
SideEffect
TaggedMemberIn
TaggedMemberInOut
Translate
Union
Union
UnionAppendL
UnionAppendR
UnionInto
UnionTagged
Unions
Unions
Write
eff
interpret
core
/
org.atnos.eff
/
Fx
Fx
org.atnos.eff.Fx
See the
Fx
companion trait
object
Fx
Attributes
Companion
trait
Source
Fx.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Fx
.type
Members list
Clear all
Type members
Types
type
append
[
L
,
R
] =
FxAppend
[
L
,
R
]
Attributes
Source
Fx.scala
type
fx1
[
T1
[
_
]] =
Fx1
[
T1
]
Attributes
Source
Fx.scala
type
fx10
[
T1
[
_
],
T2
[
_
],
T3
[
_
],
T4
[
_
],
T5
[
_
],
T6
[
_
],
T7
[
_
],
T8
[
_
],
T9
[
_
],
T10
[
_
]] =
FxAppend
[
Fx1
[
T1
],
FxAppend
[
Fx3
[
T2
,
T3
,
T4
],
FxAppend
[
Fx3
[
T5
,
T6
,
T7
],
Fx3
[
T8
,
T9
,
T10
]]]]
Attributes
Source
Fx.scala
type
fx11
[
T1
[
_
],
T2
[
_
],
T3
[
_
],
T4
[
_
],
T5
[
_
],
T6
[
_
],
T7
[
_
],
T8
[
_
],
T9
[
_
],
T10
[
_
],
T11
[
_
]] =
FxAppend
[
Fx2
[
T1
,
T2
],
FxAppend
[
Fx3
[
T3
,
T4
,
T5
],
FxAppend
[
Fx3
[
T6
,
T7
,
T8
],
Fx3
[
T9
,
T10
,
T11
]]]]
Attributes
Source
Fx.scala
type
fx12
[
T1
[
_
],
T2
[
_
],
T3
[
_
],
T4
[
_
],
T5
[
_
],
T6
[
_
],
T7
[
_
],
T8
[
_
],
T9
[
_
],
T10
[
_
],
T11
[
_
],
T12
[
_
]] =
FxAppend
[
Fx3
[
T1
,
T2
,
T3
],
FxAppend
[
Fx3
[
T4
,
T5
,
T6
],
FxAppend
[
Fx3
[
T7
,
T8
,
T9
],
Fx3
[
T10
,
T11
,
T12
]]]]
Attributes
Source
Fx.scala
type
fx2
[
T1
[
_
],
T2
[
_
]] =
Fx2
[
T1
,
T2
]
Attributes
Source
Fx.scala
type
fx3
[
T1
[
_
],
T2
[
_
],
T3
[
_
]] =
Fx3
[
T1
,
T2
,
T3
]
Attributes
Source
Fx.scala
type
fx4
[
T1
[
_
],
T2
[
_
],
T3
[
_
],
T4
[
_
]] =
FxAppend
[
Fx1
[
T1
],
Fx3
[
T2
,
T3
,
T4
]]
Attributes
Source
Fx.scala
type
fx5
[
T1
[
_
],
T2
[
_
],
T3
[
_
],
T4
[
_
],
T5
[
_
]] =
FxAppend
[
Fx2
[
T1
,
T2
],
Fx3
[
T3
,
T4
,
T5
]]
Attributes
Source
Fx.scala
type
fx6
[
T1
[
_
],
T2
[
_
],
T3
[
_
],
T4
[
_
],
T5
[
_
],
T6
[
_
]] =
FxAppend
[
Fx3
[
T1
,
T2
,
T3
],
Fx3
[
T4
,
T5
,
T6
]]
Attributes
Source
Fx.scala
type
fx7
[
T1
[
_
],
T2
[
_
],
T3
[
_
],
T4
[
_
],
T5
[
_
],
T6
[
_
],
T7
[
_
]] =
FxAppend
[
Fx1
[
T1
],
FxAppend
[
Fx3
[
T2
,
T3
,
T4
],
Fx3
[
T5
,
T6
,
T7
]]]
Attributes
Source
Fx.scala
type
fx8
[
T1
[
_
],
T2
[
_
],
T3
[
_
],
T4
[
_
],
T5
[
_
],
T6
[
_
],
T7
[
_
],
T8
[
_
]] =
FxAppend
[
Fx2
[
T1
,
T2
],
FxAppend
[
Fx3
[
T3
,
T4
,
T5
],
Fx3
[
T6
,
T7
,
T8
]]]
Attributes
Source
Fx.scala
type
fx9
[
T1
[
_
],
T2
[
_
],
T3
[
_
],
T4
[
_
],
T5
[
_
],
T6
[
_
],
T7
[
_
],
T8
[
_
],
T9
[
_
]] =
FxAppend
[
Fx3
[
T1
,
T2
,
T3
],
FxAppend
[
Fx3
[
T4
,
T5
,
T6
],
Fx3
[
T7
,
T8
,
T9
]]]
Attributes
Source
Fx.scala
type
prepend
[
T
[
_
],
R
] =
FxAppend
[
Fx1
[
T
],
R
]
Predefined type aliases to create effects
Predefined type aliases to create effects
Attributes
Source
Fx.scala
In this article
Attributes
Members list
Type members
Types