diff options
Diffstat (limited to 'stdlib/source/library/lux/data/format')
11 files changed, 50 insertions, 50 deletions
diff --git a/stdlib/source/library/lux/data/format/css.lux b/stdlib/source/library/lux/data/format/css.lux index 4fc18ca76..f3f5c445f 100644 --- a/stdlib/source/library/lux/data/format/css.lux +++ b/stdlib/source/library/lux/data/format/css.lux @@ -13,7 +13,7 @@ [number ["[0]" nat]]] [type - [abstract {"-" Frame pattern}]] + [primitive {"-" Frame pattern}]] [world [net {"+" URL}]]]] ["[0]" / "_" @@ -24,10 +24,10 @@ ["[1][0]" style] ["[1][0]" query {"+" Query}]]) -(abstract: .public Common Any) -(abstract: .public Special Any) +(primitive: .public Common Any) +(primitive: .public Special Any) -(abstract: .public (CSS brand) +(primitive: .public (CSS brand) Text (def: .public css diff --git a/stdlib/source/library/lux/data/format/css/class.lux b/stdlib/source/library/lux/data/format/css/class.lux index 59aa80efb..4c9018688 100644 --- a/stdlib/source/library/lux/data/format/css/class.lux +++ b/stdlib/source/library/lux/data/format/css/class.lux @@ -11,9 +11,9 @@ [syntax {"+" syntax:}] ["[0]" code]] [type - [abstract "*"]]]]) + [primitive "*"]]]]) -(abstract: .public Class +(primitive: .public Class Text (def: .public class diff --git a/stdlib/source/library/lux/data/format/css/id.lux b/stdlib/source/library/lux/data/format/css/id.lux index ea1d66aa5..8eb73d0e7 100644 --- a/stdlib/source/library/lux/data/format/css/id.lux +++ b/stdlib/source/library/lux/data/format/css/id.lux @@ -11,9 +11,9 @@ [syntax {"+" syntax:}] ["[0]" code]] [type - [abstract "*"]]]]) + [primitive "*"]]]]) -(abstract: .public ID +(primitive: .public ID Text (def: .public id diff --git a/stdlib/source/library/lux/data/format/css/property.lux b/stdlib/source/library/lux/data/format/css/property.lux index 5035ee8de..821b4b03f 100644 --- a/stdlib/source/library/lux/data/format/css/property.lux +++ b/stdlib/source/library/lux/data/format/css/property.lux @@ -7,7 +7,7 @@ [data ["[0]" text]] [type - [abstract "*"]] + [primitive "*"]] [macro ["[0]" template] ["[0]" code] @@ -57,7 +57,7 @@ (syntax: (text_symbol [symbol s.text]) (in (list (code.local (text.replaced "-" "_" symbol))))) -(abstract: .public (Property brand) +(primitive: .public (Property brand) Text (def: .public name diff --git a/stdlib/source/library/lux/data/format/css/query.lux b/stdlib/source/library/lux/data/format/css/query.lux index 18ab53a99..697529704 100644 --- a/stdlib/source/library/lux/data/format/css/query.lux +++ b/stdlib/source/library/lux/data/format/css/query.lux @@ -12,7 +12,7 @@ ["[0]" code] [syntax {"+" syntax:}]] [type - [abstract "*"]]]] + [primitive "*"]]]] ["[0]" // "_" ["[1][0]" value {"+" Value Length Count Resolution Ratio Orientation Scan Boolean Update @@ -24,7 +24,7 @@ (syntax: (text_symbol [symbol s.text]) (in (list (code.local (text.replaced "-" "_" symbol))))) -(abstract: .public Media +(primitive: .public Media Text (def: .public media @@ -42,7 +42,7 @@ ["speech"] )) -(abstract: .public Feature +(primitive: .public Feature Text (def: .public feature @@ -102,7 +102,7 @@ ) ) -(abstract: .public Query +(primitive: .public Query Text (def: .public query diff --git a/stdlib/source/library/lux/data/format/css/selector.lux b/stdlib/source/library/lux/data/format/css/selector.lux index 405af9952..c1fece6e7 100644 --- a/stdlib/source/library/lux/data/format/css/selector.lux +++ b/stdlib/source/library/lux/data/format/css/selector.lux @@ -9,7 +9,7 @@ [number ["i" int]]] [type - [abstract "*"]] + [primitive "*"]] [macro ["[0]" template]]]] ["[0]" // "_" @@ -21,21 +21,21 @@ (type: .public Tag Label) (type: .public Attribute Label) -(abstract: .public (Generic brand) Any) +(primitive: .public (Generic brand) Any) (template [<generic> <brand>] - [(abstract: <brand> Any) + [(primitive: <brand> Any) (type: .public <generic> (Generic <brand>))] [Can_Chain Can_Chain'] [Cannot_Chain Cannot_Chain'] ) -(abstract: .public Unique Any) -(abstract: .public Specific Any) -(abstract: .public Composite Any) +(primitive: .public Unique Any) +(primitive: .public Specific Any) +(primitive: .public Composite Any) -(abstract: .public (Selector kind) +(primitive: .public (Selector kind) Text (def: .public selector @@ -167,7 +167,7 @@ (format ":not") abstraction)) - (abstract: .public Index + (primitive: .public Index Text (def: .public index diff --git a/stdlib/source/library/lux/data/format/css/style.lux b/stdlib/source/library/lux/data/format/css/style.lux index 6404b2216..424a16d66 100644 --- a/stdlib/source/library/lux/data/format/css/style.lux +++ b/stdlib/source/library/lux/data/format/css/style.lux @@ -7,12 +7,12 @@ [collection ["[0]" list ("[1]#[0]" mix)]]] [type - [abstract "*"]]]] + [primitive "*"]]]] ["[0]" // "_" ["[1][0]" value {"+" Value}] ["[1][0]" property {"+" Property}]]) -(abstract: .public Style +(primitive: .public Style Text (def: .public empty diff --git a/stdlib/source/library/lux/data/format/css/value.lux b/stdlib/source/library/lux/data/format/css/value.lux index 481d2996c..01c011ac3 100644 --- a/stdlib/source/library/lux/data/format/css/value.lux +++ b/stdlib/source/library/lux/data/format/css/value.lux @@ -23,7 +23,7 @@ ["r" rev] ["f" frac]]] [type - [abstract "*"]] + [primitive "*"]] [world [net {"+" URL}]]]] [// @@ -33,7 +33,7 @@ (in (list (code.local (text.replaced "-" "_" symbol))))) (template: (enumeration: <abstraction> <representation> <out> <sample>+ <definition>+) - [(abstract: .public <abstraction> + [(primitive: .public <abstraction> <representation> (def: .public <out> @@ -62,7 +62,7 @@ raw (|> raw (text.split_at 1) maybe.trusted product.right)))) -(abstract: .public (Value brand) +(primitive: .public (Value brand) Text (def: .public value @@ -77,11 +77,11 @@ [unset "unset"] ) - (abstract: .public (Numeric kind) Any) + (primitive: .public (Numeric kind) Any) (template [<name>] [(with_expansions [<name>' (template.symbol [<name> "'"])] - (abstract: .public <name>' Any) + (primitive: .public <name>' Any) (type: .public <name> (Numeric <name>')))] @@ -92,7 +92,7 @@ ) (template [<brand> <alias>+ <value>+] - [(abstract: .public <brand> Any) + [(primitive: .public <brand> Any) (`` (template [<name> <value>] [(def: .public <name> @@ -892,7 +892,7 @@ (abstraction (format (%.nat horizontal) ..slice_separator (%.nat vertical)))) - (abstract: .public Stop + (primitive: .public Stop Text (def: .public stop @@ -912,7 +912,7 @@ (representation Value start) ..stop_separator (representation Value end)))) - (abstract: .public Hint + (primitive: .public Hint Text (def: .public hint @@ -931,7 +931,7 @@ (type: .public (List/1 a) [a (List a)]) - (abstract: .public Angle + (primitive: .public Angle Text (def: .public angle diff --git a/stdlib/source/library/lux/data/format/html.lux b/stdlib/source/library/lux/data/format/html.lux index 0a1c861fc..b1ebb9a65 100644 --- a/stdlib/source/library/lux/data/format/html.lux +++ b/stdlib/source/library/lux/data/format/html.lux @@ -15,7 +15,7 @@ [target ["[0]" js]] [type - [abstract "*"]] + [primitive "*"]] [world [net {"+" URL}]]]] [// @@ -79,11 +79,11 @@ (-> Tag Text) (text.enclosed ["</" ">"])) -(abstract: .public (HTML brand) +(primitive: .public (HTML brand) Text (.template [<name> <brand>] - [(abstract: <brand> Any) + [(primitive: <brand> Any) (type: .public <name> (HTML <brand>))] [Meta Meta'] @@ -101,11 +101,11 @@ ) (.template [<super> <super_raw> <sub>+] - [(abstract: (<super_raw> brand) Any) + [(primitive: (<super_raw> brand) Any) (type: .public <super> (HTML (<super_raw> Any))) (`` (.template [<sub> <sub_raw>] - [(abstract: <sub_raw> Any) + [(primitive: <sub_raw> Any) (type: .public <sub> (HTML (<super_raw> <sub_raw>)))] (~~ (template.spliced <sub>+))))] diff --git a/stdlib/source/library/lux/data/format/markdown.lux b/stdlib/source/library/lux/data/format/markdown.lux index f9acd6890..ed56b0853 100644 --- a/stdlib/source/library/lux/data/format/markdown.lux +++ b/stdlib/source/library/lux/data/format/markdown.lux @@ -7,7 +7,7 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] [type - [abstract "*"]] + [primitive "*"]] [world [net {"+" URL}]]]]) @@ -31,10 +31,10 @@ (text.replaced "." "\.") (text.replaced "!" "\!"))) -(abstract: .public Span Any) -(abstract: .public Block Any) +(primitive: .public Span Any) +(primitive: .public Block Any) -(abstract: .public (Markdown brand) +(primitive: .public (Markdown brand) Text (def: .public empty diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux index b1ceb5bbf..7cdd1cf58 100644 --- a/stdlib/source/library/lux/data/format/tar.lux +++ b/stdlib/source/library/lux/data/format/tar.lux @@ -37,7 +37,7 @@ [world ["[0]" file]] [type - [abstract "*"]]]]) + [primitive "*"]]]]) (type: Size Nat) @@ -76,7 +76,7 @@ "Value" (%.nat value) "Maximum" (%.nat (-- <limit>)))) - (abstract: .public <type> + (primitive: .public <type> Nat (def: .public (<in> value) @@ -161,7 +161,7 @@ [value (# n.octal decoded digits)] (..big value))))) -(abstract: Checksum +(primitive: Checksum Text (def: from_checksum @@ -250,7 +250,7 @@ (binary!.slice 0 (++ end) string)))))))) (template [<type> <representation> <size> <exception> <in> <out> <writer> <parser> <none>] - [(abstract: .public <type> + [(primitive: .public <type> <representation> (exception: .public (<exception> [value Text]) @@ -307,7 +307,7 @@ (def: magic_size Size 7) -(abstract: Magic +(primitive: Magic Text (def: ustar @@ -394,7 +394,7 @@ ... devminor (..small_number ..device_size))) -(abstract: Link_Flag +(primitive: Link_Flag Char (def: link_flag @@ -442,7 +442,7 @@ (exception.except ..invalid_link_flag [(.nat it)])))))) ) -(abstract: .public Mode +(primitive: .public Mode Nat (def: .public mode @@ -530,7 +530,7 @@ (list.repeated ..content_size) (list#mix n.* 1))) -(abstract: .public Content +(primitive: .public Content [Big Binary] (def: .public (content content) |