precept.util — precept 0.5.0-alpha

add-to-unique-index! clj/s

(add-to-unique-index! fact ks)

Prepreds :unique to keyseq path in second argument. Overwrites existing value and returns it if found.

any-Tuple? clj/s

(any-Tuple? x)

check-unique-conflict clj/s

(check-unique-conflict fact ks)

clara-tups->maps clj/s

(clara-tups->maps tups)

Takes seq of ms with keys :?e :?a :?v, joins on :?e and returns vec of ms (one m for each entity)

conflicting-logical-fact-error clj/s

(conflicting-logical-fact-error facts to-insert to-retract)

conform-insertions-and-retractions! clj/s

(conform-insertions-and-retractions! facts)

dissoc-in clj/s

(dissoc-in m [k & ks :as keys])

Dissociates an entry from a nested associative structure returning a new nested structure. keys is a sequence of keys. Any empty maps that result will not be present in the new structure.

entity-map->Tuples clj/s

(entity-map->Tuples m)

Transforms entity map to Tuple record {a1 v1 a2 v2 :db/id eid} -> [(Tuple eid a1 v1 t)...]

entity-Tuples->entity-maps clj/s

(entity-Tuples->entity-maps coll)

fact-index-path clj/s

(fact-index-path fact)

Returns path to store and access a fact in fact-index according to the fact's cardinality, uniqueness

fact-index-paths clj/s

(fact-index-paths fact)

Returns all index paths for a given fact as [[]...]

find-sub-by-name clj/s

(find-sub-by-name name)

gen-Tuples-from-map clj/s

(gen-Tuples-from-map m)

get-index-of clj/s

(get-index-of coll x not-found-idx)

guid clj/s

(guid)

insert clj/s

(insert session facts)

Inserts facts from outside rule context. Accepts [e a v], [[e a v]...], {}, [{}...], where {} is a Datomic-style entity map

insert! clj/s

(insert! facts)

Insert facts logically within rule context

insert-unconditional! clj/s

(insert-unconditional! facts)

Insert facts unconditionally within rule context

insertable clj/s

(insertable x)

Arguments can be any mixture of vectors and records Ensures [], [[]...], Tuple, '(Tuple ...) conform to Tuple record instances.

key-by clj/s

(key-by f coll)

make-activation-group-fn clj/s

(make-activation-group-fn default-group)

Reads from optional third argument to rule. :super - boolean :group - keyword :salience - number Rules marked :super are given the highest priority.

make-activation-group-sort-fn clj/s

(make-activation-group-sort-fn groups default-group)

make-ancestors-fn clj/s

(make-ancestors-fn)

(make-ancestors-fn hierarchy)

(make-ancestors-fn hierarchy root-fact-type)

Returns a set. To be used when defining a session. Stored in atom for auto truth maintenance and schema enforcement.

map->tuples clj/s

(map->tuples m)

Transforms entity map to vector of tuples {a1 v1 a2 v2 :db/id eid} -> [[eid a1 v1]...]

map-of-refs? clj/s

(map-of-refs? schemas x)

Returns true if every k is db.type/ref according to a schema

next-fact-id! clj/s

(next-fact-id!)

record->map clj/s

(record->map x)

record->vec clj/s

(record->vec r)

remove-fact-from-index! clj/s

(remove-fact-from-index! fact)

(remove-fact-from-index! fact paths)

Removes fact from all indexed locations according to schema if the indexed value is identical to the fact argument. Returns [bool...] indicating successful removal from each indexed location.

remove-from-fact-index! clj/s

(remove-from-fact-index! fact ks)

Removes fact from single path in index, returning a retract instruction if an exact match was found

remove-rulegen-facts clj/s

(remove-rulegen-facts xs)

reset-fact-id! clj/s

(reset-fact-id!)

retract clj/s

(retract session facts)

Retract from outside rule context.

retract! clj/s

(retract! facts)

Wrapper around Clara's retract!. Use within RHS of rule only. Requires a fact that includes a fact-id produced by matching on a whole fact. e.g. ?fact in [?fact <- [?e :attr ?v]

rulegen-fact-nses clj/s

rulegen-fact? clj/s

(rulegen-fact? a)

rules-in-ns clj/s

(rules-in-ns ns-sym)

schema-enforcement-dto clj/s

(schema-enforcement-dto inserted retracted index-path)

split-head-body clj/s

(split-head-body rule)

Takes macro body of a define and returns map of :head, :body

third clj/s

(third xs)

trace clj/s

(trace & args)

Tuple cljs

tuple-entity->hash-map-entity clj/s

(tuple-entity->hash-map-entity tuples)

Takes list of tuples for a single entity and returns single map

Tuples->maps clj/s

(Tuples->maps xs)

(Tuples->maps xs ancestry)

tuplize-into-vec clj/s

(tuplize-into-vec x)

Returns [[]...]. Arg may be {} [{}...] [] [[]...]

unknown-ancestry-error clj/s

(unknown-ancestry-error fact ancestry)

update-index! clj/s

(update-index! fact)

(update-index! fact ks)

Primary function that updates fact-index. Requires fact to index. Generates key-seq to path in index.

update-unique-index! clj/s

(update-unique-index! fact ks)

upsert-fact-index! clj/s

(upsert-fact-index! fact ks)

Writes value to path in ks. Returns existing fact to retract if overwriting.

upsert-unique-index! clj/s

(upsert-unique-index! fact ks)

vec->record clj/s

(vec->record vec)