active.clojure.sum-type — active-clojure 0.27.0

check-predicates! clj

(check-predicates! type-tree predicates has-default)

clause->predicate clj

(clause->predicate clause)

clause-with-extraction-clause clj

(clause-with-extraction-clause ClauseWithExtraction)

Lens for the clause field from a [[ClauseWithExtraction]] record. See active.clojure.sum-type/make-clause-with-extraction.

clause-with-extraction-constructor-call clj

(clause-with-extraction-constructor-call ClauseWithExtraction)

Lens for the constructor-call field from a [[ClauseWithExtraction]] record. See active.clojure.sum-type/make-clause-with-extraction.

clause-with-extraction-ordered-accessors clj

(clause-with-extraction-ordered-accessors ClauseWithExtraction)

Lens for the ordered-accessors field from a [[ClauseWithExtraction]] record. See active.clojure.sum-type/make-clause-with-extraction.

clause-with-extraction-predicate clj

(clause-with-extraction-predicate ClauseWithExtraction)

Lens for the predicate field from a [[ClauseWithExtraction]] record. See active.clojure.sum-type/make-clause-with-extraction.

clause-with-extraction? clj

(clause-with-extraction? thing)

Is object a ClauseWithExtraction record? See active.clojure.sum-type/make-clause-with-extraction.

clause-with-predicate-clause clj

(clause-with-predicate-clause CaluseWithPredicate)

Lens for the clause field from a [[CaluseWithPredicate]] record. See active.clojure.sum-type/make-clause-with-predicate.

clause-with-predicate-predicate clj

(clause-with-predicate-predicate CaluseWithPredicate)

Lens for the predicate field from a [[CaluseWithPredicate]] record. See active.clojure.sum-type/make-clause-with-predicate.

clause-with-predicate? clj

(clause-with-predicate? thing)

Is object a CaluseWithPredicate record? See active.clojure.sum-type/make-clause-with-predicate.

collect-leafs clj

(collect-leafs type-tree)

default-clause-clause clj

(default-clause-clause DefaultClause)

Lens for the clause field from a [[DefaultClause]] record. See active.clojure.sum-type/make-default-clause.

default-clause? clj

(default-clause? thing)

Is object a DefaultClause record? See active.clojure.sum-type/make-default-clause.

define-sum-type clj macro

(define-sum-type type-name predicate predicates)

expand-clause-forms clj

(expand-clause-forms clause arg)

has-default? clj

(has-default? parsed-clauses)

make-clause-with-extraction clj

(make-clause-with-extraction predicate
                             constructor-call
                             clause
                             ordered-accessors)

Construct a ClauseWithExtraction record.

predicate: access via active.clojure.sum-type/clause-with-extraction-predicate constructor-call: access via active.clojure.sum-type/clause-with-extraction-constructor-call clause: access via active.clojure.sum-type/clause-with-extraction-clause ordered-accessors: access via active.clojure.sum-type/clause-with-extraction-ordered-accessors

make-clause-with-predicate clj

(make-clause-with-predicate predicate clause)

Construct a CaluseWithPredicate record.

predicate: access via active.clojure.sum-type/clause-with-predicate-predicate clause: access via active.clojure.sum-type/clause-with-predicate-clause

make-default-clause clj

(make-default-clause clause)

Construct a DefaultClause record.

clause: access via active.clojure.sum-type/default-clause-clause

make-record-meta clj

(make-record-meta predicate constructor ordered-accessors)

Construct a RecordMeta record.

predicate: access via active.clojure.sum-type/record-meta-predicate constructor: access via active.clojure.sum-type/record-meta-constructor ordered-accessors: access via active.clojure.sum-type/record-meta-ordered-accessors

make-sum-type-meta clj

(make-sum-type-meta predicate types)

Construct a SumTypeMeta record.

predicate: access via active.clojure.sum-type/sum-type-meta-predicate types: access via active.clojure.sum-type/sum-type-meta-types

match clj macro

(match sum-type-predicate arg & clauses)

parse-clause-with-extraction clj

(parse-clause-with-extraction condition clause sum-type-meta)

parse-clauses clj

(parse-clauses paired-clauses sum-type-meta)

predicate->sum-type-meta clj

(predicate->sum-type-meta predicate)

record-meta-constructor clj

(record-meta-constructor RecordMeta)

Lens for the constructor field from a [[RecordMeta]] record. See active.clojure.sum-type/make-record-meta.

record-meta-ordered-accessors clj

(record-meta-ordered-accessors RecordMeta)

Lens for the ordered-accessors field from a [[RecordMeta]] record. See active.clojure.sum-type/make-record-meta.

record-meta-predicate clj

(record-meta-predicate RecordMeta)

Lens for the predicate field from a [[RecordMeta]] record. See active.clojure.sum-type/make-record-meta.

record-meta? clj

(record-meta? thing)

Is object a RecordMeta record? See active.clojure.sum-type/make-record-meta.

remove-predicate clj

(remove-predicate type-tree predicate)

sum-type-meta-predicate clj

(sum-type-meta-predicate SumTypeMeta)

Lens for the predicate field from a [[SumTypeMeta]] record. See active.clojure.sum-type/make-sum-type-meta.

sum-type-meta-types clj

(sum-type-meta-types SumTypeMeta)

Lens for the types field from a [[SumTypeMeta]] record. See active.clojure.sum-type/make-sum-type-meta.

sum-type-meta? clj

(sum-type-meta? thing)

Is object a SumTypeMeta record? See active.clojure.sum-type/make-sum-type-meta.

sum-type-predicate? clj

(sum-type-predicate? type-or-predicate)