hevm-0.20: Ethereum virtual machine evaluator

Safe HaskellNone
LanguageHaskell2010

EVM.Facts.Git

Documentation

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

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

newtype RepoAt Source #

Constructors

RepoAt String 
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 #