strict-typed-ops.strict documentation

conj-map

(conj-map target arg & args)
conj onto a map. During type checking, the arguments to conj must have the
same type as the target element type.

conj-set

(conj-set target arg & args)
conj onto a set During type checking, the arguments to conj must have the
same type as the target element type.

conj-vec

(conj-vec target arg & args)
conj onto a vector. During type checking, the candiates to conj must have the
same type as the target element type.

hash-map>

macro

(hash-map> ks vs & args)
Make a hash map with keys type ks and vals type vs. During type checking,
argument keys and vals must be of type ks and vs respectively.

hash-set>

macro

(hash-set> t & args)
Make a hash set of element type t. During type checking, arguments must be
of type t.

into-map

(into-map target arg)
Add items from a collection into a map. During type checking, the second argument must have the
same type element type as the target element type.

into-set

(into-set target arg)
Add items from a collection into a set. During type checking, the second argument must have the
same type element type as the target element type.

into-sorted-set

(into-sorted-set target arg)
Add items from a collection into a sorted set. During type checking, the second argument must have the
same type element type as the target element type.

sorted-set>

macro

(sorted-set> t & args)
Make a sorted set of element type t. During type checking, arguments must be
of type t.

vector>

macro

(vector> t & args)
Make a vector of element type t. During type checking, arguments must be of type t.