zio.constraintless

Members list

Type members

Classlikes

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

Attributes

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

Attributes

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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Instances

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
TypeList.type