Skip to content

Instantly share code, notes, and snippets.

@fogus

fogus/gist:261214

Created December 21, 2009 20:32
Show Gist options
  • Save fogus/261214 to your computer and use it in GitHub Desktop.
Save fogus/261214 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.clj
(defn constrained-fn [f x]
{:pre [(pos? x)]
:post [(= % (* 2 x))]}
(f x))
(constrained-fn #(* 2 %) 2)
;=> 4
(constrained-fn #(float (* 2 %)) 2)
;=> 4.0
(constrained-fn #(* 3 %) 2)
;=> java.lang.Exception: Assert failed: (= % (* 2 x))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment