lspace
package
lspace
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
lspace
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
Graph
=
lspace.structure.Graph
type
P
[
Z
]
=
lspace.librarian.logic.predicate.P
[
Z
]
type
Traversal
[
+ST <:
ClassType
[_]
,
+ET <:
ClassType
[_]
,
Steps <:
HList
]
=
lspace.librarian.traversal.Traversal
[
ST
,
ET
,
Steps
]
Value Members
val
Graph
:
lspace.structure.Graph
.type
object
Implicits
val
Label
:
AnyRef
{ ... /* 2 definitions in type refinement */ }
object
NS
val
P
:
lspace.librarian.logic.predicate.P
.type
val
Traversal
:
lspace.librarian.traversal.Traversal
.type
def
__
[
Start
,
End
]
()
(
implicit
arg0:
ClassTypeable
[
Start
]
,
arg1:
ClassTypeable
[
End
]
)
:
lspace.librarian.traversal.Traversal
[
CT
,
CT
,
HNil
]
package
datatype
def
g
:
lspace.librarian.traversal.Traversal
[(
default
)#
CT
, (
default
)#
CT
,
HNil
]
package
librarian
package
provider
package
structure
package
types
package
util
Inherited from
AnyRef
Inherited from
Any
Ungrouped