diff options
author | Eduardo Julian | 2018-07-10 00:09:34 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-10 00:09:34 -0400 |
commit | 474c270f548298fc6404e9c53f038b94eba7e997 (patch) | |
tree | c00a759fe5686b3151439fd019876300e754c807 /stdlib/source | |
parent | 25c48836e80dcaed6c2cbb11a14d3353da37620e (diff) |
- Re-named "sig:" to "signature:".
Diffstat (limited to 'stdlib/source')
-rw-r--r-- | stdlib/source/lux.lux | 8 | ||||
-rw-r--r-- | stdlib/source/lux/control/apply.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/codec.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/comonad.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/enum.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/equivalence.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/fold.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/functor.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/hash.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/interval.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/monad.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/monad/indexed.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/monoid.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/number.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/control/order.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/lang/compiler/translation.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/type/object/interface.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/type/unit.lux | 2 | ||||
-rw-r--r-- | stdlib/source/lux/world/file.lux | 2 |
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) |