Search *

6 results

typechecked/alphabet-soup 0.3.0

Type calculations at compile time

Scala versions: 2.13 2.12

Scala.js versions: 0.6

alphabet-soup functional-programming typelevel-programming scala shapeless typelevel

40 3
dmytromitin/auxify 0.8

Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric

Scala versions: 2.13 2.12 2.11 2.10

typeclasses scalafix typelevel-programming scalameta metaprogramming dependent-types semanticdb code-generation typeclass extension-methods scala shapeless simulacrum macros

28 2
mcgizzle/oh-migrations 0.3.0

Data migrations through implicit function composition at the type-level

Scala versions: 2.13

typelevel-programming scala composition typelevel data-migration shapeless

22 2
typechecked/numerology 0.1.5

Scala versions: 2.13 2.12

Scala.js versions: 0.6

functional-programming typelevel-programming scala nat shapeless

19 2
rudogma/scala-superquants 0.9

Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%

Scala versions: 2.12 2.11

Scala.js versions: 0.6

measure typelevel-programming scalajs seconds units-of-measure no-boxing bytes analysis dimensional length time meters formatting typelevel unboxed compile-time units scala

17 1
dmytromitin/shapeless 2.4.0-SNAPSHOT-18022020-bf55524-PATCH

Generic programming for Scala

Scala versions: 2.13 2.12 2.11 2.10

typeclasses hlist dependent-types typeclass-derivation macros phantom-types scala polymorphic-functions heterogeneous-lists singleton-types typelevel-programming coproduct generic-programming

0 120