[add] lib:plankton
Christian Fraß authored 3 years ago
|
lib/plankton/trait/logic-decl.d.ts 1) declare module lib_trait {
lib/plankton/trait/logic-decl.d.ts 2) }
lib/plankton/trait/logic-decl.d.ts 3) /**
lib/plankton/trait/logic-decl.d.ts 4) * @author fenris
lib/plankton/trait/logic-decl.d.ts 5) */
lib/plankton/trait/logic-decl.d.ts 6) declare module lib_trait {
lib/plankton/trait/logic-decl.d.ts 7) /**
lib/plankton/trait/logic-decl.d.ts 8) * @author fenris
lib/plankton/trait/logic-decl.d.ts 9) */
lib/plankton/trait/logic-decl.d.ts 10) var _verbosity: number;
lib/plankton/trait/logic-decl.d.ts 11) /**
lib/plankton/trait/logic-decl.d.ts 12) * @author fenris
lib/plankton/trait/logic-decl.d.ts 13) */
lib/plankton/trait/logic-decl.d.ts 14) var _logprefix: string;
lib/plankton/trait/logic-decl.d.ts 15) /**
lib/plankton/trait/logic-decl.d.ts 16) * @author fenris
lib/plankton/trait/logic-decl.d.ts 17) */
lib/plankton/trait/logic-decl.d.ts 18) type type_domainparameters = {
lib/plankton/trait/logic-decl.d.ts 19) [key: string]: any;
lib/plankton/trait/logic-decl.d.ts 20) };
lib/plankton/trait/logic-decl.d.ts 21) /**
lib/plankton/trait/logic-decl.d.ts 22) * @author fenris
lib/plankton/trait/logic-decl.d.ts 23) */
lib/plankton/trait/logic-decl.d.ts 24) type type_domain = {
lib/plankton/trait/logic-decl.d.ts 25) kind: string;
lib/plankton/trait/logic-decl.d.ts 26) parameters?: type_domainparameters;
lib/plankton/trait/logic-decl.d.ts 27) };
lib/plankton/trait/logic-decl.d.ts 28) /**
lib/plankton/trait/logic-decl.d.ts 29) * @author fenris
lib/plankton/trait/logic-decl.d.ts 30) */
lib/plankton/trait/logic-decl.d.ts 31) type type_instance<type_value> = {
lib/plankton/trait/logic-decl.d.ts 32) domain: type_domain;
lib/plankton/trait/logic-decl.d.ts 33) value: type_value;
lib/plankton/trait/logic-decl.d.ts 34) };
lib/plankton/trait/logic-decl.d.ts 35) /**
lib/plankton/trait/logic-decl.d.ts 36) * @author fenris
lib/plankton/trait/logic-decl.d.ts 37) */
lib/plankton/trait/logic-decl.d.ts 38) type type_handler = (domain_parameters?: type_domainparameters) => any;
lib/plankton/trait/logic-decl.d.ts 39) /**
lib/plankton/trait/logic-decl.d.ts 40) * @author fenris
lib/plankton/trait/logic-decl.d.ts 41) */
lib/plankton/trait/logic-decl.d.ts 42) type type_facet_raw = {
lib/plankton/trait/logic-decl.d.ts 43) shape?: lib_shape.type_shape;
lib/plankton/trait/logic-decl.d.ts 44) description?: string;
lib/plankton/trait/logic-decl.d.ts 45) implementation?: Function;
lib/plankton/trait/logic-decl.d.ts 46) };
lib/plankton/trait/logic-decl.d.ts 47) /**
lib/plankton/trait/logic-decl.d.ts 48) * @author fenris
lib/plankton/trait/logic-decl.d.ts 49) */
lib/plankton/trait/logic-decl.d.ts 50) type type_condition = (attends: (trait_id: string, domain: type_domain) => boolean) => ((domain_parameters: type_domainparameters) => boolean);
lib/plankton/trait/logic-decl.d.ts 51) /**
lib/plankton/trait/logic-decl.d.ts 52) * @author fenris
lib/plankton/trait/logic-decl.d.ts 53) */
lib/plankton/trait/logic-decl.d.ts 54) type type_typechecker = (value: any, shape: lib_shape.type_shape, logger: (message: string) => void) => boolean;
lib/plankton/trait/logic-decl.d.ts 55) /**
lib/plankton/trait/logic-decl.d.ts 56) * @author fenris
lib/plankton/trait/logic-decl.d.ts 57) */
lib/plankton/trait/logic-decl.d.ts 58) function set_typechecker(typechecker: type_typechecker): void;
lib/plankton/trait/logic-decl.d.ts 59) /**
lib/plankton/trait/logic-decl.d.ts 60) * @author fenris
lib/plankton/trait/logic-decl.d.ts 61) */
lib/plankton/trait/logic-decl.d.ts 62) function domain_instance<type_value>(domain: type_domain, value: type_value): type_instance<type_value>;
lib/plankton/trait/logic-decl.d.ts 63) /**
lib/plankton/trait/logic-decl.d.ts 64) * @desc adds a trait
lib/plankton/trait/logic-decl.d.ts 65) * @author fenris
lib/plankton/trait/logic-decl.d.ts 66) */
lib/plankton/trait/logic-decl.d.ts 67) function define(trait_id: string, variable_conditions: {
lib/plankton/trait/logic-decl.d.ts 68) [variable_name: string]: Array<string>;
lib/plankton/trait/logic-decl.d.ts 69) }, facets_raw: {
lib/plankton/trait/logic-decl.d.ts 70) [facet_name: string]: type_facet_raw;
lib/plankton/trait/logic-decl.d.ts 71) }): void;
lib/plankton/trait/logic-decl.d.ts 72) /**
lib/plankton/trait/logic-decl.d.ts 73) * @desc adhoc binding
lib/plankton/trait/logic-decl.d.ts 74) * @author fenris
lib/plankton/trait/logic-decl.d.ts 75) */
lib/plankton/trait/logic-decl.d.ts 76) function attend(trait_id: string, domain_kind: string, bindings: {
lib/plankton/trait/logic-decl.d.ts 77) [variable_name: string]: lib_shape.type_shape;
lib/plankton/trait/logic-decl.d.ts 78) }, handlers: {
lib/plankton/trait/logic-decl.d.ts 79) [facet_name: string]: type_handler;
lib/plankton/trait/logic-decl.d.ts 80) }, condition?: type_condition): void;
lib/plankton/trait/logic-decl.d.ts 81) /**
lib/plankton/trait/logic-decl.d.ts 82) * @desc calls a facet from a trait according to a given domain
lib/plankton/trait/logic-decl.d.ts 83) * @author fenris
lib/plankton/trait/logic-decl.d.ts 84) */
lib/plankton/trait/logic-decl.d.ts 85) function call(trait_id: string, facet_name: string, domain: type_domain, check?: boolean): any;
lib/plankton/trait/logic-decl.d.ts 86) /**
lib/plankton/trait/logic-decl.d.ts 87) * @author fenris
lib/plankton/trait/logic-decl.d.ts 88) */
lib/plankton/trait/logic-decl.d.ts 89) function explain(trait_id: string): string;
lib/plankton/trait/logic-decl.d.ts 90) /**
lib/plankton/trait/logic-decl.d.ts 91) * @author fenris
lib/plankton/trait/logic-decl.d.ts 92) */
lib/plankton/trait/logic-decl.d.ts 93) function explain_all(): string;
lib/plankton/trait/logic-decl.d.ts 94) }
lib/plankton/trait/logic-decl.d.ts 95) /**
lib/plankton/trait/logic-decl.d.ts 96) * @author fenris
lib/plankton/trait/logic-decl.d.ts 97) */
lib/plankton/trait/logic-decl.d.ts 98) declare module lib_trait {
lib/plankton/trait/logic-decl.d.ts 99) /**
lib/plankton/trait/logic-decl.d.ts 100) * @desc the ability to check for equality with another element of the same domain
lib/plankton/trait/logic-decl.d.ts 101) * @author fenris
lib/plankton/trait/logic-decl.d.ts 102) */
lib/plankton/trait/logic-decl.d.ts 103) function define_collatable(): void;
lib/plankton/trait/logic-decl.d.ts 104) /**
lib/plankton/trait/logic-decl.d.ts 105) * @author fenris
lib/plankton/trait/logic-decl.d.ts 106) */
lib/plankton/trait/logic-decl.d.ts 107) function _collate(instance: any, other: any, domain?: {
|
|
[upd] server:lib:plankton
Christian Fraß authored 3 years ago
|
server/lib/plankton/trait/logic-decl.d.ts 108) kind: string;
|
|
[add] lib:plankton
Christian Fraß authored 3 years ago
|
lib/plankton/trait/logic-decl.d.ts 109) }): boolean;
lib/plankton/trait/logic-decl.d.ts 110) }
lib/plankton/trait/logic-decl.d.ts 111) /**
lib/plankton/trait/logic-decl.d.ts 112) * @author fenris
lib/plankton/trait/logic-decl.d.ts 113) */
lib/plankton/trait/logic-decl.d.ts 114) declare module lib_trait {
lib/plankton/trait/logic-decl.d.ts 115) /**
lib/plankton/trait/logic-decl.d.ts 116) * @desc the ability to compare with another element of the same domain for determining if the first is "smaller than or equal to" the latter
lib/plankton/trait/logic-decl.d.ts 117) * @author fenris
lib/plankton/trait/logic-decl.d.ts 118) */
lib/plankton/trait/logic-decl.d.ts 119) function define_comparable(): void;
lib/plankton/trait/logic-decl.d.ts 120) /**
lib/plankton/trait/logic-decl.d.ts 121) * @author fenris
lib/plankton/trait/logic-decl.d.ts 122) */
lib/plankton/trait/logic-decl.d.ts 123) function _compare(instance: any, other: any, domain?: {
|
|
[upd] server:lib:plankton
Christian Fraß authored 3 years ago
|
server/lib/plankton/trait/logic-decl.d.ts 124) kind: string;
|
|
[add] lib:plankton
Christian Fraß authored 3 years ago
|
lib/plankton/trait/logic-decl.d.ts 125) }): boolean;
lib/plankton/trait/logic-decl.d.ts 126) }
lib/plankton/trait/logic-decl.d.ts 127) /**
lib/plankton/trait/logic-decl.d.ts 128) * @author fenris
lib/plankton/trait/logic-decl.d.ts 129) */
lib/plankton/trait/logic-decl.d.ts 130) declare module lib_trait {
lib/plankton/trait/logic-decl.d.ts 131) /**
lib/plankton/trait/logic-decl.d.ts 132) * @desc the ability to create an exact copy
lib/plankton/trait/logic-decl.d.ts 133) * @author fenris
lib/plankton/trait/logic-decl.d.ts 134) */
lib/plankton/trait/logic-decl.d.ts 135) function define_clonable(): void;
lib/plankton/trait/logic-decl.d.ts 136) /**
lib/plankton/trait/logic-decl.d.ts 137) * @author fenris
lib/plankton/trait/logic-decl.d.ts 138) */
lib/plankton/trait/logic-decl.d.ts 139) function _clone(instance: any, domain?: {
|
|
[upd] server:lib:plankton
Christian Fraß authored 3 years ago
|
server/lib/plankton/trait/logic-decl.d.ts 140) kind: string;
|
|
[add] lib:plankton
Christian Fraß authored 3 years ago
|
lib/plankton/trait/logic-decl.d.ts 141) }): any;
lib/plankton/trait/logic-decl.d.ts 142) }
lib/plankton/trait/logic-decl.d.ts 143) /**
lib/plankton/trait/logic-decl.d.ts 144) * @author fenris
lib/plankton/trait/logic-decl.d.ts 145) */
lib/plankton/trait/logic-decl.d.ts 146) declare module lib_trait {
lib/plankton/trait/logic-decl.d.ts 147) /**
lib/plankton/trait/logic-decl.d.ts 148) * @desc the ability to generate a string out of the element, which identifies it to a high degree
lib/plankton/trait/logic-decl.d.ts 149) * @author fenris
lib/plankton/trait/logic-decl.d.ts 150) */
lib/plankton/trait/logic-decl.d.ts 151) function define_hashable(): void;
lib/plankton/trait/logic-decl.d.ts 152) /**
lib/plankton/trait/logic-decl.d.ts 153) * @author fenris
lib/plankton/trait/logic-decl.d.ts 154) */
lib/plankton/trait/logic-decl.d.ts 155) function _hash(instance: any, domain?: {
|
|
[upd] server:lib:plankton
Christian Fraß authored 3 years ago
|
server/lib/plankton/trait/logic-decl.d.ts 156) kind: string;
|
|
[add] lib:plankton
Christian Fraß authored 3 years ago
|
lib/plankton/trait/logic-decl.d.ts 157) }): string;
lib/plankton/trait/logic-decl.d.ts 158) }
lib/plankton/trait/logic-decl.d.ts 159) /**
lib/plankton/trait/logic-decl.d.ts 160) * @author fenris
lib/plankton/trait/logic-decl.d.ts 161) */
lib/plankton/trait/logic-decl.d.ts 162) declare module lib_trait {
lib/plankton/trait/logic-decl.d.ts 163) /**
lib/plankton/trait/logic-decl.d.ts 164) * @desc the ability to map the element to a textual representation (most likely not injective)
lib/plankton/trait/logic-decl.d.ts 165) * @author fenris
lib/plankton/trait/logic-decl.d.ts 166) */
lib/plankton/trait/logic-decl.d.ts 167) function define_showable(): void;
lib/plankton/trait/logic-decl.d.ts 168) /**
lib/plankton/trait/logic-decl.d.ts 169) * @author fenris
lib/plankton/trait/logic-decl.d.ts 170) */
lib/plankton/trait/logic-decl.d.ts 171) function _show(instance: any, domain?: {
|
|
[upd] server:lib:plankton
Christian Fraß authored 3 years ago
|
server/lib/plankton/trait/logic-decl.d.ts 172) kind: string;
|
[add] lib:plankton