aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/source/lux.lux8
-rw-r--r--stdlib/source/lux/control/apply.lux2
-rw-r--r--stdlib/source/lux/control/codec.lux2
-rw-r--r--stdlib/source/lux/control/comonad.lux2
-rw-r--r--stdlib/source/lux/control/enum.lux2
-rw-r--r--stdlib/source/lux/control/equivalence.lux2
-rw-r--r--stdlib/source/lux/control/fold.lux2
-rw-r--r--stdlib/source/lux/control/functor.lux2
-rw-r--r--stdlib/source/lux/control/hash.lux2
-rw-r--r--stdlib/source/lux/control/interval.lux2
-rw-r--r--stdlib/source/lux/control/monad.lux2
-rw-r--r--stdlib/source/lux/control/monad/indexed.lux2
-rw-r--r--stdlib/source/lux/control/monoid.lux2
-rw-r--r--stdlib/source/lux/control/number.lux2
-rw-r--r--stdlib/source/lux/control/order.lux2
-rw-r--r--stdlib/source/lux/lang/compiler/translation.lux2
-rw-r--r--stdlib/source/lux/type/object/interface.lux2
-rw-r--r--stdlib/source/lux/type/unit.lux2
-rw-r--r--stdlib/source/lux/world/file.lux2
19 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index 8d6a1d323..bbf765e9a 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -1597,7 +1597,7 @@
(fail "Wrong syntax for $_")}
tokens))
-## (sig: (Monad m)
+## (signature: (Monad m)
## (: (All [a] (-> a (m a)))
## wrap)
## (: (All [a b] (-> (-> a (m b)) (m a) (m b)))
@@ -3471,9 +3471,9 @@
#None
(fail "Wrong syntax for macro:"))))
-(macro: #export (sig: tokens)
+(macro: #export (signature: tokens)
{#.doc "## Definition of signatures ala ML.
- (sig: #export (Ord a)
+ (signature: #export (Ord a)
(: (Equivalence a)
eq)
(: (-> a a Bool)
@@ -3534,7 +3534,7 @@
(return (list (` (..type: (~+ (export exported?)) (~ usage) (~ sig-meta) (~ sig-type))))))
#None
- (fail "Wrong syntax for sig:"))))
+ (fail "Wrong syntax for signature:"))))
(def: (find f xs)
(All [a b]
diff --git a/stdlib/source/lux/control/apply.lux b/stdlib/source/lux/control/apply.lux
index eb9dbaf00..4c3d73ba1 100644
--- a/stdlib/source/lux/control/apply.lux
+++ b/stdlib/source/lux/control/apply.lux
@@ -3,7 +3,7 @@
(// [functor #+ Functor]
[monad #+ Monad]))
-(sig: #export (Apply f)
+(signature: #export (Apply f)
{#.doc "Applicative functors."}
(: (Functor f)
functor)
diff --git a/stdlib/source/lux/control/codec.lux b/stdlib/source/lux/control/codec.lux
index 0630a11d1..1c0375831 100644
--- a/stdlib/source/lux/control/codec.lux
+++ b/stdlib/source/lux/control/codec.lux
@@ -4,7 +4,7 @@
(data ["e" error])))
## [Signatures]
-(sig: #export (Codec m a)
+(signature: #export (Codec m a)
{#.doc "A way to move back-and-forth between a type and an alternative representation for it."}
(: (-> a m)
encode)
diff --git a/stdlib/source/lux/control/comonad.lux b/stdlib/source/lux/control/comonad.lux
index 95f31a523..f60a34c74 100644
--- a/stdlib/source/lux/control/comonad.lux
+++ b/stdlib/source/lux/control/comonad.lux
@@ -4,7 +4,7 @@
(lux/data/coll [list "list/" Fold<List>]))
## [Signatures]
-(sig: #export (CoMonad w)
+(signature: #export (CoMonad w)
{#.doc "CoMonads are the opposite/complement to monads.
CoMonadic structures are often infinite in size and built upon lazily-evaluated functions."}
diff --git a/stdlib/source/lux/control/enum.lux b/stdlib/source/lux/control/enum.lux
index 594f7e71e..b2b2f090c 100644
--- a/stdlib/source/lux/control/enum.lux
+++ b/stdlib/source/lux/control/enum.lux
@@ -2,7 +2,7 @@
(lux/control [order]))
## [Signatures]
-(sig: #export (Enum e)
+(signature: #export (Enum e)
{#.doc "Enumerable types, with a notion of moving forward and backwards through a type's instances."}
(: (order.Order e) order)
(: (-> e e) succ)
diff --git a/stdlib/source/lux/control/equivalence.lux b/stdlib/source/lux/control/equivalence.lux
index eabe1165e..6ee8630e2 100644
--- a/stdlib/source/lux/control/equivalence.lux
+++ b/stdlib/source/lux/control/equivalence.lux
@@ -1,6 +1,6 @@
(.module: lux)
-(sig: #export (Equivalence a)
+(signature: #export (Equivalence a)
{#.doc "Equivalence for a type's instances."}
(: (-> a a Bool)
=))
diff --git a/stdlib/source/lux/control/fold.lux b/stdlib/source/lux/control/fold.lux
index 947461c09..8dc388045 100644
--- a/stdlib/source/lux/control/fold.lux
+++ b/stdlib/source/lux/control/fold.lux
@@ -1,7 +1,7 @@
(.module: lux)
## [Signatures]
-(sig: #export (Fold F)
+(signature: #export (Fold F)
{#.doc "Iterate over a structure's values to build a summary value."}
(: (All [a b]
(-> (-> b a a) a (F b) a))
diff --git a/stdlib/source/lux/control/functor.lux b/stdlib/source/lux/control/functor.lux
index d6ac8c58f..c4478a710 100644
--- a/stdlib/source/lux/control/functor.lux
+++ b/stdlib/source/lux/control/functor.lux
@@ -1,6 +1,6 @@
(.module: lux)
-(sig: #export (Functor f)
+(signature: #export (Functor f)
(: (All [a b]
(-> (-> a b)
(-> (f a) (f b))))
diff --git a/stdlib/source/lux/control/hash.lux b/stdlib/source/lux/control/hash.lux
index 76fcd2730..faf7afda8 100644
--- a/stdlib/source/lux/control/hash.lux
+++ b/stdlib/source/lux/control/hash.lux
@@ -3,7 +3,7 @@
(// [equivalence #+ Equivalence]))
## [Signatures]
-(sig: #export (Hash a)
+(signature: #export (Hash a)
{#.doc "A way to produce hash-codes for a type's instances.
A necessity when working with some data-structures, such as dictionaries or sets."}
diff --git a/stdlib/source/lux/control/interval.lux b/stdlib/source/lux/control/interval.lux
index 92cb9599f..a53115576 100644
--- a/stdlib/source/lux/control/interval.lux
+++ b/stdlib/source/lux/control/interval.lux
@@ -5,7 +5,7 @@
[enum #+ Enum])))
## Signatures
-(sig: #export (Interval a)
+(signature: #export (Interval a)
{#.doc "A representation of top and bottom boundaries for an ordered type."}
(: (Enum a)
enum)
diff --git a/stdlib/source/lux/control/monad.lux b/stdlib/source/lux/control/monad.lux
index bc0d3dfc8..00ef17925 100644
--- a/stdlib/source/lux/control/monad.lux
+++ b/stdlib/source/lux/control/monad.lux
@@ -41,7 +41,7 @@
#.Nil))
## [Signatures]
-(sig: #export (Monad m)
+(signature: #export (Monad m)
(: (Functor m)
functor)
(: (All [a]
diff --git a/stdlib/source/lux/control/monad/indexed.lux b/stdlib/source/lux/control/monad/indexed.lux
index 591c24813..455334760 100644
--- a/stdlib/source/lux/control/monad/indexed.lux
+++ b/stdlib/source/lux/control/monad/indexed.lux
@@ -6,7 +6,7 @@
[macro]
(macro ["s" syntax #+ Syntax syntax:])))
-(sig: #export (IxMonad m)
+(signature: #export (IxMonad m)
(: (All [p a]
(-> a (m p p a)))
wrap)
diff --git a/stdlib/source/lux/control/monoid.lux b/stdlib/source/lux/control/monoid.lux
index 09737cb12..a71f2335e 100644
--- a/stdlib/source/lux/control/monoid.lux
+++ b/stdlib/source/lux/control/monoid.lux
@@ -1,7 +1,7 @@
(.module: lux
(// [fold #+ Fold]))
-(sig: #export (Monoid a)
+(signature: #export (Monoid a)
{#.doc "A way to compose values.
Includes an identity value which does not alter any other value when combined with."}
diff --git a/stdlib/source/lux/control/number.lux b/stdlib/source/lux/control/number.lux
index 1087f69ea..bf8e41194 100644
--- a/stdlib/source/lux/control/number.lux
+++ b/stdlib/source/lux/control/number.lux
@@ -2,7 +2,7 @@
lux)
## [Signatures]
-(sig: #export (Number n)
+(signature: #export (Number n)
{#.doc "Everything that should be expected of a number type."}
(do-template [<name>]
diff --git a/stdlib/source/lux/control/order.lux b/stdlib/source/lux/control/order.lux
index 04d0e6a82..153b1fa9a 100644
--- a/stdlib/source/lux/control/order.lux
+++ b/stdlib/source/lux/control/order.lux
@@ -4,7 +4,7 @@
(// [equivalence #+ Equivalence]))
## [Signatures]
-(sig: #export (Order a)
+(signature: #export (Order a)
{#.doc "A signature for types that possess some sense of ordering among their elements."}
(: (Equivalence a)
diff --git a/stdlib/source/lux/lang/compiler/translation.lux b/stdlib/source/lux/lang/compiler/translation.lux
index 84853439d..46f9ffd98 100644
--- a/stdlib/source/lux/lang/compiler/translation.lux
+++ b/stdlib/source/lux/lang/compiler/translation.lux
@@ -27,7 +27,7 @@
{#scope-name Text
#inner-functions Nat})
-(sig: #export (Host code)
+(signature: #export (Host code)
(: (-> code (Error Any))
execute!)
(: (-> code (Error Any))
diff --git a/stdlib/source/lux/type/object/interface.lux b/stdlib/source/lux/type/object/interface.lux
index 80bf6cd3f..c2c54dd4f 100644
--- a/stdlib/source/lux/type/object/interface.lux
+++ b/stdlib/source/lux/type/object/interface.lux
@@ -392,7 +392,7 @@
(~ g!child)
(~ g!ext)]
(~+ g!ancestors))))))]]
- (wrap (list& (` (sig: (~+ (csw.export export))
+ (wrap (list& (` (signature: (~+ (csw.export export))
((~ g!signature) (~+ g!parameters) (~ g!self-class))
(~+ (let [de-alias (code.replace (code.local-symbol alias) g!self-class)]
(list/map (|>> (update@ #inputs (list/map de-alias))
diff --git a/stdlib/source/lux/type/unit.lux b/stdlib/source/lux/type/unit.lux
index 569c6f8c2..b487571e1 100644
--- a/stdlib/source/lux/type/unit.lux
+++ b/stdlib/source/lux/type/unit.lux
@@ -27,7 +27,7 @@
(All [unit] (-> (Qty unit) Int))
(|>> :representation)))
-(sig: #export (Scale s)
+(signature: #export (Scale s)
(: (All [u] (-> (Qty u) (Qty (s u))))
scale)
(: (All [u] (-> (Qty (s u)) (Qty u)))
diff --git a/stdlib/source/lux/world/file.lux b/stdlib/source/lux/world/file.lux
index 24c38024c..7afd12b4b 100644
--- a/stdlib/source/lux/world/file.lux
+++ b/stdlib/source/lux/world/file.lux
@@ -20,7 +20,7 @@
#Write
#Execute)
-(sig: #export (System m)
+(signature: #export (System m)
(: (Monad m)
&monad)