regex/tree
src/regex/tree.tur
defn
re-cata
(re-cata [B])
defn
r-empty
(r-empty :)
defn
r-lit
(r-lit [s : cstr] :)
defn
r-alt
(r-alt [x : Re y : Re] :)
defn
r-cat
(r-cat [x : Re y : Re] :)
defn
r-star
(r-star [x : Re] :)
defn
r-plus
(r-plus [x : Re] :)
defn
r-opt
(r-opt [x : Re] :)
defn
re-size
(re-size [e : Re] :)
defn
re-nullable?
(re-nullable? [e : Re] :)
defn
re->str
(re->str [e : Re] :)
defn
re-matches?
(re-matches? [e : Re s : cstr] :)
Internal definitions
Functor[ReF]unroll-resize-algnull-algcat2str-alglit-stepcstr-null?cstr-empty?cstr-same?m