zio-direct-docs
zio-direct-docs
buildinfo
BuildInfo
zio.direct
ApplyTypeExample
Dsl
DirectMonadInput
FakeMarker
Internal
Marker
MonadFallible
MonadLog
MonadModel
MonadSequence
MonadSequenceParallel
MonadShape
MonadShape
Letter
A
A
E
E
Other
Other
R
R
Letter
Letters
Letters1
Letters2
Letters3
Letters4
Letters5
Letters6
Letters7
Variance
Contravariant
Contravariant
Covariant
Covariant
Unused
Unused
Variance
Variances
Variances1
Variances2
Variances3
Variances4
Variances5
Variances6
Variances7
MonadState
MonadSuccess
Use
Use
ZioMonad
defer
deferCall
linear
directGetCall
directLogCall
directRunCall
directSetCall
zio.direct.core
Allowed
FromMutablePackage
NotDeferredException
NotDeferredException
Transformer
zio.direct.core.metaprog
Collect
Collect
Parallel
Sequence
Embedder
Compose
ErrorForWithF
Extractors
AnnotatedCall
Symbol
Term
TermPlain
AnyGetCall
AnyLogCall
AnyRunCall
AnySetCall
AnyUtilityCall
BlockN
Dealiased
DirectGetCallAnnotated
DirectLogCallAnnotated
DirectRunCallAnnotated
DirectSetCallAnnotated
DottyCall
OneArg
ZeroArg
DottyExtensionCall
DottyFunctionCall
ImplicitArgs
ArgType
Implicit
Regular
ArgType
IsTerm
Lambda1
Term
NotBlock
Term
Seal
SelectOrIdent
SymbolOps
UnApplys
Unseal
Untype
UntypeApply
InfoBehavior
InfoBehavior
Info
Silent
Tpe
Verbose
VerboseTree
Instructions
Instructions
Linearity
Linearity
Linear
Regular
MacroBase
MonadModelData
RefineInstructions
Trees
Transform
TransformTree
TypeUnion
TypeUnion
LeastUpper
OrType
Unliftables
ValDefStatement
Verify
Verify
Lenient
None
Strict
WithF
DirectMonad
Value
DirectMonad
WithIR
IR
And
Block
Fail
FlatMap
FlatMap
Foreach
If
Leaf
Map
Map
Match
Match
CaseDef
CaseDefs
Monad
Monad
Source
IgnoreCall
Pipeline
PrevDefer
Source
Monadic
Or
Parallel
Pure
Try
Unsafe
ValDef
While
IR
IRT
And
Block
Fail
FlatMap
Foreach
If
Leaf
Map
Match
Match
CaseDef
CaseDefs
Monad
Monad
Monadic
Or
Parallel
Pure
Pure
Try
Unsafe
ValDef
While
IRT
StatelessTransformer
WrapUnsafes
WrapUnsafes
WithZioType
ExprOps
TermOps
ZioEffectType
ZioEffectType
ZioType
ZioType
ZioValue
ZioValue
zio.direct.core.norm
WithComputeType
ComputeIRT
WithDecomposeTree
Decompose
Decompose
WithReconstructTree
ReconstructTree
InvokeWith
ReconstructTree
WithResolver
Invoker
ParallelBlockExtract
zio.direct.core.util
Announce
FileShow
FullPath
None
FileShow
Volume
Loud
Normal
Volume
F3Util
Format
Expr
Mode
DottyColor
DottyPlain
None
ScalaFmt
Mode
ScalafmtFormat
Term
TermRaw
Tree
Type
TypeOf
TypeRepr
IndentExt
StringOpsExt
Messages
StringExt
PureTree
All
ShowDetails
ShowDetails
Compact
Standard
Verbose
SourceCode
NoOwnerException
SyntaxHighlight
SyntaxHighlight
ThrowableOps
TraceType
TraceType
TypeCompute
Unsupported
Error
Warn
WithInterpolator
WithInterpolatorBase
Interpolator
InterpolatorExt
Traceable
Splice
Show
Simple
Splice
StrOps
Interpolator
ZioUtil
zio.direct.core.util.debug
PrintMac
zio.direct.future
defer
zio.direct.list
ListMonadSequence
ListMonadSuccess
select
zio-direct-docs
/
zio.direct
/
MonadShape
/
Variance
/
Contravariant
Contravariant
trait
Contravariant
extends
Variance
Companion:
object
Graph
Supertypes
Known subtypes
trait
Variance
class
Object
trait
Matchable
class
Any
object
Contravariant
.type