Copyright | (c) Anton Gushcha, 2015-2016 |
---|---|
License | BSD3 |
Maintainer | ncrashed@gmail.com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
- class (Filterable c, Foldable c, Functor c, Traversable c) => DynCollection c where
- type DynConsConstr c o :: Constraint
- class (Hashable i, Eq i) => ElementWithId a i where
- rightsDynColl :: (FilterConstraint c (Either e a), DynCollection c) => c (Either e a) -> c a
Documentation
class (Filterable c, Foldable c, Functor c, Traversable c) => DynCollection c where Source #
Dynamic collection for control wire that automates handling collections of FRP actors. The class defines minimum set of actions that collection should support to be used as base for collection of actors.
type DynConsConstr c o :: Constraint Source #
Instance specific constraint for appending function
concatDynColl :: c a -> c a -> c a Source #
Concat of two collections
unzipDynColl :: c (a, b) -> (c a, c b) Source #
Unzipping of collection
zipDynColl :: c a -> c b -> c (a, b) Source #
Ziping collection
emptyDynColl :: c a Source #
Getting empty collection
consDynColl :: DynConsConstr c a => a -> c a -> c a Source #
Adding element to the begining of collection
DynCollection [] Source # | |
DynCollection Seq Source # | |
(Eq k, Hashable k) => DynCollection (HashMap k) Source # | Order of elements is not preserved |
class (Hashable i, Eq i) => ElementWithId a i where Source #
Elements that contains id
rightsDynColl :: (FilterConstraint c (Either e a), DynCollection c) => c (Either e a) -> c a Source #
Helper to filter out lefts