Skip to content

Commit

Permalink
Break out dc10-scalaq in to its own repo
Browse files Browse the repository at this point in the history
  • Loading branch information
julianpeeters committed Nov 7, 2023
1 parent c749558 commit ca1b598
Show file tree
Hide file tree
Showing 6 changed files with 2 additions and 277 deletions.
11 changes: 1 addition & 10 deletions build.sbt
Original file line number Diff line number Diff line change
Expand Up @@ -43,15 +43,6 @@ lazy val scala = (project in file("."))
)
)

lazy val scalaq = (project in file("scalaq"))
.settings(
name := "dc10-scalaq",
libraryDependencies ++= Seq(
// test
"org.scalameta" %% "munit" % MUnitV % Test
)
).dependsOn(scala)

lazy val docs = project.in(file("docs/gitignored"))
.settings(
mdocOut := scala.base,
Expand All @@ -60,6 +51,6 @@ lazy val docs = project.in(file("docs/gitignored"))
"VERSION" -> version.value.takeWhile(_ != '+'),
)
)
.dependsOn(scalaq)
.dependsOn(scala)
.enablePlugins(MdocPlugin)
.enablePlugins(NoPublishPlugin)
24 changes: 1 addition & 23 deletions docs/readme.md
Original file line number Diff line number Diff line change
Expand Up @@ -32,29 +32,7 @@ import dc10.scala.version.`3.3.1`
val result: String = snippet.compile.toString["scala-3.3.1"]
```

### `dc10-scalaq`
Experimental `dsl` that includes dependent vector types:

```scala mdoc:reset
import dc10.scalaq.dsl.{*, given}
import scala.language.implicitConversions // for literals, e.g. 1, 2, 3

val snippet =
for
l <- VAL("l", VECTOR(3, INT), Vector.of(1, 2, 3))
_ <- VAL("m", VECTOR(6, INT), l ++ l)
yield ()
```

Use the `compiler` to typecheck, then render code as `List`:

```scala mdoc
import dc10.scala.compiler.{compile, toString}
import dc10.scala.version.`3.3.1`

val result: String = snippet.compile.toString["scala-3.3.1"]
```

### Libraries
- [`dc10-cats`](https://github.com/julianpeeters/dc10-cats)
- [`dc10-cats-effect`](https://github.com/julianpeeters/dc10-cats-effect)
- [`dc10-scalaq`](https://github.com/julianpeeters/dc10-scalaq)
96 changes: 0 additions & 96 deletions scalaq/src/main/scala/dc10/scalaq/Vectors.scala

This file was deleted.

20 changes: 0 additions & 20 deletions scalaq/src/main/scala/dc10/scalaq/dsl.scala

This file was deleted.

75 changes: 0 additions & 75 deletions scalaq/src/main/scala/dc10/scalaq/package.scala

This file was deleted.

53 changes: 0 additions & 53 deletions scalaq/src/test/scala/dc10/scalaq/VectorsSuite.scala

This file was deleted.

0 comments on commit ca1b598

Please sign in to comment.