XMonad.Util.Invisible

A data type to store the layout state

Usage:

A wrapper data type to store layout state that shouldn't be persisted across restarts. A common wrapped type to use is Maybe a. Invisible derives trivial definitions for Read and Show, so the wrapped data type need not do so.

newtype Invisible (m :: Type -> Type) a

Constructors

I (m a)

Instances

MonadFail m => MonadFail (Invisible m)

Defined in XMonad.Util.Invisible

Methods

fail :: String -> Invisible m a

Applicative m => Applicative (Invisible m)

Defined in XMonad.Util.Invisible

Methods

pure :: a -> Invisible m a

(<*>) :: Invisible m (a -> b) -> Invisible m a -> Invisible m b

liftA2 :: (a -> b -> c) -> Invisible m a -> Invisible m b -> Invisible m c

(*>) :: Invisible m a -> Invisible m b -> Invisible m b

(<*) :: Invisible m a -> Invisible m b -> Invisible m a

Functor m => Functor (Invisible m)

Defined in XMonad.Util.Invisible

Methods

fmap :: (a -> b) -> Invisible m a -> Invisible m b

(<$) :: a -> Invisible m b -> Invisible m a

Monad m => Monad (Invisible m)

Defined in XMonad.Util.Invisible

Methods

(>>=) :: Invisible m a -> (a -> Invisible m b) -> Invisible m b

(>>) :: Invisible m a -> Invisible m b -> Invisible m b

return :: a -> Invisible m a

(Functor m, Monad m, MonadFail m) => Read (Invisible m a)

Defined in XMonad.Util.Invisible

Methods

readsPrec :: Int -> ReadS (Invisible m a)

readList :: ReadS [Invisible m a]

readPrec :: ReadPrec (Invisible m a)

readListPrec :: ReadPrec [Invisible m a]

Monad m => Show (Invisible m a)

Defined in XMonad.Util.Invisible

Methods

showsPrec :: Int -> Invisible m a -> ShowS

show :: Invisible m a -> String

showList :: [Invisible m a] -> ShowS

whenIJust :: Monad m => Invisible Maybe a -> (a -> m ()) -> m ()

fromIMaybe :: a -> Invisible Maybe a -> a