aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux.lux')
-rw-r--r--stdlib/source/lux.lux266
1 files changed, 133 insertions, 133 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index e375c7ed5..d6fa1c40a 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -1,172 +1,172 @@
("lux def" dummy-cursor
["" 0 0]
- [["" 0 0] (10 (0))]
+ [["" 0 0] (9 #1 (0 #0))]
#1)
("lux def" double-quote
("lux i64 char" +34)
- [dummy-cursor (10 (0))]
+ [dummy-cursor (9 #1 (0 #0))]
#0)
("lux def" new-line
("lux i64 char" +10)
- [dummy-cursor (10 (0))]
+ [dummy-cursor (9 #1 (0 #0))]
#0)
("lux def" __paragraph
("lux text concat" new-line new-line)
- [dummy-cursor (10 (0))]
+ [dummy-cursor (9 #1 (0 #0))]
#0)
## (type: Any
## (Ex [a] a))
("lux def" Any
("lux check type"
- (10 ["lux" "Any"]
- (8 (0) (4 1))))
+ (9 #1 ["lux" "Any"]
+ (8 #0 (0 #0) (4 #0 1))))
[dummy-cursor
- (10 (1 [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 ("lux text concat"
- ("lux text concat" "The type of things whose type is irrelevant." __paragraph)
- "It can be used to write functions or data-structures that can take, or return, anything."))]]
- (0)))]
+ (9 #1 (0 #1 [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 ("lux text concat"
+ ("lux text concat" "The type of things whose type is irrelevant." __paragraph)
+ "It can be used to write functions or data-structures that can take, or return, anything."))]]
+ (0 #0)))]
#1)
## (type: Nothing
## (All [a] a))
("lux def" Nothing
("lux check type"
- (10 ["lux" "Nothing"]
- (7 (0) (4 1))))
+ (9 #1 ["lux" "Nothing"]
+ (7 #0 (0 #0) (4 #0 1))))
[dummy-cursor
- (10 (1 [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 ("lux text concat"
- ("lux text concat" "The type of things whose type is undefined." __paragraph)
- "Useful for expressions that cause errors or other 'extraordinary' conditions."))]]
- (0)))]
+ (9 #1 (0 #1 [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 ("lux text concat"
+ ("lux text concat" "The type of things whose type is undefined." __paragraph)
+ "Useful for expressions that cause errors or other 'extraordinary' conditions."))]]
+ (0 #0)))]
#1)
## (type: (List a)
## #Nil
## (#Cons a (List a)))
("lux def type tagged" List
- (10 ["lux" "List"]
- (7 (0)
- (1 ## "lux.Nil"
- Any
- ## "lux.Cons"
- (2 (4 1)
- (9 (4 1) (4 0))))))
+ (9 #1 ["lux" "List"]
+ (7 #0 (0 #0)
+ (1 #0 ## "lux.Nil"
+ Any
+ ## "lux.Cons"
+ (2 #0 (4 #0 1)
+ (9 #0 (4 #0 1) (4 #0 0))))))
[dummy-cursor
- (10 (1 [[dummy-cursor (7 ["lux" "type-args"])]
- [dummy-cursor (9 (1 [dummy-cursor (5 "a")] (0)))]]
- (1 [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 "A potentially empty list of values.")]]
- (0))))]
+ (9 #1 (0 #1 [[dummy-cursor (7 #0 ["lux" "type-args"])]
+ [dummy-cursor (9 #0 (0 #1 [dummy-cursor (5 #0 "a")] (0 #0)))]]
+ (0 #1 [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 "A potentially empty list of values.")]]
+ (0 #0))))]
["Nil" "Cons"]
#1)
("lux def" Bit
("lux check type"
- (10 ["lux" "Bit"]
- (0 "#Bit" #Nil)))
+ (9 #1 ["lux" "Bit"]
+ (0 #0 "#Bit" #Nil)))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 "Your standard, run-of-the-mill boolean values (as bits).")]]
- #Nil))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 "Your standard, run-of-the-mill boolean values (as bits).")]]
+ #Nil))]
#1)
("lux def" I64
("lux check type"
- (10 ["lux" "I64"]
- (7 (0)
- (0 "#I64" (#Cons (4 1) #Nil)))))
+ (9 #1 ["lux" "I64"]
+ (7 #0 (0 #0)
+ (0 #0 "#I64" (#Cons (4 #0 1) #Nil)))))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 "64-bit integers without any semantics.")]]
- #Nil))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 "64-bit integers without any semantics.")]]
+ #Nil))]
#1)
("lux def" Nat
("lux check type"
- (10 ["lux" "Nat"]
- (0 "#I64" (#Cons (0 "#Nat" #Nil) #Nil))))
+ (9 #1 ["lux" "Nat"]
+ (0 #0 "#I64" (#Cons (0 #0 "#Nat" #Nil) #Nil))))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 ("lux text concat"
- ("lux text concat" "Natural numbers (unsigned integers)." __paragraph)
- "They start at zero (0) and extend in the positive direction."))]]
- #Nil))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 ("lux text concat"
+ ("lux text concat" "Natural numbers (unsigned integers)." __paragraph)
+ "They start at zero (0) and extend in the positive direction."))]]
+ #Nil))]
#1)
("lux def" Int
("lux check type"
- (10 ["lux" "Int"]
- (0 "#I64" (#Cons (0 "#Int" #Nil) #Nil))))
+ (9 #1 ["lux" "Int"]
+ (0 #0 "#I64" (#Cons (0 #0 "#Int" #Nil) #Nil))))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 "Your standard, run-of-the-mill integer numbers.")]]
- #Nil))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 "Your standard, run-of-the-mill integer numbers.")]]
+ #Nil))]
#1)
("lux def" Rev
("lux check type"
- (10 ["lux" "Rev"]
- (0 "#I64" (#Cons (0 "#Rev" #Nil) #Nil))))
+ (9 #1 ["lux" "Rev"]
+ (0 #0 "#I64" (#Cons (0 #0 "#Rev" #Nil) #Nil))))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 ("lux text concat"
- ("lux text concat" "Fractional numbers that live in the interval [0,1)." __paragraph)
- "Useful for probability, and other domains that work within that interval."))]]
- #Nil))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 ("lux text concat"
+ ("lux text concat" "Fractional numbers that live in the interval [0,1)." __paragraph)
+ "Useful for probability, and other domains that work within that interval."))]]
+ #Nil))]
#1)
("lux def" Frac
("lux check type"
- (10 ["lux" "Frac"]
- (0 "#Frac" #Nil)))
+ (9 #1 ["lux" "Frac"]
+ (0 #0 "#Frac" #Nil)))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 "Your standard, run-of-the-mill floating-point (fractional) numbers.")]]
- #Nil))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 "Your standard, run-of-the-mill floating-point (fractional) numbers.")]]
+ #Nil))]
#1)
("lux def" Text
("lux check type"
- (10 ["lux" "Text"]
- (0 "#Text" #Nil)))
+ (9 #1 ["lux" "Text"]
+ (0 #0 "#Text" #Nil)))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 "Your standard, run-of-the-mill string values.")]]
- #Nil))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 "Your standard, run-of-the-mill string values.")]]
+ #Nil))]
#1)
("lux def" Name
("lux check type"
- (10 ["lux" "Name"]
- (2 Text Text)))
+ (9 #1 ["lux" "Name"]
+ (2 #0 Text Text)))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 "A name. It is used as part of Lux syntax to represent identifiers and tags.")]]
- #Nil))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 "A name. It is used as part of Lux syntax to represent identifiers and tags.")]]
+ #Nil))]
#1)
## (type: (Maybe a)
## #None
## (#Some a))
("lux def type tagged" Maybe
- (10 ["lux" "Maybe"]
- (7 #Nil
- (1 ## "lux.None"
- Any
- ## "lux.Some"
- (4 1))))
+ (9 #1 ["lux" "Maybe"]
+ (7 #0 #Nil
+ (1 #0 ## "lux.None"
+ Any
+ ## "lux.Some"
+ (4 #0 1))))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "type-args"])]
- [dummy-cursor (9 (#Cons [dummy-cursor (5 "a")] #Nil))]]
- (#Cons [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 "A potentially missing value.")]]
- #Nil)))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "type-args"])]
+ [dummy-cursor (9 #0 (#Cons [dummy-cursor (5 #0 "a")] #Nil))]]
+ (#Cons [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 "A potentially missing value.")]]
+ #Nil)))]
["None" "Some"]
#1)
@@ -184,43 +184,43 @@
## (#Named Name Type)
## )
("lux def type tagged" Type
- (10 ["lux" "Type"]
- ({Type
- ({Type-List
- ({Type-Pair
- (9 Nothing
- (7 #Nil
- (1 ## "lux.Primitive"
- (2 Text Type-List)
- (1 ## "lux.Sum"
- Type-Pair
- (1 ## "lux.Product"
- Type-Pair
- (1 ## "lux.Function"
- Type-Pair
- (1 ## "lux.Parameter"
- Nat
- (1 ## "lux.Var"
- Nat
- (1 ## "lux.Ex"
- Nat
- (1 ## "lux.UnivQ"
- (2 Type-List Type)
- (1 ## "lux.ExQ"
- (2 Type-List Type)
- (1 ## "lux.Apply"
- Type-Pair
- ## "lux.Named"
- (2 Name Type)))))))))))))}
- ("lux check type" (2 Type Type)))}
- ("lux check type" (9 Type List)))}
- ("lux check type" (9 (4 1) (4 0)))))
+ (9 #1 ["lux" "Type"]
+ ({Type
+ ({Type-List
+ ({Type-Pair
+ (9 #0 Nothing
+ (7 #0 #Nil
+ (1 #0 ## "lux.Primitive"
+ (2 #0 Text Type-List)
+ (1 #0 ## "lux.Sum"
+ Type-Pair
+ (1 #0 ## "lux.Product"
+ Type-Pair
+ (1 #0 ## "lux.Function"
+ Type-Pair
+ (1 #0 ## "lux.Parameter"
+ Nat
+ (1 #0 ## "lux.Var"
+ Nat
+ (1 #0 ## "lux.Ex"
+ Nat
+ (1 #0 ## "lux.UnivQ"
+ (2 #0 Type-List Type)
+ (1 #0 ## "lux.ExQ"
+ (2 #0 Type-List Type)
+ (1 #0 ## "lux.Apply"
+ Type-Pair
+ ## "lux.Named"
+ (2 #0 Name Type)))))))))))))}
+ ("lux check type" (2 #0 Type Type)))}
+ ("lux check type" (9 #0 Type List)))}
+ ("lux check type" (9 #0 (4 #0 1) (4 #0 0)))))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 "This type represents the data-structures that are used to specify types themselves.")]]
- (#Cons [[dummy-cursor (7 ["lux" "type-rec?"])]
- [dummy-cursor (0 #1)]]
- #Nil)))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 "This type represents the data-structures that are used to specify types themselves.")]]
+ (#Cons [[dummy-cursor (7 #0 ["lux" "type-rec?"])]
+ [dummy-cursor (0 #0 #1)]]
+ #Nil)))]
["Primitive" "Sum" "Product" "Function" "Parameter" "Var" "Ex" "UnivQ" "ExQ" "Apply" "Named"]
#1)
@@ -232,9 +232,9 @@
(#Named ["lux" "Cursor"]
(#Product Text (#Product Nat Nat)))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 "Cursors are for specifying the location of Code nodes in Lux files during compilation.")]]
- #Nil))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 "Cursors are for specifying the location of Code nodes in Lux files during compilation.")]]
+ #Nil))]
["module" "line" "column"]
#1)
@@ -248,11 +248,11 @@
(#Product (#Parameter 3)
(#Parameter 1)))))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "doc"])]
- [dummy-cursor (5 "The type of things that can be annotated with meta-data of arbitrary types.")]]
- (#Cons [[dummy-cursor (7 ["lux" "type-args"])]
- [dummy-cursor (9 (#Cons [dummy-cursor (5 "m")] (#Cons [dummy-cursor (5 "v")] #Nil)))]]
- #Nil)))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "doc"])]
+ [dummy-cursor (5 #0 "The type of things that can be annotated with meta-data of arbitrary types.")]]
+ (#Cons [[dummy-cursor (7 #0 ["lux" "type-args"])]
+ [dummy-cursor (9 #0 (#Cons [dummy-cursor (5 #0 "m")] (#Cons [dummy-cursor (5 #0 "v")] #Nil)))]]
+ #Nil)))]
["meta" "datum"]
#1)
@@ -302,9 +302,9 @@
(#Parameter 0))
(#Parameter 1)))))
[dummy-cursor
- (10 (#Cons [[dummy-cursor (7 ["lux" "type-args"])]
- [dummy-cursor (9 (#Cons [dummy-cursor (5 "w")] #Nil))]]
- #Nil))]
+ (9 #1 (#Cons [[dummy-cursor (7 #0 ["lux" "type-args"])]
+ [dummy-cursor (9 #0 (#Cons [dummy-cursor (5 #0 "w")] #Nil))]]
+ #Nil))]
["Bit" "Nat" "Int" "Rev" "Frac" "Text" "Identifier" "Tag" "Form" "Tuple" "Record"]
#1)
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 14:25:48 +0000