Add new helper function isClosureNF
This commit is contained in:
parent
036031ca3e
commit
38b24f5fc1
|
@ -129,6 +129,10 @@ mkIntV = return . NVConstant . NInt
|
||||||
mkFloatV :: Monad m => Float -> m (NValue m)
|
mkFloatV :: Monad m => Float -> m (NValue m)
|
||||||
mkFloatV = return . NVConstant . NFloat
|
mkFloatV = return . NVConstant . NFloat
|
||||||
|
|
||||||
|
isClosureNF :: Monad m => NValueNF m -> Bool
|
||||||
|
isClosureNF (Fix NVClosure {}) = True
|
||||||
|
isClosureNF _ = False
|
||||||
|
|
||||||
thunkEq :: MonadThunk (NValue m) (NThunk m) m
|
thunkEq :: MonadThunk (NValue m) (NThunk m) m
|
||||||
=> NThunk m -> NThunk m -> m Bool
|
=> NThunk m -> NThunk m -> m Bool
|
||||||
thunkEq lt rt = force lt $ \lv -> force rt $ \rv -> valueEq lv rv
|
thunkEq lt rt = force lt $ \lv -> force rt $ \rv -> valueEq lv rv
|
||||||
|
|
Loading…
Reference in a new issue