all repos — min @ 19ef6c32cc389e46cb2796198e58bc35a69115c8

A small but practical concatenative programming language.

site/contents/reference.md

 1
 2
 3
 4
 5
 6
 7
 8
 9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
 100
 101
 102
 103
 104
 105
 106
 107
 108
 109
 110
 111
 112
 113
 114
 115
 116
 117
 118
 119
 120
 121
 122
 123
 124
 125
 126
 127
 128
 129
 130
 131
 132
 133
 134
 135
 136
 137
 138
 139
 140
 141
 142
 143
 144
 145
 146
 147
 148
 149
 150
 151
 152
 153
 154
 155
 156
 157
 158
 159
 160
 161
 162
 163
 164
 165
 166
 167
 168
 169
 170
 171
 172
 173
 174
 175
 176
 177
 178
 179
 180
 181
 182
 183
 184
 185
 186
 187
 188
 189
 190
 191
 192
 193
 194
 195
 196
 197
 198
 199
 200
 201
 202
 203
 204
 205
 206
 207
 208
 209
 210
 211
 212
 213
 214
 215
 216
 217
 218
 219
 220
 221
 222
 223
 224
 225
 226
 227
 228
 229
 230
 231
 232
-----
content-type: "page"
title: "Reference"
-----
{@ _defs_.md || 0 @}

min includes a small but powerful standard library organized into the following _modules_:

{#link-module||global#}
: Defines the basic language constructs, such as control flow, type conversions, symbol definition and binding, exception handling,  etc.
{#link-module||stack#}
: Defines combinators and stack-shufflers like dip, dup, swap, cons, etc.
{#link-module||seq#}
: Defines operators for quotations, like map, filter, reduce, etc.
{#link-module||dict#}
: Defines operators for dictionaries, like dget, ddup, dset, etc.
{#link-module||dstore#}
: Provides support for simple, persistent, in-memory JSON stores.
{#link-module||io#}
: Provides operators for reading and writing files as well as printing to STDOUT and reading from STDIN.
{#link-module||fs#}
: Provides operators for accessing file information and properties. 
{#link-module||str#}
: Provides operators to perform operations on strings, use regular expressions, interpolation, etc.
{#link-module||sys#}
: Provides operators to use as basic shell commands, access environment variables, and execute external commands.
{#link-module||time#}
: Provides a few basic operators to manage dates, times, and timestamps.
{#link-module||crypto#}
: Provides operators to compute hashes (MD4, MD5, SHA1, SHA224, SHA256, SHA384, sha512), base64 encoding/decoding, and AES encryption/decryption.
{#link-module||math#}
: Provides many mathematical operators and constants such as trigonometric functions, square root, logarithms, etc.
{#link-module||net#}
: Provides basic supports for sockets (some features are not supported on Windows systems).
{#link-module||http#}
: Provides operators to perform HTTP requests, download files and create basic HTTP servers.
{#link-module||xml#}
: Provides operators for parsing, creating and querying XML/HTML code using CSS selectors.

## Notation

The following notation is used in the signature of all min operators:

### Types and Values

{{none}}
: No value.
{{null}}
: null value
{{any}}
: A value of any type.
{{b}}
: A boolean value
{{i}}
: An integer value.
{{flt}}
: A float value.
{{n}}
: A numeric (integer or float) value.
{{s}}
: A string value.
{{sl}}
: A string-like value (string or quoted symbol).
{{q}}
: A quotation (also expressed as parenthesis enclosing other values).
{{d}}
: A dictionary value.
{{help}}
: A help dictionary:

      {
       "puts" :name
       "symbol" :kind
       "a ==>" :signature
       "Prints a and a new line to STDOUT." :description
       ;help
      }
{{url}}
: An URL dictionary:

      {
       "http" :scheme
       "h3rald" :hostname
       "" :port
       "" :username
       "" :password
       "/min" :path
       "" :anchor
       "" :query
       ;url
      }
{{tinfo}}
: A timeinfo dictionary:

      {
       2017 :year
       7 :month
       8 :day
       6 :weekday
       188 :yearday
       15 :hour
       16 :minute
       25 :second
       true :dst
       -3600 :timezone ;UTC offset
       ;timeinfo
      }
{{e}}
: An error dictionary:

      {
       "MyError" :error
       "An error occurred" :message
       "symbol1" :symbol
       "dir1/file1.min" :filename
       3 :line
       13 :column
       ;error
      }
{{sock}}
: A socket dictionary that must be created through the {#link-operator||net||socket#} operator:

      {
       "ipv4" :domain
       "stream" :type
       "tcp" :protocol
       ;socket
      }
{{rawval}}
: A raw value dictionary obtained via the {#link-operator||seq||get-raw#} or {#link-operator||dict||dget-raw#} operators:

      {
       "sym" :type
       "my-symbol" :str
       my-symbol :val
       ;rawval
      }
{{dstore}}
: A datastore dictionary that must be created through the {#link-operator||dstore||dsinit#} or {#link-operator||dstore||dsread#} operator:

      {
       {} :data
       "path/to/file.json" :path
       ;datastore
      }
{{req}}
: A request dictionary, representing an HTTP request to be performed through the operators exposed by the {#link-module||http#}:

      {
       "http://httpbin.org/put" :url
       "PUT" :method
       "1.1" :version         ;optional
       "h3rald.com" :hostname ;optional
       {                      
        "it-id" :Accept-Language
        "httpbin.org" :Host
       } :headers             ;optional
       "test body" :body      ;optional
       ;http-request
      }
{{res}}
: A response dictionary, representing an HTTP response returned by some of the operators exposed by the {#link-module||http#}:

      {
        "1.1" :version ;optional
        200 :status    ;optional
        {
          "application/json" :Content-Type
        } :headers     ;optional
        "{\"test\": \"This is a test\"}" :body
        ;http-response
      }
{{xelement}}
: A dictionary representing an XML or HTML element, exposed by the {#link-module||xml#}

      {
        {"https://min-lang.org" :href} :attributes
        ({"min web site" :text}) :children
        "a" :tag
        ;xml-element
      }
{{xcomment}}
: A dictionary representing an XML comment.

      {
        "This is a comment" :text
        ;xml-comment
      }
{{xcdata}}
: A dictionary representing XML CDATA text.

      {
        "This is some text" :text
        ;xml-cdata
      }
{{xentity}}
: A dictionary representing an XML entity.

      {
        "amp" :text
        ;xml-entity
      }
{{xtext}}
: A dictionary representing XML text.

      {
        "This is some text" :text
        ;xml-text
      }
{{xnode}}
: A typealias to identify all XML dictionary types.

      dict:xml-element||dict:xml-text||dict:xml-comment||dict:xml-entity||dict:xml-cdata

### Suffixes

The following suffixes can be placed at the end of a value or type to indicate ordering or quantities.

{{1}}
: The first value of the specified type.
{{2}}
: The second value of the specified type.
{{3}}
: The third value of the specified type.
{{4}}
: The fourth value of the specified type.
{{01}}
: Zero or one.
{{0p}}
: Zero or more.
{{1p}}
: One or more