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

EVM.Facts.Git

Documentation

newtype RepoAt Source #

Constructors

RepoAt String 

Instances

Instances details
Show RepoAt Source # 
Instance details

Defined in EVM.Facts.Git

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