| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Ideas.Common.Strategy.Configuration
Description
Strategies can be configured at their labeled positions. Possible actions are removereinsert, collapseexpand, and hide/reveal.
- data StrategyCfg
- byName :: HasId a => ConfigAction -> a -> StrategyCfg
- data ConfigAction
- configure :: StrategyCfg -> LabeledStrategy a -> LabeledStrategy a
- configureS :: StrategyCfg -> Strategy a -> Strategy a
- remove :: IsStrategy f => f a -> Strategy a
- collapse :: IsStrategy f => f a -> Strategy a
- hide :: IsStrategy f => f a -> Strategy a
- multi :: (IsId l, IsStrategy f) => l -> f a -> Strategy a
- isConfigId :: HasId a => a -> Bool
Documentation
data StrategyCfg Source #
Instances
byName :: HasId a => ConfigAction -> a -> StrategyCfg Source #
data ConfigAction Source #
Instances
configure :: StrategyCfg -> LabeledStrategy a -> LabeledStrategy a Source #
configureS :: StrategyCfg -> Strategy a -> Strategy a Source #
remove :: IsStrategy f => f a -> Strategy a Source #
collapse :: IsStrategy f => f a -> Strategy a Source #
hide :: IsStrategy f => f a -> Strategy a Source #
multi :: (IsId l, IsStrategy f) => l -> f a -> Strategy a Source #
Apply a strategy at least once, but collapse into a single step
isConfigId :: HasId a => a -> Bool Source #