hevm-0.50.1: Ethereum virtual machine evaluator
Safe HaskellSafe-Inferred
LanguageGHC2021

EVM.Facts.Git

Documentation

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

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

newtype RepoAt Source #

Constructors

RepoAt String 

Instances

Instances details
Show RepoAt Source # 
Instance details

Defined in EVM.Facts.Git

Methods

showsPrec :: Int -> RepoAt -> ShowS #

show :: RepoAt -> String #

showList :: [RepoAt] -> ShowS #

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 #