xmonad-contrib-0.18.0: Community-maintained extensions for xmonad
Copyright(c) 2007 Andrea Rossato David Roundy
LicenseBSD-style (see xmonad/LICENSE)
Maintainerandrea.rossato@unibz.it
Stabilityunstable
Portabilityunportable
Safe HaskellNone
LanguageHaskell2010

XMonad.Util.Invisible

Contents

Description

A data type to store the layout state

Synopsis

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 Source #

Constructors

I (m a) 

Instances

Instances details
MonadFail m => MonadFail (Invisible m) Source # 
Instance details

Defined in XMonad.Util.Invisible

Methods

fail :: String -> Invisible m a #

Applicative m => Applicative (Invisible m) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in XMonad.Util.Invisible

Monad m => Show (Invisible m a) Source # 
Instance details

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 () Source #