lspace
.
librarian
.
process
.
traversal
.
Traversal
WithAsAndSelectStepsHelperHNil
Related Doc:
package Traversal
implicit
class
WithAsAndSelectStepsHelperHNil
[
Start
,
ST
[
+Z
]
<:
ClassType
[
Z
]
,
End
,
ET
[
+Z
]
<:
ClassType
[
Z
]
,
Steps <:
HList
,
Labels <:
HList
,
SelectorOut <:
Selector
[_,
HNil
]
]
extends
TModHNil
[
Start
,
ST
,
End
,
ET
] with
AsAndSelectStepsHelper
[
Start
,
ST
,
End
,
ET
,
HNil
,
HNil
,
HNil
,
Steps
,
Labels
,
SelectorOut
]
Linear Supertypes
AsAndSelectStepsHelper
[
Start
,
ST
,
End
,
ET
,
HNil
,
HNil
,
HNil
,
Steps
,
Labels
,
SelectorOut
],
TModHNil
[
Start
,
ST
,
End
,
ET
],
BaseMod
[
Start
,
ST
,
End
,
ET
,
HNil
,
HNil
,
HNil
],
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
WithAsAndSelectStepsHelperHNil
AsAndSelectStepsHelper
TModHNil
BaseMod
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
WithAsAndSelectStepsHelperHNil
(
_traversal:
Traversal
[
ST
[
Start
],
ET
[
End
],
HNil
]
)
(
implicit
flat:
Aux
[
SegmentMapper
.type,
HNil
,
Steps
]
,
f:
Aux
[
Steps
,
LabelSteps
.type,
Labels
]
,
lub:
LUBConstraint
[
Labels
,
As
[_, _]]
,
selector:
Aux
[
Labels
,
SelectorOut
]
)
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
val
_traversal
:
Traversal
[
ST
[
Start
],
ET
[
End
],
HNil
]
Attributes
protected[this]
Definition Classes
WithAsAndSelectStepsHelperHNil
→
AsAndSelectStepsHelper
→
TModHNil
def
add
[
S <:
ResourceStep
,
ST <:
ClassType
[_]
,
ET <:
ClassType
[_]
]
(
step:
S
,
st:
ST
,
et:
ET
)
(
implicit
ev:
<:<
[
S
,
ResourceStep
]
)
:
Traversal
[
ST
,
ET
,
::
[
Segment
[
::
[
S
,
HNil
]],
HNil
]]
Attributes
protected
Definition Classes
TModHNil
→
BaseMod
def
add
[
S <:
MoveStep
,
ST <:
ClassType
[_]
,
ET <:
ClassType
[_]
]
(
step:
S
,
st:
ST
,
et:
ET
)
(
implicit
ev:
<:<
[
S
,
MoveStep
]
)
:
Traversal
[
ST
,
ET
,
::
[
Segment
[
::
[
S
,
HNil
]],
HNil
]]
Attributes
protected
Definition Classes
TModHNil
→
BaseMod
def
add
[
S <:
Step
,
ST <:
ClassType
[_]
,
ET <:
ClassType
[_]
]
(
step:
S
,
st:
ST
,
et:
ET
)
(
implicit
ev:
<:!<
[
S
,
MoveStep
]
,
ev2:
<:!<
[
S
,
ResourceStep
]
)
:
Traversal
[
ST
,
ET
,
::
[
Segment
[
::
[
S
,
HNil
]],
HNil
]]
Attributes
protected
Definition Classes
TModHNil
→
BaseMod
def
add
[
S <:
ResourceStep
]
(
step:
S
)
(
implicit
ev:
<:<
[
S
,
ResourceStep
]
)
:
Traversal
[
ST
[
Start
],
ET
[
End
],
::
[
Segment
[
::
[
S
,
HNil
]],
HNil
]]
Attributes
protected
Definition Classes
TModHNil
→
BaseMod
def
add
[
S <:
MoveStep
]
(
step:
S
)
(
implicit
ev:
<:<
[
S
,
MoveStep
]
)
:
Traversal
[
ST
[
Start
],
ET
[
End
],
::
[
Segment
[
::
[
S
,
HNil
]],
HNil
]]
Attributes
protected
Definition Classes
TModHNil
→
BaseMod
def
add
[
S <:
Step
]
(
step:
S
)
(
implicit
ev:
<:!<
[
S
,
MoveStep
]
,
ev2:
<:!<
[
S
,
ResourceStep
]
)
:
Traversal
[
ST
[
Start
],
ET
[
End
],
::
[
Segment
[
::
[
S
,
HNil
]],
HNil
]]
Attributes
protected
Definition Classes
TModHNil
→
BaseMod
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
et
:
ET
[
End
]
Definition Classes
WithAsAndSelectStepsHelperHNil
→
BaseMod
implicit
val
f
:
Aux
[
Steps
,
LabelSteps
.type,
Labels
]
Attributes
protected
Definition Classes
WithAsAndSelectStepsHelperHNil
→
AsAndSelectStepsHelper
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
implicit
val
flat
:
Aux
[
SegmentMapper
.type,
HNil
,
Steps
]
Attributes
protected
Definition Classes
WithAsAndSelectStepsHelperHNil
→
AsAndSelectStepsHelper
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
id
:
Traversal
[
ST
[
Start
],
LongType
[
Long
],
::
[
Segment
[
::
[
Id
.type,
HNil
]],
HNil
]]
Definition Classes
BaseMod
def
iri
:
Traversal
[
ST
[
Start
], (
defaultString
)#
CT
,
::
[
Segment
[
::
[
HasLabel
,
::
[
Out
,
HNil
]]],
HNil
]]
Definition Classes
BaseMod
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
implicit
val
lub
:
LUBConstraint
[
Labels
,
As
[_, _]]
Attributes
protected
Definition Classes
WithAsAndSelectStepsHelperHNil
→
AsAndSelectStepsHelper
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
select
[
A <:
String
,
B <:
String
,
OutA
,
OutB
,
OutATail <:
HList
,
OutBTail <:
HList
,
Types <:
HList
,
End
,
End1
,
ET1 <:
ClassType
[_]
]
(
a: () ⇒
A
,
b: () ⇒
B
)
(
implicit
sela:
Aux
[
Labels
,
As
[_,
A
],
::
[
OutA
,
OutATail
]]
,
selb:
Aux
[
Labels
,
As
[_,
B
],
::
[
OutB
,
OutBTail
]]
,
ev:
ToList
[
::
[
OutA
,
::
[
OutB
,
HNil
]],
As
[_, _]]
,
mapper:
Aux
[
LabelStepTypes
.type,
::
[
OutA
,
::
[
OutB
,
HNil
]],
Types
]
,
tupler:
shapeless.ops.hlist.Tupler.Aux
[
Types
,
End
]
,
et:
Aux
[
End
,
End1
,
ET1
]
)
:
Traversal
[
ST
[
Start
],
ET1
,
::
[
Segment
[
::
[
Select
[
End
],
HNil
]],
HNil
]]
implicits are off, the result type is (OutA, OutA) ???
implicits are off, the result type is (OutA, OutA) ???
Definition Classes
AsAndSelectStepsHelper
def
select
[
A <:
String
,
TypeA
,
OutA <:
HList
,
End1
,
ET1 <:
ClassType
[_]
]
(
a: () ⇒
A
)
(
implicit
sel:
Aux
[
Labels
,
As
[_,
A
],
OutA
]
,
mapper:
Aux
[
LabelStepTypes
.type,
OutA
,
::
[
TypeA
,
HNil
]]
,
et:
Aux
[
TypeA
,
End1
,
ET1
]
)
:
Traversal
[
ST
[
Start
],
ET1
,
::
[
Segment
[
::
[
Select
[
OutA
],
HNil
]],
HNil
]]
Definition Classes
AsAndSelectStepsHelper
def
select
[
SelectedLabels <:
HList
,
RSelectedLabels <:
HList
,
End
,
End0
,
ET0 <:
ClassType
[
End0
]
]
(
label: (
SelectorOut
) ⇒
Selection
[
SelectedLabels
,
End
]
)
(
implicit
reverse:
Aux
[
SelectedLabels
,
RSelectedLabels
]
,
ev:
ToList
[
RSelectedLabels
,
As
[_, _]]
,
et:
Aux
[
End
,
End0
,
ET0
]
)
:
Traversal
[
ST
[
Start
], (
AsAndSelectStepsHelper.select.et
)#
CT
,
::
[
Segment
[
::
[
Select
[
End
],
HNil
]],
HNil
]]
Definition Classes
AsAndSelectStepsHelper
def
select
[
RLabels <:
HList
,
Types <:
HList
,
End
,
End0
,
ET0 <:
ClassType
[_]
]
(
implicit
reverse:
Aux
[
Labels
,
RLabels
]
,
ev:
ToList
[
RLabels
,
As
[_, _]]
,
mapper:
Aux
[
LabelStepTypes
.type,
RLabels
,
Types
]
,
tupler:
shapeless.ops.hlist.Tupler.Aux
[
Types
,
End
]
,
et:
Aux
[
End
,
End0
,
ET0
]
)
:
Traversal
[
ST
[
Start
],
ET0
,
::
[
Segment
[
::
[
Select
[
End
],
HNil
]],
HNil
]]
Definition Classes
AsAndSelectStepsHelper
implicit
val
selector
:
Aux
[
Labels
,
SelectorOut
]
Attributes
protected
Definition Classes
WithAsAndSelectStepsHelperHNil
→
AsAndSelectStepsHelper
def
st
:
ST
[
Start
]
Definition Classes
WithAsAndSelectStepsHelperHNil
→
BaseMod
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
target
:
Graph
Definition Classes
WithAsAndSelectStepsHelperHNil
→
BaseMod
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
AsAndSelectStepsHelper
[
Start
,
ST
,
End
,
ET
,
HNil
,
HNil
,
HNil
,
Steps
,
Labels
,
SelectorOut
]
Inherited from
TModHNil
[
Start
,
ST
,
End
,
ET
]
Inherited from
BaseMod
[
Start
,
ST
,
End
,
ET
,
HNil
,
HNil
,
HNil
]
Inherited from
AnyRef
Inherited from
Any
Ungrouped