fix isTerminal doesn't check isAttrs

This commit is contained in:
Emile Clark-Boman 2025-12-18 12:48:29 +10:00
parent 7d47d4aa4e
commit b88cd206b0

View file

@ -8,7 +8,8 @@
# Pattern Matching
isTerminal = T:
(builtins.attrNames T == ["_nbtype_" "_value_"])
builtins.isAttrs T
&& builtins.attrNames T == ["_nbtype_" "_value_"]
&& T._nbtype_ == "nib::Terminal";
# Unwrap (Monadic Return Operation)