util

Type Members

1. trait AList[K[L[x]]] extends AnyRef

   An abstraction over a higher-order type constructor K[x[y]] with the purpose of abstracting over heterogeneous sequences like KList and TupleN with elements with a common type constructor as well as homogeneous sequences Seq[M[T]].

2. abstract class AbstractRMap[K[_], V[_]] extends RMap[K, V]

3. final case class AttributeEntry[T](key: AttributeKey[T], value: T) extends Product with Serializable

   A map entry where key is constrained to only be associated with a fixed value of type T.

4. sealed trait AttributeKey[T] extends AnyRef

   A key in an AttributeMap that constrains its associated value to be of type T.

5. trait AttributeMap extends AnyRef

   An immutable map where a key is the tuple (String,T) for a fixed type T and can only be associated with values of type T.

6. final case class Attributed[D](data: D)(metadata: AttributeMap) extends Product with Serializable

   Associates a metadata map with data.

7. trait Dag[Node <: Dag[Node]] extends AnyRef

8. class DelegatingPMap[K[_], V[_]] extends AbstractRMap[K, V] with PMap[K, V]

   Only suitable for K that is invariant in its type parameter.

9. abstract class EvaluateSettings[Scope] extends AnyRef

10. sealed trait FilePosition extends SourcePosition

11. trait Fn1[A, B] extends AnyRef

12. final case class HCons[H, T <: HList](head: H, tail: T) extends HList with Product with Serializable

13. sealed trait HList extends AnyRef

    A minimal heterogeneous list type.

14. sealed trait HNil extends HList

15. trait IDSet[T] extends AnyRef

    A mutable set interface that uses object identity to test for set membership.

16. trait IMap[K[_], V[_]] extends ~>[K, V] with RMap[K, V]

17. trait Init[Scope] extends AnyRef

18. final case class KCons[H, +T <: KList[M], +M[_]](head: M[H], tail: T) extends KList[M] with Product with Serializable

19. sealed trait KList[+M[_]] extends AnyRef

    Heterogeneous list with each element having type M[T] for some type T.

20. sealed abstract class KNil extends KList[Nothing]

21. final case class LinePosition(path: String, startLine: Int) extends FilePosition with Product with Serializable

22. final case class LineRange(start: Int, end: Int) extends Product with Serializable

23. trait PMap[K[_], V[_]] extends ~>[K, V] with RMap[K, V]

24. trait Param[A[_], B[_]] extends AnyRef

25. trait RMap[K[_], V[_]] extends AnyRef

26. final case class RangePosition(path: String, range: LineRange) extends FilePosition with Product with Serializable

27. sealed trait Settings[Scope] extends AnyRef

28. sealed trait SourcePosition extends AnyRef

29. trait TypeFunctions extends AnyRef

30. trait Types extends TypeFunctions

31. trait ~>[-A[_], +B[_]] extends AnyRef