Copyright | FOAM team <http://foam.space> 2018 |
---|---|
License | BSD3 |
Maintainer | mail@akru.me |
Stability | experimental |
Portability | unportable |
Safe Haskell | None |
Language | Haskell2010 |
Support for parallel multiple event filters.
Synopsis
- data MultiFilter (es :: [*]) where
- NilFilters :: MultiFilter '[]
- (:?) :: Filter e -> MultiFilter es -> MultiFilter (e ': es)
- minStartBlock :: MultiFilter es -> DefaultBlock
- minEndBlock :: MultiFilter es -> DefaultBlock
- modifyMultiFilter :: (forall e. Filter e -> Filter e) -> MultiFilter es -> MultiFilter es
- multiEvent :: (PollFilters es, QueryAllLogs es, MapHandlers Web3 es (WithChange es), AllAllSat '[HasLogIndex] (WithChange es), RecApplicative (WithChange es)) => MultiFilter es -> Handlers es (ReaderT Change Web3 EventAction) -> Web3 (Async ())
- multiEvent' :: (PollFilters es, QueryAllLogs es, MapHandlers Web3 es (WithChange es), AllAllSat '[HasLogIndex] (WithChange es), RecApplicative (WithChange es)) => MultiFilter es -> Handlers es (ReaderT Change Web3 EventAction) -> Web3 ()
- multiEventMany' :: (PollFilters es, QueryAllLogs es, MapHandlers Web3 es (WithChange es), AllAllSat '[HasLogIndex] (WithChange es), RecApplicative (WithChange es)) => MultiFilter es -> Integer -> Handlers es (ReaderT Change Web3 EventAction) -> Web3 ()
- multiEventNoFilter :: (QueryAllLogs es, MapHandlers Web3 es (WithChange es), AllAllSat '[HasLogIndex] (WithChange es), RecApplicative (WithChange es)) => MultiFilter es -> Handlers es (ReaderT Change Web3 EventAction) -> Web3 (Async ())
- multiEventNoFilter' :: (QueryAllLogs es, MapHandlers Web3 es (WithChange es), AllAllSat '[HasLogIndex] (WithChange es), RecApplicative (WithChange es)) => MultiFilter es -> Handlers es (ReaderT Change Web3 EventAction) -> Web3 ()
- multiEventManyNoFilter' :: (QueryAllLogs es, MapHandlers Web3 es (WithChange es), AllAllSat '[HasLogIndex] (WithChange es), RecApplicative (WithChange es)) => MultiFilter es -> Integer -> Handlers es (ReaderT Change Web3 EventAction) -> Web3 ()
- type Handlers (ts :: [*]) b = Rec (Handler b) ts
- newtype Handler b a = H (a -> b)
- data Rec (a :: u -> *) (b :: [u]) :: forall u. (u -> *) -> [u] -> * where
The MultiFilter
type
data MultiFilter (es :: [*]) where Source #
MultiFilters
NilFilters :: MultiFilter '[] | |
(:?) :: Filter e -> MultiFilter es -> MultiFilter (e ': es) infixr 5 |
minStartBlock :: MultiFilter es -> DefaultBlock Source #
minEndBlock :: MultiFilter es -> DefaultBlock Source #
modifyMultiFilter :: (forall e. Filter e -> Filter e) -> MultiFilter es -> MultiFilter es Source #
With geth filters
multiEvent :: (PollFilters es, QueryAllLogs es, MapHandlers Web3 es (WithChange es), AllAllSat '[HasLogIndex] (WithChange es), RecApplicative (WithChange es)) => MultiFilter es -> Handlers es (ReaderT Change Web3 EventAction) -> Web3 (Async ()) Source #
multiEvent' :: (PollFilters es, QueryAllLogs es, MapHandlers Web3 es (WithChange es), AllAllSat '[HasLogIndex] (WithChange es), RecApplicative (WithChange es)) => MultiFilter es -> Handlers es (ReaderT Change Web3 EventAction) -> Web3 () Source #
multiEventMany' :: (PollFilters es, QueryAllLogs es, MapHandlers Web3 es (WithChange es), AllAllSat '[HasLogIndex] (WithChange es), RecApplicative (WithChange es)) => MultiFilter es -> Integer -> Handlers es (ReaderT Change Web3 EventAction) -> Web3 () Source #
Without geth filters
multiEventNoFilter :: (QueryAllLogs es, MapHandlers Web3 es (WithChange es), AllAllSat '[HasLogIndex] (WithChange es), RecApplicative (WithChange es)) => MultiFilter es -> Handlers es (ReaderT Change Web3 EventAction) -> Web3 (Async ()) Source #
multiEventNoFilter' :: (QueryAllLogs es, MapHandlers Web3 es (WithChange es), AllAllSat '[HasLogIndex] (WithChange es), RecApplicative (WithChange es)) => MultiFilter es -> Handlers es (ReaderT Change Web3 EventAction) -> Web3 () Source #
multiEventManyNoFilter' :: (QueryAllLogs es, MapHandlers Web3 es (WithChange es), AllAllSat '[HasLogIndex] (WithChange es), RecApplicative (WithChange es)) => MultiFilter es -> Integer -> Handlers es (ReaderT Change Web3 EventAction) -> Web3 () Source #
Re-exports
type Handlers (ts :: [*]) b = Rec (Handler b) ts #
'Handlers ts b', is essentially a list of functions, one for each type in
ts. All functions produce a value of type b
. Hence, 'Handlers ts b' would
represent something like the type-level list: [t -> b | t in ts ]
data Rec (a :: u -> *) (b :: [u]) :: forall u. (u -> *) -> [u] -> * where #
A record is parameterized by a universe u
, an interpretation f
and a
list of rows rs
. The labels or indices of the record are given by
inhabitants of the kind u
; the type of values at any label r :: u
is
given by its interpretation f r :: *
.
Instances
RecElem (Rec :: (a -> *) -> [a] -> *) (r :: a) (r ': rs :: [a]) Z | |
(RIndex r (s ': rs) ~ S i, RElem r rs i) => RecElem (Rec :: (a -> *) -> [a] -> *) (r :: a) (s ': rs :: [a]) (S i) | |
TestCoercion f => TestCoercion (Rec f :: [u] -> *) | |
Defined in Data.Vinyl.Core | |
TestEquality f => TestEquality (Rec f :: [u] -> *) | |
Defined in Data.Vinyl.Core | |
RecSubset (Rec :: (k -> *) -> [k] -> *) ([] :: [k]) (ss :: [k]) ([] :: [Nat]) | |
(RElem r ss i, RSubset rs ss is) => RecSubset (Rec :: (k -> *) -> [k] -> *) (r ': rs :: [k]) (ss :: [k]) (i ': is) | |
Eq (Rec f ([] :: [u])) | |
(Eq (f r), Eq (Rec f rs)) => Eq (Rec f (r ': rs)) | |
Ord (Rec f ([] :: [u])) | |
Defined in Data.Vinyl.Core | |
(Ord (f r), Ord (Rec f rs)) => Ord (Rec f (r ': rs)) | |
Defined in Data.Vinyl.Core compare :: Rec f (r ': rs) -> Rec f (r ': rs) -> Ordering # (<) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool # (<=) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool # (>) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool # (>=) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool # max :: Rec f (r ': rs) -> Rec f (r ': rs) -> Rec f (r ': rs) # min :: Rec f (r ': rs) -> Rec f (r ': rs) -> Rec f (r ': rs) # | |
RecAll f rs Show => Show (Rec f rs) | Records may be shown insofar as their points may be shown.
|
Semigroup (Rec f ([] :: [u])) | |
(Monoid (f r), Monoid (Rec f rs)) => Semigroup (Rec f (r ': rs)) | |
Monoid (Rec f ([] :: [u])) | |
(Monoid (f r), Monoid (Rec f rs)) => Monoid (Rec f (r ': rs)) | |
Storable (Rec f ([] :: [u])) | |
Defined in Data.Vinyl.Core | |
(Storable (f r), Storable (Rec f rs)) => Storable (Rec f (r ': rs)) | |
Defined in Data.Vinyl.Core sizeOf :: Rec f (r ': rs) -> Int # alignment :: Rec f (r ': rs) -> Int # peekElemOff :: Ptr (Rec f (r ': rs)) -> Int -> IO (Rec f (r ': rs)) # pokeElemOff :: Ptr (Rec f (r ': rs)) -> Int -> Rec f (r ': rs) -> IO () # peekByteOff :: Ptr b -> Int -> IO (Rec f (r ': rs)) # pokeByteOff :: Ptr b -> Int -> Rec f (r ': rs) -> IO () # |