Move all the facet sources around.

facet-lang · Oct 20, 2020 · 35cf6ee · 35cf6ee
1 parent db93a5e
commit 35cf6ee
Show file tree

Hide file tree

Showing 9 changed files with 11 additions and 11 deletions.
diff --git a/src/Base/🌈 Bool 🦄.facet → docs/🌈 Bool 🦄.facet b/src/Base/🌈 Bool 🦄.facet → docs/🌈 Bool 🦄.facet
@@ -1,6 +1,6 @@
 # NB: this file and its syntax is entirely aspirational.
 
-Base.Bool : Module
+Data.Bool : Module
 { # fixme: it’d be nice to drop the curly braces in module syntax; maybe dropping the curly braces means it just extends to the rest of the current branch?
 
 # fixme: how do we control the implicit scope? should there even be any? where do e.g. Type & Module come from?

diff --git a/src/Base/Bool.facet → src/Data/Bool.facet b/src/Base/Bool.facet → src/Data/Bool.facet
@@ -1,4 +1,4 @@
-Base.Bool : Module
+Data.Bool : Module
 {
 
 Bool : Type

diff --git a/src/Base/Function.facet → src/Data/Function.facet b/src/Base/Function.facet → src/Data/Function.facet
@@ -1,6 +1,6 @@
 # NB: this file and its syntax is entirely aspirational.
 
-Base.Function : Module
+Data.Function : Module
 {
 
 id

diff --git a/src/Base/List.facet → src/Data/List.facet b/src/Base/List.facet → src/Data/List.facet
@@ -1,4 +1,4 @@
-Base.List
+Data.List
 : Module
 {
 

diff --git a/src/Base/Option.facet → src/Data/Option.facet b/src/Base/Option.facet → src/Data/Option.facet
@@ -1,4 +1,4 @@
-Base.Option
+Data.Option
 : Module
 {
 

diff --git a/src/Base/Unit.facet → src/Data/Unit.facet b/src/Base/Unit.facet → src/Data/Unit.facet
@@ -1,4 +1,4 @@
-Base.Unit : Module
+Data.Unit : Module
 {
 
 Unit : Type

diff --git a/src/Base/Map.facet → src/Interface/Map.facet b/src/Base/Map.facet → src/Interface/Map.facet
@@ -1,4 +1,4 @@
-Base.Map : Module
+Interface.Map : Module
 {
 
 Map : (F : Type -> Type) -> Type # FIXME: this should be Interface or something

diff --git a/src/Effect/Reader.facet → src/Interface/Reader.facet b/src/Effect/Reader.facet → src/Interface/Reader.facet
@@ -1,6 +1,6 @@
 # NB: this file and its syntax is entirely aspirational.
 
-Effect.Reader : Module
+Interface.Reader : Module
 {
 
 Reader : (R : Type) -> Interface

diff --git a/src/Effect/State.facet → src/Interface/State.facet b/src/Effect/State.facet → src/Interface/State.facet
@@ -1,6 +1,6 @@
-Effect.State
-: [ Base.Pair
-  , Base.Unit ]
+Interface.State
+: [ Data.Pair
+  , Data.Unit ]
   Module
 {