zio.constraintless

Members list

Concise view

Type members

Classlikes

sealed trait AreElementsOf[T1 <: TypeList, T2 <: TypeList]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class NilCollection[T2]
class TypeCollection[T1, T11, T2]

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
trait Instances[TypeClass[_], As <: TypeList]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Instances

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait IsElementOf[Type, Types <: TypeList]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Head[A, As]
class Tail[A, B, As]

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
object Sample extends App

Attributes

Graph
Supertypes
trait App
class Object
trait Matchable
class Any
Self type
Sample.type
sealed trait TypeList

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait H :: T
trait End
object TypeList

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type