fogus

Verbosity trimming [:f]

ch1

• infix rip [:c]

ch9

• annotations [:f]

fogus

(defn tests []
     [{:name 'suiteA
       :total 3
       :passed (promise)
       :failed (promise)
       :success (promise)
       :tests [{:name 'testA :success (promise)}
               {:name 'testB :success (promise)}
               {:name 'testC :success (promise)}]}
      {:name 'suiteB

fogus

(kontract doubler
[x]
:requires
  (pos? x)

:ensures
  (= (* 2 x) %)

[x y]
:requires

fogus

(ns joc
  (:use [clojure.test]))

(defn rpn-orig
  ([tokens] (rpn-orig tokens []))
  ([[top & tail] stack]
     (lazy-seq
      (if top
	(if (fn? top)
	  (let [l (peek stack)

fogus

(defcontractedfn1 sqr
  "Calculates the square of a number."
  ([n]
   :requires
   (number? n)
   (not (zero? n))

   :body
   (* n n)

fogus

(defconstrainedfn sqr
  "Calculates the square of a number."
  ([n]
     :requires
     (number? n)
     (not (zero? n))

     :ensures
     (pos? %)

fogus

(ns user
  (:use clojure.set))
  
;; core

(defstruct monad :unit :bind :run :zero :plus)

(defmacro defmonad [name & fdecl]
  (let [[doc defs]
        (if (string? (first fdecl))

fogus

(defconstrainedfn sqr
  "Squares a number"
  [n]
  :requires
  (number? n)
  (not= 0 n)

  :ensures
  (pos? %)
  

fogus

(sqr 5)
;=> 25

(sqr -5)
;=> 25

(sqr 0)
; java.lang.AssertionError: Assert failed: (not (zero? n))

fogus

(defconstrainedfn doubler
  "Defines a function that doubles its input."
  ([n]
     :requires
     (number? n)
    
     :ensures
     (= (* 2 n) %)

     :body