XMonad.Config.Alt.Internal

Contents

• Running
• Actions
  • less useful
• Things to modify
  • Special
  • Others
• Relatively private
  • Ordered Insertion into HLists like [(Nat,a)]
  • Useful functions
  • For overloading

Description

Synopsis

• module XMonad.Config.Alt.QQ
• runConfig :: (HCompose (HCons t t1) (HNil -> l2), HCompose l1 (m (XConfig (Choose Tall (Choose (Mirror Tall) Full))) -> Config (XConfig l)), LayoutClass l Window, HMap Snd l2 l1, Read (l Window), Monad m) => HCons t t1 -> IO ()
• runConfig' :: (HCompose l (m a -> Config b), HCompose (HCons t t1) (HNil -> l1), HMap Snd l1 l, Monad m) => a -> HCons t t1 -> IO b
• set :: (Ins2 b (HSucc (HSucc (HSucc (HSucc HZero)))) HFalse (Config (XConfig x) -> Config (XConfig y)) l l', Mode Set field e x y, HLt ll (HSucc (HSucc (HSucc (HSucc HZero)))) b, HLength l ll) => field -> e -> l -> l'
• add :: (Ins2 b (HSucc (HSucc (HSucc (HSucc HZero)))) HFalse (Config (XConfig x) -> Config (XConfig y)) l l', Mode Add field e x y, HLt ll (HSucc (HSucc (HSucc (HSucc HZero)))) b, HLength l ll) => field -> e -> l -> l'
• modify :: (Ins2 b (HSucc (HSucc (HSucc (HSucc HZero)))) HFalse (Config (XConfig x) -> Config (XConfig y)) l l', Mode Modify field e x y, HLt ll (HSucc (HSucc (HSucc (HSucc HZero)))) b, HLength l ll) => field -> e -> l -> l'
• modifyIO :: (Ins2 b (HSucc (HSucc (HSucc (HSucc HZero)))) HFalse (Config (XConfig x) -> Config (XConfig y)) l l', Mode ModifyIO field e x y, HLt ll (HSucc (HSucc (HSucc (HSucc HZero)))) b, HLength l ll) => field -> e -> l -> l'
• modifyIO' :: (Ins2 b n hold (Config (XConfig x) -> Config (XConfig y)) l l', Mode ModifyIO field e x y, HLt ll n b, HLength l ll) => hold -> n -> field -> e -> l -> l'
• insertInto :: (Ins2 b n hold (Config (XConfig x) -> Config (XConfig y)) l l', Mode action field e x y, HLt ll n b, HLength l ll) => action -> hold -> n -> field -> e -> l -> l'
• data LayoutHook = LayoutHook
• data FocusFollowsMouse = FocusFollowsMouse
• data StartupHook = StartupHook
• data LogHook = LogHook
• data BorderWidth = BorderWidth
• data MouseBindings = MouseBindings
• data Keys = Keys
• data ModMask = ModMask
• data Workspaces = Workspaces
• data HandleEventHook = HandleEventHook
• data ManageHook = ManageHook
• data Terminal = Terminal
• data FocusedBorderColor = FocusedBorderColor
• data NormalBorderColor = NormalBorderColor
• defaultPrec :: HSucc (HSucc (HSucc (HSucc HZero)))
• insLt :: (HSubtract a b n, HReplicateF n Id l', HAppend l1 l' l, HAppend l (HCons (t, t1) HNil) l'', HLength l1 b) => a -> t -> t1 -> l1 -> l''
• insGeq :: (HCond t1 (t1, a -> b) (t, a -> c) e, HUpdateAtHNat n e l l', HLookupByHNat n l (t1, a -> b)) => n -> t -> (b -> c) -> l -> l'
• class HBool hold => Ins2 b n hold f l l' | b n hold f l -> l' where
  • ins2 :: b -> n -> hold -> f -> l -> l'
• class Ins' n hold f l l' | n hold f l -> l' where
  • ins' :: n -> hold -> f -> l -> l'
• ins :: (Ins2 b n HFalse (m a -> m b1) l l', HLt ll n b, HLength l ll, Monad m) => n -> (a -> m b1) -> l -> l'
• class HCompose l f | l -> f where
  • hComp :: l -> f
• data Snd = Snd
• class HSubtract a b c | a b -> c where
  • hSubtract :: a -> b -> c
• class HNat n => HReplicateF n e l | n e -> l where
  • hReplicateF :: n -> e -> l
• class HPred' n n' | n -> n' where
  • hPred' :: n -> n'
• class Mode action field e x y | action field e x -> y, action field x y -> e where
  • m :: action -> field -> e -> XConfig x -> Config (XConfig y)
• data Add = Add
• data Set = Set
• data Modify = Modify
• data ModifyIO = ModifyIO
• newtype Config a = Config (WriterT Warnings IO a)
• test :: IO ()
• module Data.HList

Documentation

Running

Actions

 insertInto action hold prec field v

less useful

Things to modify

Special

Others

Relatively private

Ordered Insertion into HLists like [(Nat,a)]

Useful functions

For overloading

 (T1 (),"3")
 (T2 (T1 ()),"31")
 (T2 (T3 (T1 ())),"321")
 (T2 (T3a (T3 (T1 ()))),"3221")