type helpers

type queries and assertions

These helpers work with Ale types. assert-type returns value when it matches type, otherwise it raises. is-a looks up the predicate for a builtin type keyword and applies it to value.

An Example

(assert-type :number 42)
(is-a :string "hello")