Carp/core/Interfaces.carp

(definterface = (λ [a a] Bool))
(definterface /= (λ [a a] Bool))

(definterface zero (λ [] a))
(definterface add-ref (λ [&a &a] a))
(definterface sub-ref (λ [&a &a] a))
(definterface mul-ref (λ [&a &a] a))
(definterface div-ref (λ [&a &a] a))

;; These interfaces would be desirable also? Produces errors in Vector module for now...
(definterface + (λ [a a] a))
(definterface - (λ [a a] a))
(definterface * (λ [a a] a))
(definterface / (λ [a a] a))

;; <
;; <=
;; >
;; >=
;; inc
;; dec
;; random
;; random-between
;; max
;; min
;; from-string

(definterface π a)

;; These interfaces are defined internally, don't override them:
;;(definterface copy (λ [&a] a))
;;(definterface str (λ [a] String))