hevm-0.17: Ethereum virtual machine evaluator

Safe HaskellNone
LanguageHaskell2010

EVM.Facts.Git

Documentation

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

Show RepoAt Source # 
Instance details

Defined in EVM.Facts.Git