lspace
package
lspace
Type Members
-
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
Label: AnyRef { ... /* 2 definitions in type refinement */ }
-
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]
-
-
def
g: lspace.librarian.traversal.Traversal[(default)#CT, (default)#CT, HNil]
-
implicit
def
tToT[ST <: ClassType[_], ET <: ClassType[_], Steps <: HList](t: Traversal[ST, ET, Steps]): lspace.librarian.traversal.Traversal[ST, ET, Steps]
Inherited from AnyRef
Inherited from Any