Generate literal patterns for values
This commit is contained in:
parent
5d78270bb5
commit
b4fd18ffcd
|
@ -31,7 +31,7 @@ import ./syndicate/[actors, dataspaces, durings, patterns]
|
||||||
from ./syndicate/relays import connectStdio, connectUnix
|
from ./syndicate/relays import connectStdio, connectUnix
|
||||||
|
|
||||||
export Assertion, Facet, Handle, Ref, Symbol, Turn, TurnAction, bootDataspace,
|
export Assertion, Facet, Handle, Ref, Symbol, Turn, TurnAction, bootDataspace,
|
||||||
`$`, connectStdio, connectUnix, drop, facet, grab, message, publish,
|
`$`, `?`, connectStdio, connectUnix, drop, facet, grab, message, publish,
|
||||||
retract, replace, run, stop, unembed
|
retract, replace, run, stop, unembed
|
||||||
|
|
||||||
proc `?`*(T: static typedesc): Pattern =
|
proc `?`*(T: static typedesc): Pattern =
|
||||||
|
@ -81,7 +81,11 @@ proc `?`*(T: static typedesc): Pattern =
|
||||||
else:
|
else:
|
||||||
grab() # otherwise an abritrary capture
|
grab() # otherwise an abritrary capture
|
||||||
|
|
||||||
proc `?`*(T: typedesc; bindings: sink openArray[(int, Pattern)]): Pattern =
|
proc fieldCount(T: typedesc): int =
|
||||||
|
for _, _ in fieldPairs(default T):
|
||||||
|
inc result
|
||||||
|
|
||||||
|
proc `?`*(T: static typedesc; bindings: sink openArray[(int, Pattern)]): Pattern =
|
||||||
## Construct a `Pattern` from type `T` that selectively captures fields.
|
## Construct a `Pattern` from type `T` that selectively captures fields.
|
||||||
runnableExamples:
|
runnableExamples:
|
||||||
import preserves
|
import preserves
|
||||||
|
@ -94,11 +98,10 @@ proc `?`*(T: typedesc; bindings: sink openArray[(int, Pattern)]): Pattern =
|
||||||
elif T.hasPreservesRecordPragma:
|
elif T.hasPreservesRecordPragma:
|
||||||
var
|
var
|
||||||
label = T.recordLabel.tosymbol(Ref)
|
label = T.recordLabel.tosymbol(Ref)
|
||||||
fields = newSeq[Pattern]()
|
fields = newSeq[Pattern](fieldCount T)
|
||||||
for (i, pat) in bindings:
|
for (i, pat) in bindings:
|
||||||
if i > fields.high: fields.setLen(succ i)
|
|
||||||
fields[i] = pat
|
fields[i] = pat
|
||||||
for pat in bindings.mitems:
|
for pat in fields.mitems:
|
||||||
if pat.isNil: pat = drop()
|
if pat.isNil: pat = drop()
|
||||||
result = ?DCompound(
|
result = ?DCompound(
|
||||||
orKind: DCompoundKind.rec,
|
orKind: DCompoundKind.rec,
|
||||||
|
|
|
@ -55,6 +55,68 @@ proc grab*(): Pattern = ?DBind(pattern: drop())
|
||||||
proc `?_`*(): Pattern = drop()
|
proc `?_`*(): Pattern = drop()
|
||||||
proc `?*`*(): Pattern = grab()
|
proc `?*`*(): Pattern = grab()
|
||||||
|
|
||||||
|
proc `?`*[A, B](table: TableRef[A,B]): Pattern =
|
||||||
|
raiseAssert "not implemented"
|
||||||
|
|
||||||
|
proc `?`*[T](val: T): Pattern =
|
||||||
|
## Construct a `Pattern` from value of type `T`.
|
||||||
|
when T is Pattern: result = val
|
||||||
|
elif T is Ref:
|
||||||
|
result = Pattern(orKind: PatternKind.DLit, dlit: DLit(
|
||||||
|
value: AnyAtom(
|
||||||
|
orKind: AnyAtomKind.embedded,
|
||||||
|
embedded: embed(val))))
|
||||||
|
elif T is ptr | ref:
|
||||||
|
if system.`==`(val, nil): result = ?(Symbol "null")
|
||||||
|
else: result = ?(val[])
|
||||||
|
elif T is bool:
|
||||||
|
result = Pattern(orKind: PatternKind.DLit, dlit: DLit(
|
||||||
|
value: AnyAtom(
|
||||||
|
orKind: AnyAtomKind.bool,
|
||||||
|
bool: val)))
|
||||||
|
elif T is float32:
|
||||||
|
result = Pattern(orKind: PatternKind.DLit, dlit: DLit(
|
||||||
|
value: AnyAtom(
|
||||||
|
orKind: AnyAtomKind.float,
|
||||||
|
float: val)))
|
||||||
|
elif T is float64:
|
||||||
|
result = Pattern(orKind: PatternKind.DLit, dlit: DLit(
|
||||||
|
value: AnyAtom(
|
||||||
|
orKind: AnyAtomKind.double,
|
||||||
|
double: val)))
|
||||||
|
elif T is SomeInteger:
|
||||||
|
result = Pattern(orKind: PatternKind.DLit, dlit: DLit(
|
||||||
|
value: AnyAtom(
|
||||||
|
orKind: AnyAtomKind.int,
|
||||||
|
int: AnyAtomInt val)))
|
||||||
|
elif T is string:
|
||||||
|
result = Pattern(orKind: PatternKind.DLit, dlit: DLit(
|
||||||
|
value: AnyAtom(
|
||||||
|
orKind: AnyAtomKind.string,
|
||||||
|
string: val)))
|
||||||
|
elif T is seq[byte]:
|
||||||
|
result = Pattern(orKind: PatternKind.DLit, dlit: DLit(
|
||||||
|
value: AnyAtom(
|
||||||
|
orKind: AnyAtomKind.bytes,
|
||||||
|
bytes: val)))
|
||||||
|
elif T is enum or T is Symbol:
|
||||||
|
result = Pattern(orKind: PatternKind.DLit, dlit: DLit(
|
||||||
|
value: AnyAtom(
|
||||||
|
orKind: AnyAtomKind.symbol,
|
||||||
|
symbol: Symbol $val)))
|
||||||
|
elif T.hasPreservesRecordPragma:
|
||||||
|
var
|
||||||
|
label = T.recordLabel.tosymbol(Ref)
|
||||||
|
fields = newSeq[Pattern]()
|
||||||
|
for f in fields(val):
|
||||||
|
fields.add ?f
|
||||||
|
result = ?DCompound(
|
||||||
|
orKind: DCompoundKind.rec,
|
||||||
|
rec: DCompoundRec(
|
||||||
|
label: label, fields: fields))
|
||||||
|
else:
|
||||||
|
{.error: "cannot derive pattern from " & $T.}
|
||||||
|
|
||||||
type
|
type
|
||||||
Value = Preserve[Ref]
|
Value = Preserve[Ref]
|
||||||
Path = seq[Value]
|
Path = seq[Value]
|
||||||
|
|
Loading…
Reference in New Issue