Merge remote-tracking branch 'origin/main'
This commit is contained in:
commit
aa1060fa1b
1 changed files with 2 additions and 1 deletions
|
|
@ -8,7 +8,8 @@
|
||||||
|
|
||||||
# Pattern Matching
|
# Pattern Matching
|
||||||
isTerminal = T:
|
isTerminal = T:
|
||||||
(builtins.attrNames T == ["_nbtype_" "_value_"])
|
builtins.isAttrs T
|
||||||
|
&& builtins.attrNames T == ["_nbtype_" "_value_"]
|
||||||
&& T._nbtype_ == "nib::Terminal";
|
&& T._nbtype_ == "nib::Terminal";
|
||||||
|
|
||||||
# Unwrap (Monadic Return Operation)
|
# Unwrap (Monadic Return Operation)
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue