properties

Type Members

1. sealed trait BarExtract[T <: Effects, C <: Effects] extends AnyRef

   

2. sealed trait NestedAtPoint[C <: Effects, Pivot[_[_], _], Front <: Effects, Tail <: Effects] extends AnyRef

   

   The property of Effects which contain at least one -|: case, partitioning into a front and tail, where the tail is NonNested and the front is unconstrained.

3. sealed trait NonNested[C <: Effects] extends AnyRef

   

   The property of Effects which do not contain a -|: case

4. sealed trait PivotExtract[T <: Effects, C <: Effects] extends AnyRef