Skip to content

Composing Specificationsλ︎

No spec is an island

Composing individual specifications is an effective way to build larger abstractions in specifications without creating fixed hierarchical structures that are harder to refactor.

Require specification namespace to the page

(ns practicalli.clojure
  (:require [clojure.spec.alpha :as spec]))

spec/and is used when all specifications should be true.

(spec/def ::meaning-of-life
  (spec/and int?
            #(= 42 %)))

spec/or is use when one or more specifications should be true

(spec/def ::meaning-of-life-int-or-string
  (spec/or :integer #(= 42 %)
           :string  #(= "forty two" %)))

Each condition in the spec is annotated with a label for each conditional branches.

Labels are included in the return result from spec/explain when values do not conform to a specification, providing context as to why a value failed the specification.

When an or is conformed, it returns a vector with the condition name and conformed value.

(spec/conform ::meaning-of-life-int-or-string 42)
(spec/conform ::meaning-of-life-int-or-string "forty two")
(spec/conform ::meaning-of-life-int-or-string :entropy)
(spec/explain ::meaning-of-life-int-or-string :entropy)

Individual specificationsλ︎

Before composing a more abstract specification, first define individual specifications

(spec/def ::first-name string?)
(spec/def ::last-name string?)
(spec/def ::residential-address string?)

Composing hash-map specificationλ︎

The individual specifications can now be composed into a single specification.

keys function combines specifications to form a composite specification in the form of a Clojure hash-map.

(spec/def ::customer-details
    :req [::first-name ::last-name ::residential-address]))

Use the composite specification with a value

(spec/conform ::customer-details
  {::first-name "Jenny"
   ::last-name "Jetpack"
   ::residential-address "42 meaning of life street, Earth"})