active.clojure.simple-types — de.active-group/active-clojure 0.35.3

define-enum-type clj/s macro

(define-enum-type name pred values)

define-record-type clj/s macro

(define-record-type name & args)

define-sum-type clj/s macro

(define-sum-type name pred types)

enum-type clj/s

(enum-type name values)

enum-type? clj/s

(enum-type? v)

EnumType clj

is-of-enum-type? clj/s

(is-of-enum-type? t v)

is-of-record-type? clj/s

(is-of-record-type? t v)

is-of-sum-type? clj/s

(is-of-sum-type? t v)

is-of? clj/s

(is-of? t v)

IType clj/s protocol

-is-of? clj/s

(-is-of? this v)

Returns if v is of this type.

IUnapply clj/s protocol

-unapply clj/s

(-unapply this v)

Return nil if v does not match, or a vector of the values this was composed from.

match clj/s macro

(match v & clauses)

A conditional special form over values, with special deconstructuring support for type implementing IUnapply

record-type clj/s

(record-type name fields)

record-type? clj/s

(record-type? v)

RecordType clj

sum-type clj/s

(sum-type name types)

sum-type? clj/s

(sum-type? v)

SumType clj

type? clj/s

(type? v)