Home
last modified time | relevance | path

Searched refs:branded (Results 1 – 25 of 718) sorted by relevance

12345678910>>...29

/dports/math/curv/curv-0.5/ideas/language/modular/branded/
H A DConstruction4 * Functions and records can be branded. A branded value prints as its brand.
10 * Each field of a record is branded or unbranded.
11 Orthogonal to this, a record is branded or unbranded.
13 * In addition, if a branded field B is selected from a branded record R
20 is to create a branded field.
22 surrounded by braces; branded fields are prefixed with '@'.
25 Orthogonal to this, a function is branded or unbranded.
30 or when a branded non-constructor is called.
40 a brand, then the resulting value will be branded.
101 f x = {= ... =}; -- a branded constructor function
[all …]
H A DPrologue62 was constructed. Only records and functions can be branded.
75 for branded functions.
78 are branded values. For example, if we evaluate this program:
87 Some of the variables in the standard library are branded.
96 Each field in a record is either branded or unbranded.
97 When you select a branded field B from a branded record R using R.B,
115 By convention, library constructor functions are branded.
118 * `colour` prints as `colour` (it is a branded function).
120 branded constructor function (`colour` is a curried function).
125 * To define a branded field within a scoped record literal,
[all …]
H A DSyntax1 Syntax for defining branded values
3 Most statically typed languages have syntax for 'branded' and 'unbranded'
4 type definitions. A "branded type definition" is a new type with nominal
6 What makes Curv different is that everything is a value, and a "branded value
13 -- a branded type declaration:
32 (* branded type declaration *)
H A DModule1 A "Module" is a branded record, or an anonymous record with branded fields.
H A DOld82 1. It is illegal to assign a field of a branded record.
95 Records cannot be branded or possess branded fields.
98 Note, branded fields are for static APIs, not for dynamic data.
155 1. Within a record literal, a branded field definition such as
159 If R is a branded record and B is a branded field within the record,
207 member functions can be branded, but those brands are ignored.
250 A branded parametric record prints as `brand{arguments}`.
275 Modules are typically branded, and have branded fields.
313 We need this because a branded record can be rebranded.
399 A prime motivation for branded values is to permit the Viewer
[all …]
H A DRepr8 expressions, and branded functions as names that point to the original
27 as `std.sin`. All branded functions print as absolute pathnames beginning
/dports/math/curv/curv-0.5/ideas/language/next/
H A DBranded21 defines a branded value whose brand is the identifier "B"
23 * If a branded module "M" has a branded member "f",
25 * A branded "constructor function" returns a branded value,
30 given a brand. You can also rebrand an already branded value.
60 * A branded value is an atom, a function, or a module.
63 * A branded value is a function, module or data constructor.
65 A branded value abstractly consists of a brand and a payload.
94 A branded definition is:
105 branded <bexpr>
118 you bind it using a branded definition.
[all …]
H A D_Branded252 Terminology: branded value, brand, branded definition
254 A branded definition is:
265 branded <bexpr>
328 branded <bexpr>
350 * branded:
368 branded f = x -> branded y -> branded z -> stuff
390 branded f = x -> branded y -> branded z -> stuff
397 def f = x -> branded y -> branded z -> stuff
415 * 'branded'
423 x -> branded y -> x + y branded {...}
[all …]
H A D__Branded4 Syntax for defining branded values.
133 * Modules can be branded.
216 A branded definition is:
223 branded <bexpr>
245 * branded:
263 branded f = x -> branded y -> branded z -> stuff
285 branded f = x -> branded y -> branded z -> stuff
292 def f = x -> branded y -> branded z -> stuff
310 * 'branded'
318 x -> branded y -> x + y branded {...}
[all …]
/dports/lang/spidermonkey78/firefox-78.9.0/browser/extensions/formautofill/content/
H A DmanageDialog.css83 #credit-cards.branded > option[cc-type="amex"]::before {
87 #credit-cards.branded > option[cc-type="cartebancaire"]::before {
91 #credit-cards.branded > option[cc-type="diners"]::before {
95 #credit-cards.branded > option[cc-type="discover"]::before {
99 #credit-cards.branded > option[cc-type="jcb"]::before {
103 #credit-cards.branded > option[cc-type="mastercard"]::before {
107 #credit-cards.branded > option[cc-type="mir"]::before {
111 #credit-cards.branded > option[cc-type="unionpay"]::before {
115 #credit-cards.branded > option[cc-type="visa"]::before {
120 #credit-cards.branded > option[cc-type="amex"]::before {
[all …]
/dports/www/firefox/firefox-99.0/browser/extensions/formautofill/content/
H A DmanageDialog.css80 #credit-cards.branded > option[cc-type="amex"]::before {
84 #credit-cards.branded > option[cc-type="cartebancaire"]::before {
88 #credit-cards.branded > option[cc-type="diners"]::before {
92 #credit-cards.branded > option[cc-type="discover"]::before {
96 #credit-cards.branded > option[cc-type="jcb"]::before {
100 #credit-cards.branded > option[cc-type="mastercard"]::before {
104 #credit-cards.branded > option[cc-type="mir"]::before {
108 #credit-cards.branded > option[cc-type="unionpay"]::before {
112 #credit-cards.branded > option[cc-type="visa"]::before {
117 #credit-cards.branded > option[cc-type="amex"]::before {
[all …]
/dports/www/firefox-esr/firefox-91.8.0/browser/extensions/formautofill/content/
H A DmanageDialog.css80 #credit-cards.branded > option[cc-type="amex"]::before {
84 #credit-cards.branded > option[cc-type="cartebancaire"]::before {
88 #credit-cards.branded > option[cc-type="diners"]::before {
92 #credit-cards.branded > option[cc-type="discover"]::before {
96 #credit-cards.branded > option[cc-type="jcb"]::before {
100 #credit-cards.branded > option[cc-type="mastercard"]::before {
104 #credit-cards.branded > option[cc-type="mir"]::before {
108 #credit-cards.branded > option[cc-type="unionpay"]::before {
112 #credit-cards.branded > option[cc-type="visa"]::before {
117 #credit-cards.branded > option[cc-type="amex"]::before {
[all …]
/dports/mail/thunderbird/thunderbird-91.8.0/browser/extensions/formautofill/content/
H A DmanageDialog.css80 #credit-cards.branded > option[cc-type="amex"]::before {
84 #credit-cards.branded > option[cc-type="cartebancaire"]::before {
88 #credit-cards.branded > option[cc-type="diners"]::before {
92 #credit-cards.branded > option[cc-type="discover"]::before {
96 #credit-cards.branded > option[cc-type="jcb"]::before {
100 #credit-cards.branded > option[cc-type="mastercard"]::before {
104 #credit-cards.branded > option[cc-type="mir"]::before {
108 #credit-cards.branded > option[cc-type="unionpay"]::before {
112 #credit-cards.branded > option[cc-type="visa"]::before {
117 #credit-cards.branded > option[cc-type="amex"]::before {
[all …]
/dports/math/curv/curv-0.5/ideas/language/parametric/
H A DA-Tutorial37 was constructed. Only modules and functions can be branded.
39 Some of the variables in the standard library are branded.
40 All of the standard functions and most of the standard records are branded.
44 Each field in a record is either branded or unbranded.
45 When you select a branded field B from a branded record R using R.B,
57 * To define a branded field within a record literal, use `@name = value`.
60 Constructor functions are normally branded as well, so the actual idiom is
63 A branded value has a __brand field.
H A DAbstract475 for branded functions.
96 Each field in a record is either branded or unbranded.
97 When you select a branded field B from a branded record R using R.B,
115 By convention, library constructor functions are branded.
118 * `colour` prints as `colour` (it is a branded function).
133 a brand, then the resulting value will be branded.
220 1. It is illegal to assign a field of a branded record.
233 Records cannot be branded or possess branded fields.
297 If R is a branded record and B is a branded field within the record,
413 Modules are typically branded, and have branded fields.
[all …]
/dports/devel/slibtool/slibtool-0.5.34/sofort/ccenv/
H A Dccenv.usage25 - branded names (llvm-ar, llvm-nm, llvm-objdump, ...)
27 - machine-prefixed branded names (x86_64-linux-gnu-gcc-ar, ...)
28 - machine-specifying branded tools, as in
34 - machine-prefixed branded tools, starting with the prefix
38 - (machine-speficying) branded tools, starting once again with the
45 - machine-prefixed branded tools
46 - branded tools
56 - --zealous=<prefix> --> only search for <prefix>-branded tools
/dports/devel/py-twilio/twilio-7.4.0/twilio/rest/insights/v1/
H A Dcall_summaries.py35 to_country_code=values.unset, branded=values.unset, argument
85 branded=branded,
104 to_country_code=values.unset, branded=values.unset, argument
151 branded=branded,
169 to_country_code=values.unset, branded=values.unset, argument
213 'Branded': branded,
/dports/deskutils/owncloudclient/ownCloud-2.8.2.4246/changelog/2.7.6_2021-02-04/
H A D43871 Bugfix: Fix missing sidebar icons on Mac with branded builds
3 We fixed an issue where branded client where lacking the sidebar icons.
/dports/lang/v8/v8-9.6.180.12/build/config/
H A Ddevtools.gni14 # devtools_location points to the Chromium version in both Chrome-branded
15 # and not Chrome-branded builds. devtools_root_location points to the root
16 # of the Chrome-branded version when is_chrome_branded is true and to the root
/dports/deskutils/owncloudclient/ownCloud-2.8.2.4246/changelog/2.7.5_2021-01-28/
H A D43631 Bugfix: Support dark theme with branded client and vanilla icons
3 We fixed a bug where the dark vanilla icons where used with a branded client.
/dports/www/py-protego/Protego-0.1.16/tests/test_data/
H A Dwww.gq.com6 Disallow: /branded/
13 Sitemap: https://www.gq.com/branded-sitemap.xml
/dports/math/curv/curv-0.5/ideas/language/structure/
H A DKeyed_Structure84 * Abstract/branded values are records with metadata (a brand; branded vs
144 In the Abstract (Branded) Value proposal, each record field is either branded
148 Updating a branded field is problematic.
153 Updating a field of a branded record is problematic.
171 semantics. Modules are branded, and have branded fields.
198 Module and function values can be branded (records cannot). A module contains
199 a mix of branded and unbranded fields. Only a module or function can be bound
200 to a branded field. An unbranded field can also be bound to a module/function
/dports/devel/capnproto/capnproto-0.9.0/c++/src/capnp/compiler/
H A Dcapnp-test.sh82 …DIR/capnp/test.capnp" BrandedAlias)" = '(foo = (text = "abc"), uv = void)' ] || fail branded alias
83 …"$SRCDIR/capnp/test.capnp" BrandedAlias.Inner)" = '(foo = (text = "abc"))' ] || fail branded alias
84 …p" 'TestGenerics(BoxedText, Text)')" = '(foo = (text = "abc"), uv = void)' ] || fail branded alias
85 …TestAllTypes, List(Int32)).Inner2(BoxedText)')" = '(baz = (text = "abc"))' ] || fail branded alias
/dports/www/grafana8/grafana-8.3.6/packages/grafana-ui/src/components/InfoBox/
H A DInfoBox.tsx17 branded?: boolean;
27 …({ title, className, children, branded, url, urlTitle, onDismiss, severity = 'info', ...otherProps…
/dports/math/curv/curv-0.5/ideas/language/
H A DDict_Record_Module22 Modules are typically branded, and have branded fields.
87 * A module can be branded. Each field can be either branded or unbranded.

12345678910>>...29