generic: Add.

This commit is contained in:
Sergiu Ivanov 2020-02-23 12:19:37 +01:00
parent f9191287e1
commit 9e818ad2bf

21
generic.rkt Normal file
View file

@ -0,0 +1,21 @@
#lang racket
;;; dds/generic
;;; Provides the definition of several generic interfaces for discrete
;;; dynamical systems.
(require racket/generic)
(provide
;; Generics
gen:dds
;; Functions
(contract-out [dds-step (-> dds? any/c (set/c any/c))])
;; Predicates
(contract-out [dds? (-> any/c boolean?)]))
;;; A discrete dynamical system.
(define-generics dds
;; Given a state and a dds, produce the next states of the dds.
(dds-step dds state))