Skip to content

Instantly share code, notes, and snippets.

@dkarlinsky

dkarlinsky/dotty-type-tree.txt

Created January 11, 2020 13:10
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dkarlinsky/e1ec4602988d8bda02f4748e232315f9 to your computer and use it in GitHub Desktop.
Save dkarlinsky/e1ec4602988d8bda02f4748e232315f9 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
dotty-type-tree.txt
Trees$Apply
Apply(TypeApply(Select(Select(Ident(ZEnv),live),>>>),List(TypeTree[TypeVar(TypeParamRef(E1) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),Nothing))], TypeTree[TypeVar(TypeParamRef(ROut2))])),List(Apply(Apply(TypeApply(Select(Apply(Apply(TypeApply(Select(Apply(Apply(TypeApply(Select(Apply(Apply(TypeApply(Select(Apply(Apply(TypeApply(Select(Apply(Apply(TypeApply(Select(Apply(Apply(TypeApply(Select(Select(Ident(Annotations),live),++),List(TypeTree[TypeVar(TypeParamRef(E1) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),class Nothing))], TypeTree[TypeVar(TypeParamRef(RIn2) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),Any))], TypeTree[TypeVar(TypeParamRef(ROut1) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class test)),module package),type Annotations))], TypeTree[TypeVar(TypeParamRef(ROut2) -> AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module blocking),Blocking),trait Service))))])),List(Select(Ident(Blocking),live))),List(Apply(TypeApply(Select(Ident(ClassTag),apply),List(TypeTree[TypeVar(TypeParamRef(ROut2) -> AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module blocking),Blocking),trait Service))))])),List(Literal(Constant(TypeRef(ThisType(TypeRef(NoPrefix,module class zio)),class Has))))))),++),List(TypeTree[TypeVar(TypeParamRef(E1) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),class Nothing))], TypeTree[TypeVar(TypeParamRef(RIn2) -> AndType(AndType(AndType(AndType(AndType(AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module clock),Clock),trait Service))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module console),Console),trait Service)))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module system),System),trait Service)))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module random),Random),trait Service)))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module scheduler),Scheduler),trait Service)))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module blocking),Blocking),trait Service)))))], TypeTree[TypeVar(TypeParamRef(ROut1) -> AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class test)),module package),type Annotations),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module blocking),Blocking),trait Service)))))], TypeTree[TypeVar(TypeParamRef(ROut2) -> AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class clock)),module package),type Clock),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestClock),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class scheduler)),module package),type Scheduler))))])),List(Apply(TypeApply(Select(Select(Ident(Live),default),>>>),List(TypeTree[TypeVar(TypeParamRef(E1) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),class Nothing))], TypeTree[TypeVar(TypeParamRef(ROut2) -> AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class clock)),module package),type Clock),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestClock),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class scheduler)),module package),type Scheduler))))])),List(Select(Ident(TestClock),default))))),List(Apply(TypeApply(Select(Ident(ClassTag),apply),List(TypeTree[TypeVar(TypeParamRef(ROut2) -> AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class clock)),module package),type Clock),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestClock),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class scheduler)),module package),type Scheduler))))])),List(Literal(Constant(TypeRef(ThisType(TypeRef(NoPrefix,module class zio)),class Has))))))),++),List(TypeTree[TypeVar(TypeParamRef(E1) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),class Nothing))], TypeTree[TypeVar(TypeParamRef(RIn2) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),Any))], TypeTree[TypeVar(TypeParamRef(ROut1) -> AndType(AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class test)),module package),type Annotations),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module blocking),Blocking),trait Service)))),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class clock)),module package),type Clock),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestClock),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class scheduler)),module package),type Scheduler)))))], TypeTree[TypeVar(TypeParamRef(ROut2) -> AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class console)),module package),type Console),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestConsole)))])),List(Select(Ident(TestConsole),default))),List(Apply(TypeApply(Select(Ident(ClassTag),apply),List(TypeTree[TypeVar(TypeParamRef(ROut2) -> AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class console)),module package),type Console),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestConsole)))])),List(Literal(Constant(TypeRef(ThisType(TypeRef(NoPrefix,module class zio)),class Has))))))),++),List(TypeTree[TypeVar(TypeParamRef(E1) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),class Nothing))], TypeTree[TypeVar(TypeParamRef(RIn2) -> AndType(AndType(AndType(AndType(AndType(AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module clock),Clock),trait Service))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module console),Console),trait Service)))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module system),System),trait Service)))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module random),Random),trait Service)))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module scheduler),Scheduler),trait Service)))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module blocking),Blocking),trait Service)))))], TypeTree[TypeVar(TypeParamRef(ROut1) -> AndType(AndType(AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class test)),module package),type Annotations),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module blocking),Blocking),trait Service)))),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class clock)),module package),type Clock),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestClock),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class scheduler)),module package),type Scheduler)))),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class console)),module package),type Console),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestConsole))))], TypeTree[TypeVar(TypeParamRef(ROut2) -> AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),class Has),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module Live),trait Service))))])),List(Select(Ident(Live),default))),List(Apply(TypeApply(Select(Ident(ClassTag),apply),List(TypeTree[TypeVar(TypeParamRef(ROut2) -> AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),class Has),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module Live),trait Service))))])),List(Literal(Constant(TypeRef(ThisType(TypeRef(NoPrefix,module class zio)),class Has))))))),++),List(TypeTree[TypeVar(TypeParamRef(E1) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),class Nothing))], TypeTree[TypeVar(TypeParamRef(RIn2) -> AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module clock),Clock),trait Service))))], TypeTree[TypeVar(TypeParamRef(ROut1) -> AndType(AndType(AndType(AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class test)),module package),type Annotations),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module blocking),Blocking),trait Service)))),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class clock)),module package),type Clock),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestClock),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class scheduler)),module package),type Scheduler)))),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class console)),module package),type Console),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestConsole))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),class Has),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module Live),trait Service)))))], TypeTree[TypeVar(TypeParamRef(ROut2) -> AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class random)),module package),type Random),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestRandom)))])),List(Select(Ident(TestRandom),random))),List(Apply(TypeApply(Select(Ident(ClassTag),apply),List(TypeTree[TypeVar(TypeParamRef(ROut2) -> AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class random)),module package),type Random),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestRandom)))])),List(Literal(Constant(TypeRef(ThisType(TypeRef(NoPrefix,module class zio)),class Has))))))),++),List(TypeTree[TypeVar(TypeParamRef(E1) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),class Nothing))], TypeTree[TypeVar(TypeParamRef(RIn2) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),Any))], TypeTree[TypeVar(TypeParamRef(ROut1) -> AndType(AndType(AndType(AndType(AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class test)),module package),type Annotations),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module blocking),Blocking),trait Service)))),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class clock)),module package),type Clock),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestClock),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class scheduler)),module package),type Scheduler)))),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class console)),module package),type Console),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestConsole))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),class Has),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module Live),trait Service)))),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class random)),module package),type Random),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestRandom))))], TypeTree[TypeVar(TypeParamRef(ROut2) -> AppliedType(TypeRef(ThisType(TypeRef(NoPrefix,module class zio)),class Has),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class test)),module Sized),trait Service))))])),List(Apply(Select(Ident(Sized),live),List(Literal(Constant(100)))))),List(Apply(TypeApply(Select(Ident(ClassTag),apply),List(TypeTree[TypeVar(TypeParamRef(ROut2) -> AppliedType(TypeRef(ThisType(TypeRef(NoPrefix,module class zio)),class Has),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class test)),module Sized),trait Service))))])),List(Literal(Constant(TypeRef(ThisType(TypeRef(NoPrefix,module class zio)),class Has))))))),++),List(TypeTree[TypeVar(TypeParamRef(E1) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),class Nothing))], TypeTree[TypeVar(TypeParamRef(RIn2) -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),Any))], TypeTree[TypeVar(TypeParamRef(ROut1) -> AndType(AndType(AndType(AndType(AndType(AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class test)),module package),type Annotations),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),Has),List(TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class zio)),module blocking),Blocking),trait Service)))),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class clock)),module package),type Clock),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestClock),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class scheduler)),module package),type Scheduler)))),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class console)),module package),type Console),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestConsole))),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module zio),class Has),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module Live),trait Service)))),AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class random)),module package),type Random),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestRandom))),AppliedType(TypeRef(ThisType(TypeRef(NoPrefix,module class zio)),class Has),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class test)),module Sized),trait Service)))))], TypeTree[TypeVar(TypeParamRef(ROut2) -> AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class system)),module package),type System),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestSystem)))])),List(Select(Ident(TestSystem),default))),List(Apply(TypeApply(Select(Ident(ClassTag),apply),List(TypeTree[TypeVar(TypeParamRef(ROut2) -> AndType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class system)),module package),type System),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class environment)),module package),type TestSystem)))])),List(Literal(Constant(TypeRef(ThisType(TypeRef(NoPrefix,module class zio)),class Has)))))))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment