sqlosure.type — de.active-group/sqlosure 0.2.0

->atomic-type clj

(->atomic-type name
               nullable?
               numeric?
               ordered?
               predicate
               const->datum-fn
               datum->const-fn
               method-map-atom
               data)

Positional factory function for class sqlosure.type.atomic-type.

->bounded-string-type clj

(->bounded-string-type max-size nullable?)

Positional factory function for class sqlosure.type.bounded-string-type.

->product-type clj

(->product-type components)

Positional factory function for class sqlosure.type.product-type.

->set-type clj

(->set-type member-type)

Positional factory function for class sqlosure.type.set-type.

->type-method clj

(->type-method name default-implementation)

Positional factory function for class sqlosure.type.type-method.

all? clj

(all? bs)

any% clj

any? clj

(any? bs)

atomic-type-const->datum-fn clj

(atomic-type-const->datum-fn atomic-type)

Access const->datum-fn field from a [[atomic-type]] record. See sqlosure.type/make-atomic-type.

atomic-type-data clj

(atomic-type-data atomic-type)

Access data field from a [[atomic-type]] record. See sqlosure.type/make-atomic-type.

atomic-type-datum->const-fn clj

(atomic-type-datum->const-fn atomic-type)

Access datum->const-fn field from a [[atomic-type]] record. See sqlosure.type/make-atomic-type.

atomic-type-method-map-atom clj

(atomic-type-method-map-atom atomic-type)

Access method-map-atom field from a [[atomic-type]] record. See sqlosure.type/make-atomic-type.

atomic-type-name clj

(atomic-type-name atomic-type)

Access name field from a [[atomic-type]] record. See sqlosure.type/make-atomic-type.

atomic-type-nullable? clj

(atomic-type-nullable? atomic-type)

Access nullable? field from a [[atomic-type]] record. See sqlosure.type/make-atomic-type.

atomic-type-numeric? clj

(atomic-type-numeric? atomic-type)

Access numeric? field from a [[atomic-type]] record. See sqlosure.type/make-atomic-type.

atomic-type-ordered? clj

(atomic-type-ordered? atomic-type)

Access ordered? field from a [[atomic-type]] record. See sqlosure.type/make-atomic-type.

atomic-type-predicate clj

(atomic-type-predicate atomic-type)

Access predicate field from a [[atomic-type]] record. See sqlosure.type/make-atomic-type.

atomic-type? clj

(atomic-type? thing)

Is object a atomic-type record? See sqlosure.type/make-atomic-type.

base-type-name clj

(base-type-name t)

Yield name of base type.

base-type-protocol clj protocol

Protocol for base types.

-contains? clj

(-contains? this val)

Does non-null value belong to this base type?

-nullable? clj

(-nullable? this)

Is this type nullable?

-ordered? clj

(-ordered? this)

Is this type ordered?

-numeric? clj

(-numeric? this)

Is this type numeric?

-const->datum clj

(-const->datum this val)

Convert value to datum.

-method-map-atom clj

(-method-map-atom this)

Get us an an atom pointing to a map of type-specific methods.

-name clj

(-name this)

Get name of the type.

-data clj

(-data this)

Domain-specific data, for outside use.

-datum->const clj

(-datum->const this datum)

Convert datum to value.

-nullable clj

(-nullable this)

Get us nullable version of this type.

-non-nullable clj

(-non-nullable this)

Get us non-nullable version of this type.

blob% clj

blob%-nullable clj

boolean% clj

boolean? clj

(boolean? x)

Checks if a value if of type boolean. This includes booleans and nil.

bounded-string-type-max-size clj

(bounded-string-type-max-size bounded-string-type)

Access max-size field from a [[bounded-string-type]] record. See sqlosure.type/really-make-bounded-string-type.

bounded-string-type-nullable? clj

(bounded-string-type-nullable? bounded-string-type)

Access nullable? field from a [[bounded-string-type]] record. See sqlosure.type/really-make-bounded-string-type.

bounded-string-type? clj

(bounded-string-type? thing)

Is object a bounded-string-type record? See sqlosure.type/really-make-bounded-string-type.

byte-array? clj

bytea% clj

bytea%-nullable clj

char-array? clj

clob% clj

const->datum clj

(const->datum t val)

const->datum takes a type and a value and applies the types and returns the corresponding clojure value. If the type or value are invalid, throws an exception. Example:

• (const->datum string% "foobar") => "foobar"
• (const->datum (make-product-type [string% integer%]) ["foo" 42]) => ["foo" 42]

date% clj

date? clj

(date? x)

checks whether a value is of type java.util.Date.

datum->const clj

(datum->const t d)

datum->const takes a type and a datum and turns the datum in the corresponding clojure data. If type is invalid or datum does not match the type, throws an exception. Example:

• (datum->const double% 42) => 42'
• (datum->const (make-set-type integer%) [42 23]) => [42 23]

datum->type clj

(datum->type d universe)

datum->type takes a datum (as produced by type->datum) and a universe and returns the corresponding type. If the type is not a base type defined in type.clj, try looking it up in the supplied universe. If it's not found, throws an exception. Examples:

• (datum->type (string) => string
• (datum->type (product (string) (double))) => (make-product-type [string% double%])

define-type-method-implementation clj

(define-type-method-implementation ty method fun)

double% clj

double%-nullable clj

double? clj

(double? x)

checks if a value is of type double.

integer% clj

integer%-nullable clj

invoke-type-method clj

(invoke-type-method ty method & args)

Looks up the type-method-implementation for ty and method and applies it's result (fn) to the rest-args.

make-atomic-type clj

(make-atomic-type name
                  nullable?
                  numeric?
                  ordered?
                  predicate
                  const->datum-fn
                  datum->const-fn
                  method-map-atom
                  data)

Construct a atomic-type record.

name: access via sqlosure.type/atomic-type-name nullable?: access via sqlosure.type/atomic-type-nullable? numeric?: access via sqlosure.type/atomic-type-numeric? ordered?: access via sqlosure.type/atomic-type-ordered? predicate: access via sqlosure.type/atomic-type-predicate const->datum-fn: access via sqlosure.type/atomic-type-const->datum-fn datum->const-fn: access via sqlosure.type/atomic-type-datum->const-fn method-map-atom: access via sqlosure.type/atomic-type-method-map-atom data: access via sqlosure.type/atomic-type-data

make-base-type clj

(make-base-type name
                predicate
                const->datum-proc
                datum->const-proc
                &
                {:keys [universe numeric? ordered? data]
                 :or [universe nil numeric? false ordered? false data nil]})

Returns a new base type as specified. If :universe is supplied, the new type will be registered in the universe and this function returns a vector containing [type universe].

make-bounded-string-type clj

(make-bounded-string-type max-size)

Create string type with given maximum number of chars.

make-nullable-type clj

(make-nullable-type base)

Make type nullable.

make-product-type clj

(make-product-type components)

Construct a product-type record.

components: access via sqlosure.type/product-type-components

make-set-type clj

(make-set-type member-type)

Construct a set-type record.

member-type: access via sqlosure.type/set-type-member-type

make-type-method clj

(make-type-method name & [default-implementation])

map->atomic-type clj

(map->atomic-type m__7585__auto__)

Factory function for class sqlosure.type.atomic-type, taking a map of keywords to field values.

map->bounded-string-type clj

(map->bounded-string-type m__7585__auto__)

Factory function for class sqlosure.type.bounded-string-type, taking a map of keywords to field values.

map->product-type clj

(map->product-type m__7585__auto__)

Factory function for class sqlosure.type.product-type, taking a map of keywords to field values.

map->set-type clj

(map->set-type m__7585__auto__)

Factory function for class sqlosure.type.set-type, taking a map of keywords to field values.

map->type-method clj

(map->type-method m__7585__auto__)

Factory function for class sqlosure.type.type-method, taking a map of keywords to field values.

non-nullable-type clj

(non-nullable-type base)

Yield non-nullable version of type.

null% clj

null? clj

(null? v)

nullable-type? clj

(nullable-type? ty)

Is type nullable?

numeric-type? clj

(numeric-type? ty)

Is type numeric, in the sense of the server's capability to call standard operations like MAX and AVG on them.

ordered-type? clj

(ordered-type? ty)

Is type ordered, in the sense of the servers' capability to make an 'order by' on them.

pair? clj

(pair? v)

Returns true if v is a sequence not empty (like schemes pair? function).

product-type-components clj

(product-type-components product-type)

Access components field from a [[product-type]] record. See sqlosure.type/make-product-type.

product-type? clj

(product-type? thing)

Is object a product-type record? See sqlosure.type/make-product-type.

really-make-bounded-string-type clj

(really-make-bounded-string-type max-size nullable?)

Construct a bounded-string-type record.

max-size: access via sqlosure.type/bounded-string-type-max-size nullable?: access via sqlosure.type/bounded-string-type-nullable?

really-make-type-method clj

(really-make-type-method name default-implementation)

Construct a type-method record.

name: access via sqlosure.type/type-method-name default-implementation: access via sqlosure.type/type-method-default-implementation

set-type-member-type clj

(set-type-member-type set-type)

Access member-type field from a [[set-type]] record. See sqlosure.type/make-set-type.

set-type? clj

(set-type? thing)

Is object a set-type record? See sqlosure.type/make-set-type.

string% clj

string%-nullable clj

test-array clj

(test-array t)

timestamp% clj

timestamp? clj

(timestamp? d)

Returns true if d is a java.time.LocalDateTime.

type->datum clj

(type->datum t)

type->datum takes a type and returns it into a recursive list of it's subtypes. If the type is invalid, raises assertion-violation. Examples:

• (type->datum string%) => (string)
• (type->datum (make-product-type [string% double%])) => (product (string) (double)

type-member? clj

(type-member? thing ty)

Checks if thing is a member of a type.

type-method-default-implementation clj

(type-method-default-implementation type-method)

Access default-implementation field from a [[type-method]] record. See sqlosure.type/really-make-type-method.

type-method-implementation clj

(type-method-implementation ty method)

type-method-name clj

(type-method-name type-method)

Access name field from a [[type-method]] record. See sqlosure.type/really-make-type-method.

type-method? clj

(type-method? thing)

Is object a type-method record? See sqlosure.type/really-make-type-method.

type=? clj