Package

io.dylemma.spac

types

Permalink

package types

Source
package.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. types
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait Functor[C[_]] extends AnyRef

    Permalink

    Abstraction of map for container types

  2. type Id[+T] = T

    Permalink

    Wrapper for T, used when the compiler is looking for a type constructor e.g.

    Wrapper for T, used when the compiler is looking for a type constructor e.g. C[_]

  3. trait LowPriorityTypeReduceImplicits extends AnyRef

    Permalink
  4. trait Stackable[T] extends AnyRef

    Permalink

    Generalization for types that can be interpreted as a "push" or "pop" to a stack.

    Generalization for types that can be interpreted as a "push" or "pop" to a stack. For example, XMLEvent has StartElement and EndElement subclasses which can be treated as "push" and "pop" respectively.

  5. trait TypeReduce[-In1, -In2] extends AnyRef

    Permalink

    Type-level tuple reduction function that treats Unit as an Identity.

    Type-level tuple reduction function that treats Unit as an Identity. For example:

    TypeReduce.Aux[(Unit, Unit)]{ type Out = Unit }
    TypeReduce.Aux[(T, Unit)]{ type Out = T }
    TypeReduce.Aux[(Unit, T)]{ type Out = T }
    TypeReduce.Aux[(L, R)]{ type Out = (L, R) }

Value Members

  1. object Functor

    Permalink
  2. object Stackable

    Permalink
  3. object TypeReduce extends LowPriorityTypeReduceImplicits

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped