hevm-0.17: Ethereum virtual machine evaluator

Safe Haskell	None
Language	Haskell2010

EVM.Facts.Git

Documentation

saveFacts :: RepoAt -> Set Fact -> IO () Source #

loadFacts :: RepoAt -> IO (Set Fact) Source #

newtype RepoAt Source #

Constructors

Instances

Eq RepoAt Source #
Instance details Defined in EVM.Facts.Git Methods (==) :: RepoAt -> RepoAt -> Bool # (/=) :: RepoAt -> RepoAt -> Bool #
Ord RepoAt Source #
Instance details Defined in EVM.Facts.Git Methods compare :: RepoAt -> RepoAt -> Ordering # (<) :: RepoAt -> RepoAt -> Bool # (<=) :: RepoAt -> RepoAt -> Bool # (>) :: RepoAt -> RepoAt -> Bool # (>=) :: RepoAt -> RepoAt -> Bool # max :: RepoAt -> RepoAt -> RepoAt # min :: RepoAt -> RepoAt -> RepoAt #
Show RepoAt Source #
Instance details Defined in EVM.Facts.Git Methods showsPrec :: Int -> RepoAt -> ShowS # show :: RepoAt -> String # showList :: [RepoAt] -> ShowS #