├── .gitignore ├── .travis.yml ├── LICENSE ├── Makefile ├── README.md ├── project ├── build.properties └── plugins.sbt ├── scripts ├── generate-md.py ├── top-of-readme.md └── update-readme.sh └── src └── main └── scala ├── dotty └── core │ ├── DependentFunctionTypesDemo.scala │ ├── ExplicitNullsDemo.scala │ ├── ExtensionMethods.scala │ ├── ImplicitFunctionTypesDemo.scala │ ├── ImplicitsDemo.scala │ ├── IntersectionTypesDemo.scala │ ├── MonadDemo.scala │ ├── SemigroupDemo.scala │ ├── TraitParametersDemo.scala │ ├── TypeLambdaDemo.scala │ ├── enums │ └── Enums.scala │ ├── implicits │ └── Conversions.scala │ ├── monad │ ├── Givens.scala │ └── Monad.scala │ └── semigroup │ └── Semigroup.scala ├── scala2 └── core │ ├── DependentFunctionTypesDemo.scala │ ├── ExplicitNullsDemo.scala │ ├── ExtensionMethods.scala │ ├── ImplicitFunctionTypesDemo.scala │ ├── ImplicitsDemo.scala │ ├── IntersectionTypesDemo.scala │ ├── MonadDemo.scala │ ├── SemigroupDemo.scala │ ├── TraitParametersDemo.scala │ ├── TypeLambdaDemo.scala │ ├── enums │ └── Enums.scala │ ├── implicits │ └── Conversions.scala │ ├── monad │ └── Monad.scala │ └── semigroup │ └── Semigroup.scala └── shared ├── CustomFunctions.scala ├── CustomTypeConstructors.scala └── Types.scala /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/README.md -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.5.2 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /scripts/generate-md.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/scripts/generate-md.py -------------------------------------------------------------------------------- /scripts/top-of-readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/scripts/top-of-readme.md -------------------------------------------------------------------------------- /scripts/update-readme.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/scripts/update-readme.sh -------------------------------------------------------------------------------- /src/main/scala/dotty/core/DependentFunctionTypesDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/DependentFunctionTypesDemo.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/ExplicitNullsDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/ExplicitNullsDemo.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/ExtensionMethods.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/ExtensionMethods.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/ImplicitFunctionTypesDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/ImplicitFunctionTypesDemo.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/ImplicitsDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/ImplicitsDemo.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/IntersectionTypesDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/IntersectionTypesDemo.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/MonadDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/MonadDemo.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/SemigroupDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/SemigroupDemo.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/TraitParametersDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/TraitParametersDemo.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/TypeLambdaDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/TypeLambdaDemo.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/enums/Enums.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/enums/Enums.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/implicits/Conversions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/implicits/Conversions.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/monad/Givens.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/monad/Givens.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/monad/Monad.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/monad/Monad.scala -------------------------------------------------------------------------------- /src/main/scala/dotty/core/semigroup/Semigroup.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/dotty/core/semigroup/Semigroup.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/DependentFunctionTypesDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/DependentFunctionTypesDemo.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/ExplicitNullsDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/ExplicitNullsDemo.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/ExtensionMethods.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/ExtensionMethods.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/ImplicitFunctionTypesDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/ImplicitFunctionTypesDemo.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/ImplicitsDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/ImplicitsDemo.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/IntersectionTypesDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/IntersectionTypesDemo.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/MonadDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/MonadDemo.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/SemigroupDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/SemigroupDemo.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/TraitParametersDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/TraitParametersDemo.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/TypeLambdaDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/TypeLambdaDemo.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/enums/Enums.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/enums/Enums.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/implicits/Conversions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/implicits/Conversions.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/monad/Monad.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/monad/Monad.scala -------------------------------------------------------------------------------- /src/main/scala/scala2/core/semigroup/Semigroup.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/scala2/core/semigroup/Semigroup.scala -------------------------------------------------------------------------------- /src/main/scala/shared/CustomFunctions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/shared/CustomFunctions.scala -------------------------------------------------------------------------------- /src/main/scala/shared/CustomTypeConstructors.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ashwinbhaskar/scala-to-dotty/HEAD/src/main/scala/shared/CustomTypeConstructors.scala -------------------------------------------------------------------------------- /src/main/scala/shared/Types.scala: -------------------------------------------------------------------------------- 1 | package shared 2 | 3 | type Id[A] = A --------------------------------------------------------------------------------