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 :: (LayoutClass l Window, Read (l Window), HCompose (HCons t t1) (HNil -> l1), HMap Snd l1 l', Monad m, HCompose l' (m (XConfig (Choose Tall (Choose (Mirror Tall) Full))) -> Config (XConfig l))) => HCons t t1 -> IO ()
• runConfig' :: (HCompose (HCons t t1) (HNil -> l), HMap Snd l l', Monad m, HCompose l' (m a -> Config b)) => a -> HCons t t1 -> IO b
• set :: (Mode Set field e x y, HLength l ll, HLt ll (HSucc (HSucc (HSucc (HSucc HZero)))) b, Ins2 b (HSucc (HSucc (HSucc (HSucc HZero)))) HFalse (Config (XConfig x) -> Config (XConfig y)) l l') => field -> e -> l -> l'
• add :: (Mode Add field e x y, HLength l ll, HLt ll (HSucc (HSucc (HSucc (HSucc HZero)))) b, Ins2 b (HSucc (HSucc (HSucc (HSucc HZero)))) HFalse (Config (XConfig x) -> Config (XConfig y)) l l') => field -> e -> l -> l'
• modify :: (Mode Modify field e x y, HLength l ll, HLt ll (HSucc (HSucc (HSucc (HSucc HZero)))) b, Ins2 b (HSucc (HSucc (HSucc (HSucc HZero)))) HFalse (Config (XConfig x) -> Config (XConfig y)) l l') => field -> e -> l -> l'
• modifyIO :: (Mode ModifyIO field e x y, HLength l ll, HLt ll (HSucc (HSucc (HSucc (HSucc HZero)))) b, Ins2 b (HSucc (HSucc (HSucc (HSucc HZero)))) HFalse (Config (XConfig x) -> Config (XConfig y)) l l') => field -> e -> l -> l'
• modifyIO' :: (Mode ModifyIO field e x y, HLength l ll, HLt ll n b, Ins2 b n hold (Config (XConfig x) -> Config (XConfig y)) l l') => hold -> n -> field -> e -> l -> l'
• insertInto :: (Mode action field e x y, HLength l ll, HLt ll n b, Ins2 b n hold (Config (XConfig x) -> Config (XConfig y)) l l') => 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 :: (HLength l n, HSubtract a n c, HReplicateF c Id l1, HAppend l l1 l'', HAppend l'' (HCons (t, t1) HNil) l''1) => a -> t -> t1 -> l -> l''1
• insGeq :: (HCond t (t, a -> b) (t1, a -> c) z, HUpdateAtHNat n z l l', HLookupByHNat n l (t, a -> b)) => n -> t1 -> (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 :: (Monad m, HLength l ll, HLt ll n b1, Ins2 b1 n HFalse (m a -> m b) l l') => n -> (a -> m b) -> 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")