package util
- Alphabetic
- Public
- All
Type Members
-
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 likeKList
andTupleN
with elements with a common type constructor as well as homogeneous sequencesSeq[M[T]]
. - abstract class AbstractRMap[K[_], V[_]] extends RMap[K, V]
-
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 typeT
. -
sealed
trait
AttributeKey[T] extends AnyRef
A key in an AttributeMap that constrains its associated value to be of type
T
.A key in an AttributeMap that constrains its associated value to be of type
T
. The key is uniquely defined by itslabel
and typeT
, represented at runtime bymanifest
. -
trait
AttributeMap extends AnyRef
An immutable map where a key is the tuple
(String,T)
for a fixed typeT
and can only be associated with values of typeT
.An immutable map where a key is the tuple
(String,T)
for a fixed typeT
and can only be associated with values of typeT
. It is therefore possible for this map to contain mappings for keys with the same label but different types. Excluding this possibility is the responsibility of the client if desired. -
final
case class
Attributed[D](data: D)(metadata: AttributeMap) extends Product with Serializable
Associates a
metadata
map withdata
. - trait Dag[Node <: Dag[Node]] extends AnyRef
-
class
DelegatingPMap[K[_], V[_]] extends AbstractRMap[K, V] with PMap[K, V]
Only suitable for K that is invariant in its type parameter.
Only suitable for K that is invariant in its type parameter. Option and List keys are not suitable, for example, because None <:< Option[String] and None <: Option[Int].
- abstract class EvaluateSettings[ScopeType] extends AnyRef
- final case class HCons[H, T <: HList](head: H, tail: T) extends HList with Product with Serializable
-
sealed
trait
HList extends AnyRef
A minimal heterogeneous list type.
A minimal heterogeneous list type. For background, see https://apocalisp.wordpress.com/2010/07/06/type-level-programming-in-scala-part-6a-heterogeneous-list basics/
- trait HListFormats extends AnyRef
- sealed trait HNil extends HList
-
trait
IDSet[T] extends AnyRef
A mutable set interface that uses object identity to test for set membership.
- trait IMap[K[_], V[_]] extends ~>[K, V] with RMap[K, V]
- trait Init[ScopeType] extends AnyRef
- final case class KCons[H, +T <: KList[M], +M[_]](head: M[H], tail: T) extends KList[M] with Product with Serializable
-
sealed
trait
KList[+M[_]] extends AnyRef
A higher-kinded heterogeneous list of elements that share the same type constructor
M[_]
. - sealed abstract class KNil extends KList[util.Types.NothingK]
- trait PMap[K[_], V[_]] extends ~>[K, V] with RMap[K, V]
- trait RMap[K[_], V[_]] extends AnyRef
- sealed trait Settings[ScopeType] extends AnyRef
- trait TypeFunctions extends AnyRef
- trait Types extends TypeFunctions
- trait ~>[-A[_], +B[_]] extends AnyRef
Value Members
- object AList
- object AttributeKey
- object AttributeMap
- object Attributed extends Serializable
- object Classes
- object Dag
- object EvaluationState extends Enumeration
- object HList
- object HListFormats extends HListFormats
- object HNil extends HNil
- object IDSet
- object IMap
- object KList
- object KNil extends KNil with Product with Serializable
- object PMap
- object ScalaKeywords
- object Signals
- object TypeFunctions extends TypeFunctions
- object Types extends Types
- object Util
- object ~>