EVM.Effects

This module contains custom app specific mtl style effects for hevm These are written in the style of the ReaderT over IO pattern [1]. Right now we only have a single ReadConfig effect, but over time hope to migrate most usages of IO into custom effects here.

This framework would allow us to have multiple interpretations for effects (e.g. a pure version for tests), but for now we interpret everything in IO only.

1

https://www.fpcomplete.com/blog/readert-design-pattern/

Documentation

class Monad m => ReadConfig m where

Methods

readConfig :: m Config

Instances

Monad m => ReadConfig (ReaderT Env m)

Defined in EVM.Effects

Methods

readConfig :: ReaderT Env m Config

data Config

Constructors

Config

Fields

• dumpQueries :: Bool
• dumpExprs :: Bool
• dumpEndStates :: Bool
• debug :: Bool
• abstRefineArith :: Bool
• abstRefineMem :: Bool
• dumpTrace :: Bool
• numCexFuzz :: Integer
• onlyCexFuzz :: Bool

Instances

Show Config

Defined in EVM.Effects

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

Eq Config

Defined in EVM.Effects

Methods

(==) :: Config -> Config -> Bool

(/=) :: Config -> Config -> Bool

defaultConfig :: Config

class Monad m => TTY m where

Methods

writeOutput :: Text -> m ()

writeErr :: Text -> m ()

Instances

(Monad m, MonadIO m) => TTY (ReaderT Env m)

Defined in EVM.Effects

Methods

writeOutput :: Text -> ReaderT Env m ()

writeErr :: Text -> ReaderT Env m ()

writeTraceDapp :: App m => DappInfo -> VM t RealWorld -> m ()

writeTrace :: App m => VM t RealWorld -> m ()

newtype Env

Constructors

Env

Fields

• config :: Config

Instances

Monad m => ReadConfig (ReaderT Env m)

Defined in EVM.Effects

Methods

readConfig :: ReaderT Env m Config

(Monad m, MonadIO m) => TTY (ReaderT Env m)

Defined in EVM.Effects

Methods

writeOutput :: Text -> ReaderT Env m ()

writeErr :: Text -> ReaderT Env m ()

defaultEnv :: Env

runEnv :: Env -> ReaderT Env m a -> m a

type App m = (MonadUnliftIO m, ReadConfig m, TTY m)

runApp :: ReaderT Env m a -> m a