fully-satisfies

Utilities for Clojure.

• fully-satisfies? -- a variant of clojure.core/satisfies? that also checks if a value implements all methods in the protocol (considering direct, extended, and metadata methods).
• partially-satisfies? -- a variant of clojure.core/satisfies? that is compatible with metadata extension.
• somef -- a variant of clojure.core/some-fn that has a simple definitional equivalence, a zero-arity, and consistent return values.
• everyp -- a variant of clojure.core/every-pred that has a simple definitional equivalence, and a zero-arity.
• never? -- a predicate never? that always returns false.
• run-all! -- a variant of clojure.core/run! that does not short-circuit on reduced.
• clearing-future -- a variant of clojure.core/future that clears conveyed bindings after execution, resolving a known memory leak.
• deftest, testing -- drop-in replacements for clojure.test/{deftest,testing} that report the testing context on uncaught exceptions.
• folda -- a variant of clojure.core/areduce that supports naming the array.
• def-shared-protocol -- a variant of clojure.core/defprotocol whose methods can see future extensions.
• non-overflowing vector, vec -- a vector implementation that consistently handles integer overflow cases, resolving a known general attack vector caused by undefined behavior.
• latest protocol ops -- implementations of satisfies?, find-protocol-impl, find-protocol-method, extends?, extenders that look up the latest version of the protocol such that they have the same behavior with partial.
• non-leaky clojure.core, clojure.test macros -- versions of the following macros that don't leak implementation details (eg., recur targets, pre/post, try/catch syntax): locking (upstream report), binding, with-bindings, sync, with-local-vars, with-in-str, dosync, with-precision, with-loading-context, with-redefs, delay, vswap!, lazy-seq, lazy-cat, future, pvalues, clojure.test/{deftest,deftest-,testing,with-test,with-test-out}, clojure.java.shell/with-sh-{dir,env}, clojure.test.tap/with-tap-output, clojure.pprint/with-pprint-dispatch, clojure.core.async/thread, clojure.core.logic.pldb/with-{db,dbs}, clojure.tools.trace/dotrace, clojure.test.check.properties/for-all, clojure.test.check.generators/let, clojure.java.jmx/with-connection, clojure.core.match.debug/with-recur
• ::reify-body, a spec for clojure.core/reify.

Latest API documentation

Current version API documentation

Dependency

Available on Clojars.

Leiningen:

[io.github.frenchy64/fully-satisfies "1.7.1"]

Clojure CLI (Maven deps):

  :deps {io.github.frenchy64/fully-satisfies 
         {:mvn/version "1.7.1"}}

Clojure CLI (git deps):

  ;; requires `clj -X:deps prep` to compile java
  :deps {io.github.frenchy64/fully-satisfies 
         {:git/tag "1.7.1", :git/sha "db2c6e3"}}

Try it in a REPL:

# compile
clj -Sdeps '{:deps {io.github.frenchy64/fully-satisfies {:git/tag "1.7.1", :git/sha "db2c6e3"}}}' -X:deps prep
# start REPL
clj -Sdeps '{:deps {io.github.frenchy64/fully-satisfies {:git/tag "1.7.1", :git/sha "db2c6e3"}}}'

Usage

fully-satisfies?

Docstring

(require '[io.github.frenchy64.fully-satisfies :refer [fully-satisfies?]])

(defprotocol A
  (a [this])
  (b [this]))

(fully-satisfies? A (reify))
;=> false
(fully-satisfies? A (reify A))
;=> false
(fully-satisfies? A (reify A (a [this])))
;=> false
(fully-satisfies? A (reify A (a [this]) (b [this])))
;=> true

run-all!

(require '[io.github.frenchy64.fully-satisfies.run-all :refer [run-all!]])

(run-all! println [1 (reduced 2) 3])
;1
;2
;3
;=> nil
;; does not short-circuit on reduced
(run-all! println [1 (reduced 2) 3])
;1
;#object[clojure.lang.Reduced 0x3deeac1 {:status :ready, :val 2}]
;3
;=> nil

Releasing

1. Change project.clj version to desired version + SNAPSHOT
   • eg., 1.0.0-SNAPSHOT
2. Commit with message Release {:major,:minor,:patch}
   • this releases the current version then bumps to the next {:major,:minor,:patch} SNAPSHOT
3. Pull

Thanks

Thanks Wanderson Ferreira for the idea of fully-satisfies? and its name. My initial stance that fully-satisfies? was impossible to implement quickly proved to be incorrect after Wanderson's asked the right questions and decompiled some bytecode.

Wanderson and Mark Herman, II also helped improve early iterations of fully-satisfies?.

Related work

• https://clojure.atlassian.net/browse/CLJ-2426
• https://clojure.atlassian.net/browse/CLJ-1814
• https://clojure.atlassian.net/browse/CLJ-2656
  • result of making this library and realizing supers call is suspicious

TODO

• https://clojure.atlassian.net/browse/CLJ-2162
• https://clojure.atlassian.net/browse/CLJ-2069
• agents memory leak via conveyed bindings
• https://ask.clojure.org/index.php/11080/get-find-assoc-vectors-overflows-key-when-passed-large-longs?show=11137#c11137

Clojure 1.10.3
user=> (get (into-array [1 2 42]) 4294967296)
1
user=> (get "123" 4294967296)
\1
user=> (get (into-array [1 2 42]) 4294967296 :not-found)
1
user=> (get "123" 4294967296 :not-found)
\1

• https://clojure.atlassian.net/browse/CLJ-2228
• https://clojure.atlassian.net/browse/CLJ-1458
  • • unrolling
• https://clojure.atlassian.net/browse/CLJ-1412
• fix clojure.test-clojure.delays to use Thread. + bound-fn for is
  • deserves a tutorial on how to parallelize is. easy gotcha to fall for.
• https://clojure.atlassian.net/browse/CLJ-1777
• https://clojure.atlassian.net/browse/CLJ-1771
• https://clojure.atlassian.net/browse/CLJ-2705
• non-leaky clojure.pprint/with-pprint-logical-block

License

Where noted, contains code from Clojure under license:

Copyright (c) Rich Hickey. All rights reserved.
The use and distribution terms for this software are covered by the
Eclipse Public License 1.0 (http://opensource.org/licenses/eclipse-1.0.php)
which can be found in the file epl-v10.html at the root of this distribution.
By using this software in any fashion, you are agreeing to be bound by
the terms of this license.
You must not remove this notice, or any other, from this software.

Otherwise:

Copyright © 2021 Ambrose Bonnaire-Sergeant

This program and the accompanying materials are made available under the
terms of the Eclipse Public License 2.0 which is available at
http://www.eclipse.org/legal/epl-2.0.

This Source Code may also be made available under the following Secondary
Licenses when the conditions for such availability set forth in the Eclipse
Public License, v. 2.0 are satisfied: GNU General Public License as published by
the Free Software Foundation, either version 2 of the License, or (at your
option) any later version, with the GNU Classpath Exception which is available
at https://www.gnu.org/software/classpath/license.html.