hevm-0.44.1: Ethereum virtual machine evaluator
EVM.Facts.Git
saveFacts :: RepoAt -> Set Fact -> IO () Source #
loadFacts :: RepoAt -> IO (Set Fact) Source #
newtype RepoAt Source #
Constructors
Defined in EVM.Facts.Git
Methods
(==) :: RepoAt -> RepoAt -> Bool #
(/=) :: RepoAt -> RepoAt -> Bool #
compare :: RepoAt -> RepoAt -> Ordering #
(<) :: RepoAt -> RepoAt -> Bool #
(<=) :: RepoAt -> RepoAt -> Bool #
(>) :: RepoAt -> RepoAt -> Bool #
(>=) :: RepoAt -> RepoAt -> Bool #
max :: RepoAt -> RepoAt -> RepoAt #
min :: RepoAt -> RepoAt -> RepoAt #
showsPrec :: Int -> RepoAt -> ShowS #
show :: RepoAt -> String #
showList :: [RepoAt] -> ShowS #