Ideas.Common.Strategy.Configuration

Strategies can be configured at their labeled positions. Possible actions are removereinsert, collapseexpand, and hide/reveal.

Documentation

data StrategyCfg

Instances

Show StrategyCfg

Methods

showsPrec :: Int -> StrategyCfg -> ShowS

show :: StrategyCfg -> String

showList :: [StrategyCfg] -> ShowS

Semigroup StrategyCfg

Methods

(<>) :: StrategyCfg -> StrategyCfg -> StrategyCfg

sconcat :: NonEmpty StrategyCfg -> StrategyCfg

stimes :: Integral b => b -> StrategyCfg -> StrategyCfg

Monoid StrategyCfg

Methods

mempty :: StrategyCfg

mappend :: StrategyCfg -> StrategyCfg -> StrategyCfg

mconcat :: [StrategyCfg] -> StrategyCfg

byName :: HasId a => ConfigAction -> a -> StrategyCfg

data ConfigAction

Constructors

Remove

Reinsert

Collapse

Expand

Hide

Reveal

Instances

Eq ConfigAction

Methods

(==) :: ConfigAction -> ConfigAction -> Bool

(/=) :: ConfigAction -> ConfigAction -> Bool

Read ConfigAction

Methods

readsPrec :: Int -> ReadS ConfigAction

readList :: ReadS [ConfigAction]

readPrec :: ReadPrec ConfigAction

readListPrec :: ReadPrec [ConfigAction]

Show ConfigAction

Methods

showsPrec :: Int -> ConfigAction -> ShowS

show :: ConfigAction -> String

showList :: [ConfigAction] -> ShowS

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

Apply a strategy at least once, but collapse into a single step

isConfigId :: HasId a => a -> Bool