Documentation

height :: forall f s a. (Functor f, HasField s "height" a) => LensLike' f s a Source #

index :: forall f s a. (Functor f, HasField s "index" a) => LensLike' f s a Source #

innerNodes :: forall f s a. (Functor f, HasField s "innerNodes" a) => LensLike' f s a Source #

key :: forall f s a. (Functor f, HasField s "key" a) => LensLike' f s a Source #

leaves :: forall f s a. (Functor f, HasField s "leaves" a) => LensLike' f s a Source #

left :: forall f s a. (Functor f, HasField s "left" a) => LensLike' f s a Source #

leftPath :: forall f s a. (Functor f, HasField s "leftPath" a) => LensLike' f s a Source #

maybe'leftPath :: forall f s a. (Functor f, HasField s "maybe'leftPath" a) => LensLike' f s a Source #

maybe'proof :: forall f s a. (Functor f, HasField s "maybe'proof" a) => LensLike' f s a Source #

nodes :: forall f s a. (Functor f, HasField s "nodes" a) => LensLike' f s a Source #

proof :: forall f s a. (Functor f, HasField s "proof" a) => LensLike' f s a Source #

removed :: forall f s a. (Functor f, HasField s "removed" a) => LensLike' f s a Source #

result :: forall f s a. (Functor f, HasField s "result" a) => LensLike' f s a Source #

right :: forall f s a. (Functor f, HasField s "right" a) => LensLike' f s a Source #

rootHash :: forall f s a. (Functor f, HasField s "rootHash" a) => LensLike' f s a Source #

size :: forall f s a. (Functor f, HasField s "size" a) => LensLike' f s a Source #

value :: forall f s a. (Functor f, HasField s "value" a) => LensLike' f s a Source #

valueHash :: forall f s a. (Functor f, HasField s "valueHash" a) => LensLike' f s a Source #

vec'innerNodes :: forall f s a. (Functor f, HasField s "vec'innerNodes" a) => LensLike' f s a Source #

vec'leaves :: forall f s a. (Functor f, HasField s "vec'leaves" a) => LensLike' f s a Source #

vec'nodes :: forall f s a. (Functor f, HasField s "vec'nodes" a) => LensLike' f s a Source #

version :: forall f s a. (Functor f, HasField s "version" a) => LensLike' f s a Source #