"signature:" -> "interface:" & "structure:" -> "implementation:"

"signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.

1 files changed, 7 insertions, 7 deletions

diff --git a/stdlib/source/lux/data/maybe.lux b/stdlib/source/lux/data/maybe.lux
index a5a51300f..6376cfebf 100644
--- a/stdlib/source/lux/data/maybe.lux
+++ b/stdlib/source/lux/data/maybe.lux
@@ -14,7 +14,7 @@
 ##   #.None
 ##   (#.Some a))
 
-(structure: #export monoid
+(implementation: #export monoid
   (All [a] (Monoid (Maybe a)))
   
   (def: identity #.None)
@@ -27,7 +27,7 @@
       (#.Some x)
       (#.Some x))))
 
-(structure: #export functor
+(implementation: #export functor
   (Functor Maybe)
   
   (def: (map f ma)
@@ -35,7 +35,7 @@
       #.None     #.None
       (#.Some a) (#.Some (f a)))))
 
-(structure: #export apply
+(implementation: #export apply
   (Apply Maybe)
   
   (def: &functor ..functor)
@@ -48,7 +48,7 @@
       _
       #.None)))
 
-(structure: #export monad
+(implementation: #export monad
   (Monad Maybe)
   
   (def: &functor ..functor)
@@ -64,7 +64,7 @@
       (#.Some mx)
       mx)))
 
-(structure: #export (equivalence super)
+(implementation: #export (equivalence super)
   (All [a] (-> (Equivalence a) (Equivalence (Maybe a))))
   
   (def: (= mx my)
@@ -78,7 +78,7 @@
       _
       #0)))
 
-(structure: #export (hash super)
+(implementation: #export (hash super)
   (All [a] (-> (Hash a) (Hash (Maybe a))))
 
   (def: &equivalence
@@ -92,7 +92,7 @@
       (#.Some value)
       (\ super hash value))))
 
-(structure: #export (with monad)
+(implementation: #export (with monad)
   (All [M] (-> (Monad M) (Monad (All [a] (M (Maybe a))))))
 
   (def: &functor (functor.compose (get@ #monad.&functor monad) ..functor))