hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.BaseApp.Store.List

Synopsis

Documentation

data List (a :: *) Source #

makeList :: IsKey key ns => Value key ns ~ List a => key -> Store ns -> Value key ns Source #

append :: Members [Error AppError, ReadStore, WriteStore] r => HasCodec a => a -> List a -> Sem r () Source #

delete :: Members [Error AppError, ReadStore, WriteStore] r => HasCodec a => Eq a => a -> List a -> Sem r () Source #

Delete the first occurence in the list.

deleteWhen :: Members [Error AppError, ReadStore, WriteStore] r => HasCodec a => (a -> Bool) -> List a -> Sem r () Source #

Delete an element whenever the predicate evaluates to True

foldl :: Members [Error AppError, ReadStore] r => HasCodec a => (b -> a -> b) -> b -> List a -> Sem r b Source #

toList :: Members [Error AppError, ReadStore] r => HasCodec a => List a -> Sem r [a] Source #

View the List as a List.

length :: Members [Error AppError, ReadStore] r => HasCodec a => List a -> Sem r Word64 Source #

elemIndex :: Members [Error AppError, ReadStore] r => HasCodec a => Eq a => a -> List a -> Sem r (Maybe Word64) Source #

(!!) :: Members [Error AppError, ReadStore] r => HasCodec a => List a -> Word64 -> Sem r (Maybe a) infixl 9 Source #