hevm-0.41.0: Ethereum virtual machine evaluator

Safe Haskell	None
Language	Haskell2010

EVM.Patricia

Documentation

data KV k v a Source #

Constructors

Put k v a
Get k (v -> a)

Instances

Functor (KV k v) Source #
Instance details Defined in EVM.Patricia Methods fmap :: (a -> b) -> KV k v a -> KV k v b # (<$) :: a -> KV k v b -> KV k v a #

newtype DB k v a Source #

Constructors

DB (Free (KV k v) a)

Instances

Show (NodeDB Node) Source #
Instance details Defined in EVM.Patricia Methods showsPrec :: Int -> NodeDB Node -> ShowS # show :: NodeDB Node -> String # showList :: [NodeDB Node] -> ShowS #
Monad (DB k v) Source #
Instance details Defined in EVM.Patricia Methods (>>=) :: DB k v a -> (a -> DB k v b) -> DB k v b # (>>) :: DB k v a -> DB k v b -> DB k v b # return :: a -> DB k v a # fail :: String -> DB k v a #
Functor (DB k v) Source #
Instance details Defined in EVM.Patricia Methods fmap :: (a -> b) -> DB k v a -> DB k v b # (<$) :: a -> DB k v b -> DB k v a #
Applicative (DB k v) Source #
Instance details Defined in EVM.Patricia Methods pure :: a -> DB k v a # (<>) :: DB k v (a -> b) -> DB k v a -> DB k v b # liftA2 :: (a -> b -> c) -> DB k v a -> DB k v b -> DB k v c # (>) :: DB k v a -> DB k v b -> DB k v b # (<*) :: DB k v a -> DB k v b -> DB k v a #

insertDB :: k -> v -> DB k v () Source #

lookupDB :: k -> DB k v v Source #

Arguments

:: Monad m
=> (k -> v -> m ())	The `put` function for our desired monad
-> (k -> m v)	The `get` function for the same monad
-> DB k v a	The puts and gets to execute
-> m a

type Path = [Nibble] Source #

data Ref Source #

Constructors

Hash ByteString
Literal Node

Instances

Eq Ref Source #
Instance details Defined in EVM.Patricia Methods (==) :: Ref -> Ref -> Bool # (/=) :: Ref -> Ref -> Bool #
Show Ref Source #
Instance details Defined in EVM.Patricia Methods showsPrec :: Int -> Ref -> ShowS # show :: Ref -> String # showList :: [Ref] -> ShowS #

data Node Source #

Constructors

Empty
Shortcut Path (Either Ref ByteString)
Full (Seq Ref) ByteString

Instances

Eq Node Source #
Instance details Defined in EVM.Patricia Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #
Show Node Source #
Instance details Defined in EVM.Patricia Methods showsPrec :: Int -> Node -> ShowS # show :: Node -> String # showList :: [Node] -> ShowS #
Show (NodeDB Node) Source #
Instance details Defined in EVM.Patricia Methods showsPrec :: Int -> NodeDB Node -> ShowS # show :: NodeDB Node -> String # showList :: [NodeDB Node] -> ShowS #

encodePath :: Path -> Bool -> ByteString Source #

rlpRef :: Ref -> RLP Source #

rlpNode :: Node -> RLP Source #

type NodeDB = DB ByteString Node Source #

putNode :: Node -> NodeDB Ref Source #

getNode :: Ref -> NodeDB Node Source #

lookupPath :: Ref -> Path -> NodeDB ByteString Source #

getVal :: Path -> Node -> NodeDB ByteString Source #

emptyRef :: Ref Source #

emptyRefs :: Seq Ref Source #

addPrefix :: Path -> Node -> NodeDB Node Source #

insertRef :: Ref -> Path -> ByteString -> NodeDB Ref Source #

update :: Node -> Path -> ByteString -> NodeDB Node Source #

delete :: Node -> Path -> NodeDB Node Source #

insert :: Ref -> ByteString -> ByteString -> NodeDB Ref Source #

lookupIn :: Ref -> ByteString -> NodeDB ByteString Source #

type Trie = StateT Ref NodeDB Source #

runTrie :: DB ByteString ByteString a -> Trie a Source #

type MapDB k v a = StateT (Map k v) Maybe a Source #

runMapDB :: Ord k => DB k v a -> MapDB k v a Source #

insertValues :: [(ByteString, ByteString)] -> Maybe Ref Source #

calcRoot :: [(ByteString, ByteString)] -> Maybe ByteString Source #