Package

iota

Permalink

package iota

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. iota
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. final class Cop[LL <: TList] extends AnyRef

    Permalink

    A coproduct of types captured by type list L

  2. final class CopK[LL <: KList, A] extends AnyRef

    Permalink

    A coproduct of type constructors captured by type constructor list L

  3. abstract type KCons[H[_], T <: KList] <: KList

    Permalink

    A type constructor list characterized by a head type constructor and a list of tail type constructors

  4. trait KList extends AnyRef

    Permalink

    A heterogenous list of type constructors

  5. abstract type KNil <: KList

    Permalink

    The terminal element of a type constructor list

  6. final class Prod[LL <: TList] extends AnyRef

    Permalink

    A product of types captured by type list LL

  7. abstract type TCons[H, T <: TList] <: TList

    Permalink

    A type list characterized by a head type and a list of tail types

  8. trait TList extends AnyRef

    Permalink

    A heterogenous list of types

  9. abstract type TNil <: TList

    Permalink

    The terminal element of a type list

Value Members

  1. object Cop

    Permalink
  2. object CopK

    Permalink
  3. object CopKFunctionK

    Permalink

    Methods to create FunctionK instances for CopK coproducts

  4. object KList

    Permalink
  5. object Prod

    Permalink
  6. object TList

    Permalink
  7. package debug

    Permalink

    Implicit options to configure/control Iota's macros

  8. package internal

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped