hevm-0.51.2: 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 Source #

show :: RepoAt -> String Source #

showList :: [RepoAt] -> ShowS Source #

Eq RepoAt Source # 
Instance details

Defined in EVM.Facts.Git

Methods

(==) :: RepoAt -> RepoAt -> Bool Source #

(/=) :: RepoAt -> RepoAt -> Bool Source #

Ord RepoAt Source # 
Instance details

Defined in EVM.Facts.Git

Methods

compare :: RepoAt -> RepoAt -> Ordering Source #

(<) :: RepoAt -> RepoAt -> Bool Source #

(<=) :: RepoAt -> RepoAt -> Bool Source #

(>) :: RepoAt -> RepoAt -> Bool Source #

(>=) :: RepoAt -> RepoAt -> Bool Source #

max :: RepoAt -> RepoAt -> RepoAt Source #

min :: RepoAt -> RepoAt -> RepoAt Source #