zio.blocks.typeid.TypeRepr
See theTypeRepr companion object
Represents type expressions in the Scala type system.
TypeRepr can represent:
- Simple type references (
Int,String) - Applied types (
List[Int],Map[String, Int]) - Type parameter references (
A,F[_]) - Structural/refinement types (
{ def foo: Int }) - Intersection types (
A & B & C) - Union types (
A | B | C) - Tuple types (
(A, B, C)) - Function types (
A => B,(A, B) ?=> C) - Singleton types (
x.type) - Literal/constant types (
42,"foo") - Type lambdas (
[X] =>> F[X]) - Wildcards (
? : Lower) - And more...
Attributes
- Companion
- object
- Source
- TypeRepr.scala
- Graph
-
- Supertypes
- Known subtypes
-
class Annotatedobject AnyKindTypeobject AnyTypeclass Appliedclass ByNametrait Constantclass BooleanConstclass CharConstclass ClassOfConstclass DoubleConstclass FloatConstclass IntConstclass LongConstobject NullConstclass StringConstobject UnitConstclass ContextFunctionclass Functionclass Intersectionobject NothingTypeobject NullTypeclass ParamRefclass Refclass Repeatedclass Singletonclass Structuralclass ThisTypeclass Tupleclass TypeLambdaclass TypeProjectionclass TypeSelectclass Unionobject UnitTypeclass Wildcard
Members list
In this article