EVM.Patricia

Documentation

data KV k v a

Constructors

Put k v a

Get k (v -> a)

Instances

Functor (KV k v)

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

Constructors

DB (Free (KV k v) a)

Instances

Show (NodeDB Node)

Defined in EVM.Patricia

Methods

showsPrec :: Int -> NodeDB Node -> ShowS

show :: NodeDB Node -> String

showList :: [NodeDB Node] -> ShowS

Monad (DB k v)

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

Functor (DB k v)

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)

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 ()

lookupDB :: k -> DB k v v

runDB

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]

data Ref

Constructors

Hash ByteString

Literal Node

Instances

Eq Ref

Defined in EVM.Patricia

Methods

(==) :: Ref -> Ref -> Bool

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

Show Ref

Defined in EVM.Patricia

Methods

showsPrec :: Int -> Ref -> ShowS

show :: Ref -> String

showList :: [Ref] -> ShowS

data Node

Constructors

Empty

Shortcut Path (Either Ref ByteString)

Full (Seq Ref) ByteString

Instances

Eq Node

Defined in EVM.Patricia

Methods

(==) :: Node -> Node -> Bool

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

Show Node

Defined in EVM.Patricia

Methods

showsPrec :: Int -> Node -> ShowS

show :: Node -> String

showList :: [Node] -> ShowS

Show (NodeDB Node)

Defined in EVM.Patricia

Methods

showsPrec :: Int -> NodeDB Node -> ShowS

show :: NodeDB Node -> String

showList :: [NodeDB Node] -> ShowS

encodePath :: Path -> Bool -> ByteString

rlpRef :: Ref -> RLP

rlpNode :: Node -> RLP

type NodeDB = DB ByteString Node

putNode :: Node -> NodeDB Ref

getNode :: Ref -> NodeDB Node

lookupPath :: Ref -> Path -> NodeDB ByteString

getVal :: Path -> Node -> NodeDB ByteString

emptyRef :: Ref

emptyRefs :: Seq Ref

addPrefix :: Path -> Node -> NodeDB Node

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

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

delete :: Node -> Path -> NodeDB Node

insert :: Ref -> ByteString -> ByteString -> NodeDB Ref

lookupIn :: Ref -> ByteString -> NodeDB ByteString

type Trie = StateT Ref NodeDB

runTrie :: DB ByteString ByteString a -> Trie a

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

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

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

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