Searched refs:recordObservable (Results 1 – 2 of 2) sorted by relevance
57 , registerKind, registerLabel, recordObservable1228 recordObservable :: State -> String -> (CV -> Bool) -> SV -> IO ()1229 recordObservable st (T.pack -> nm) chk sv = modifyState st rObservables ((nm, chk, sv) S.<|) (retur… function
731 recordObservable st m (cond . fromCV) xsv746 recordObservable st m (const True) xsv