Trait

scroll.internal

Compartment

Related Doc: package internal

Permalink

trait Compartment extends QueryStrategies with RoleUnionTypes

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Compartment
  2. RoleUnionTypes
  3. CurryHowardUnionTypes
  4. QueryStrategies
  5. ReflectiveHelper
  6. AnyRef
  7. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Type Members

  1. case class *() extends RoleQueryStrategy with Product with Serializable

    Permalink
    Definition Classes
    QueryStrategies
  2. trait DispatchType extends AnyRef

    Permalink
  3. trait DynamicType extends Dynamic

    Permalink
  4. implicit class Player[T] extends DynamicType with DispatchType

    Permalink

    Implicit wrapper class to add basic functionality to roles and its players as unified types.

    Implicit wrapper class to add basic functionality to roles and its players as unified types.

    T

    type of wrapped

  5. implicit class Reflective extends AnyRef

    Permalink
    Definition Classes
    ReflectiveHelper
  6. class Relationship[L, R] extends AnyRef

    Permalink
  7. implicit class RoleQueryStrategy extends AnyRef

    Permalink
    Definition Classes
    QueryStrategies
  8. case class WithProperty[T](name: String, value: T) extends RoleQueryStrategy with Product with Serializable

    Permalink
    Definition Classes
    QueryStrategies
  9. case class WithResult[T](name: String, result: T) extends RoleQueryStrategy with Product with Serializable

    Permalink
    Definition Classes
    QueryStrategies
  10. type nor[T, U] = AnyRef { type λ[X] = shapeless.<:!<[Compartment.this.¬¬[X],Compartment.this.∨[T,U]] }

    Permalink
    Definition Classes
    RoleUnionTypes
  11. type or[T, U] = AnyRef { type λ[X] = <:<[Compartment.this.¬¬[X],Compartment.this.∨[T,U]] }

    Permalink
    Definition Classes
    RoleUnionTypes
  12. type |∨|[T, U] = AnyRef { type λ[X] = <:<[Compartment.this.¬¬[X],Compartment.this.∨[T,U]] }

    Permalink
    Definition Classes
    CurryHowardUnionTypes
  13. type ¬[A] = (A) ⇒ Nothing

    Permalink
    Definition Classes
    CurryHowardUnionTypes
  14. type ¬|∨|[T, U] = AnyRef { type λ[X] = shapeless.<:!<[Compartment.this.¬¬[X],Compartment.this.∨[T,U]] }

    Permalink
    Definition Classes
    CurryHowardUnionTypes
  15. type ¬¬[A] = (¬[A]) ⇒ Nothing

    Permalink
    Definition Classes
    CurryHowardUnionTypes
  16. type [T, U] = (¬[T] with ¬[U]) ⇒ Nothing

    Permalink
    Definition Classes
    CurryHowardUnionTypes

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object Relationship

    Permalink
  5. def addPlaysRelation(core: Any, role: Any): Unit

    Permalink

    Adds a play relation between core and role.

    Adds a play relation between core and role.

    core

    the core to add the given role at

    role

    the role that should added to the given core

  6. def all[T](matcher: (T) ⇒ Boolean)(implicit arg0: Manifest[T]): Seq[T]

    Permalink

    Query the role playing graph for all player instances that do conform to the given function.

    Query the role playing graph for all player instances that do conform to the given function.

    T

    the type of the player instance to query for

    matcher

    the matching function that should match the queried player instance in the role playing graph

    returns

    all player instances as Seq, that do conform to the given matcher

  7. def all[T](matcher: RoleQueryStrategy = *())(implicit arg0: Manifest[T]): Seq[T]

    Permalink

    Query the role playing graph for all player instances that do conform to the given matcher.

    Query the role playing graph for all player instances that do conform to the given matcher.

    T

    the type of the player instance to query for

    matcher

    the matcher that should match the queried player instance in the role playing graph

    returns

    all player instances as Seq, that do conform to the given matcher

  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  9. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  14. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  16. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  17. def notPartOf(other: Compartment): Unit

    Permalink

    Removing is-part-of relation between compartments.

  18. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  20. def one[T](matcher: (T) ⇒ Boolean)(implicit arg0: Manifest[T]): T

    Permalink

    Query the role playing graph for all player instances that do conform to the given function and return the first found.

    Query the role playing graph for all player instances that do conform to the given function and return the first found.

    T

    the type of the player instance to query for

    matcher

    the matching function that should match the queried player instance in the role playing graph

    returns

    the first player instances, that do conform to the given matcher

  21. def one[T](matcher: RoleQueryStrategy = *())(implicit arg0: Manifest[T]): T

    Permalink

    Query the role playing graph for all player instances that do conform to the given matcher and return the first found.

    Query the role playing graph for all player instances that do conform to the given matcher and return the first found.

    T

    the type of the player instance to query for

    matcher

    the matcher that should match the queried player instance in the role playing graph

    returns

    the first player instances, that do conform to the given matcher

  22. def partOf(other: Compartment): Unit

    Permalink

    Declaring a is-part-of relation between compartments.

  23. val plays: ScalaRoleGraph

    Permalink
  24. def removePlaysRelation(core: Any, role: Any): Unit

    Permalink

    Removes the play relation between core and role.

    Removes the play relation between core and role.

    core

    the core the given role should removed from

    role

    the role that should removed from the given core

  25. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  26. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  27. def transferRole(coreFrom: Any, coreTo: Any, role: Any): Unit

    Permalink

    Transfers a role from one core to another.

    Transfers a role from one core to another.

    coreFrom

    the core the given role should removed from

    coreTo

    the core the given should attached to

    role

    the role that should be transferred

  28. def transferRoles(coreFrom: Any, coreTo: Any, roles: Set[Any]): Unit

    Permalink

    Transfers a Set of roles from one core to another.

    Transfers a Set of roles from one core to another.

    coreFrom

    the core all roles should removed from

    coreTo

    the core the given roles in the Set should attached to

    roles

    the Set of roles that should be transferred

  29. def union(other: Compartment): Compartment

    Permalink

    Declaring a bidirectional is-part-of relation between compartment.

  30. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from RoleUnionTypes

Inherited from CurryHowardUnionTypes

Inherited from QueryStrategies

Inherited from ReflectiveHelper

Inherited from AnyRef

Inherited from Any

Ungrouped