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
- concatDynColl :: c a -> c a -> c a
- unzipDynColl :: c (a, b) -> (c a, c b)
- zipDynColl :: c a -> c b -> c (a, b)
- emptyDynColl :: c a
- consDynColl :: DynConsConstr c a => a -> c a -> c a
- class (Hashable i, Eq i) => ElementWithId a i where
- elementId :: a -> i
- 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