trait AvailableShapeExprPaths extends ExtendM with AllPaths
- Alphabetic
- By Inheritance
- AvailableShapeExprPaths
- AllPaths
- Extend
- ExtendM
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
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
- def allPaths(se: ShapeExpr, schema: AbstractSchema): Either[String, Set[Path]]
Return all the paths that are mentioned in a shape expression It includes also the paths it extends and the paths from its descendants
Return all the paths that are mentioned in a shape expression It includes also the paths it extends and the paths from its descendants
- schema
Schema to which the shape belongs, it is needed to resolve references to other shapes
- returns
Set of paths or error in case the shape is not well defined (may have bad references)
- Definition Classes
- AllPaths
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def extendCheckingVisited[S, E, Err, Label](s: S, finder: (Label) => Either[Err, S], extend: (S) => Option[List[Label]], expr: (S) => Option[E])(implicit arg0: Semigroup[E]): Either[Err, Option[E]]
- Definition Classes
- Extend
- def extendCheckingVisitedM[S, Result, Label, M[_]](s: S, finder: (Label) => M[S], extend: (S) => M[List[Label]], expr: (S) => M[Result])(implicit arg0: Monoid[Result], arg1: Monad[M]): M[Result]
- Definition Classes
- ExtendM
- def extendCheckingVisitedM1[S, Result, Label, M[_]](s: S, finder: (Label) => M[S], extend: (S) => M[List[Label]], first: (S) => M[Result], rest: (S) => M[Result])(implicit arg0: Monoid[Result], arg1: Monad[M]): M[Result]
- Definition Classes
- ExtendM
- def getAvailableShapeExprsPaths(s: Shape, schema: ResolvedSchema, parent: Option[ShapeLabel]): IO[List[(ShapeExpr, Available[Path])]]
Return all the pairs (se,paths) where se is a ShapeExpr and paths are the available paths for that ShapeExpr It includes also the paths it extends and the paths from its descendants
Return all the pairs (se,paths) where se is a ShapeExpr and paths are the available paths for that ShapeExpr It includes also the paths it extends and the paths from its descendants
- s
shape
- schema
Schema to which the shape belongs, it is needed to resolve references to other shapes
- returns
Set of paths or error in case the shape is not well defined (may have bad references)
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])