module Chiasma.Ui.Data.ViewState where import Data.Data (Data) newtype ViewState = ViewState { ViewState -> Bool minimized :: Bool } deriving stock (ViewState -> ViewState -> Bool (ViewState -> ViewState -> Bool) -> (ViewState -> ViewState -> Bool) -> Eq ViewState forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a /= :: ViewState -> ViewState -> Bool $c/= :: ViewState -> ViewState -> Bool == :: ViewState -> ViewState -> Bool $c== :: ViewState -> ViewState -> Bool Eq, Int -> ViewState -> ShowS [ViewState] -> ShowS ViewState -> String (Int -> ViewState -> ShowS) -> (ViewState -> String) -> ([ViewState] -> ShowS) -> Show ViewState forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [ViewState] -> ShowS $cshowList :: [ViewState] -> ShowS show :: ViewState -> String $cshow :: ViewState -> String showsPrec :: Int -> ViewState -> ShowS $cshowsPrec :: Int -> ViewState -> ShowS Show, Typeable ViewState Typeable ViewState -> (forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ViewState -> c ViewState) -> (forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ViewState) -> (ViewState -> Constr) -> (ViewState -> DataType) -> (forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ViewState)) -> (forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ViewState)) -> ((forall b. Data b => b -> b) -> ViewState -> ViewState) -> (forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ViewState -> r) -> (forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ViewState -> r) -> (forall u. (forall d. Data d => d -> u) -> ViewState -> [u]) -> (forall u. Int -> (forall d. Data d => d -> u) -> ViewState -> u) -> (forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> ViewState -> m ViewState) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> ViewState -> m ViewState) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> ViewState -> m ViewState) -> Data ViewState ViewState -> DataType ViewState -> Constr (forall b. Data b => b -> b) -> ViewState -> ViewState forall a. Typeable a -> (forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> a -> c a) -> (forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c a) -> (a -> Constr) -> (a -> DataType) -> (forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c a)) -> (forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a)) -> ((forall b. Data b => b -> b) -> a -> a) -> (forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r) -> (forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r) -> (forall u. (forall d. Data d => d -> u) -> a -> [u]) -> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u) -> (forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> a -> m a) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> a -> m a) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> a -> m a) -> Data a forall u. Int -> (forall d. Data d => d -> u) -> ViewState -> u forall u. (forall d. Data d => d -> u) -> ViewState -> [u] forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ViewState -> r forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ViewState -> r forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> ViewState -> m ViewState forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> ViewState -> m ViewState forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ViewState forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ViewState -> c ViewState forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ViewState) forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ViewState) gmapMo :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> ViewState -> m ViewState $cgmapMo :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> ViewState -> m ViewState gmapMp :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> ViewState -> m ViewState $cgmapMp :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> ViewState -> m ViewState gmapM :: forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> ViewState -> m ViewState $cgmapM :: forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> ViewState -> m ViewState gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> ViewState -> u $cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> ViewState -> u gmapQ :: forall u. (forall d. Data d => d -> u) -> ViewState -> [u] $cgmapQ :: forall u. (forall d. Data d => d -> u) -> ViewState -> [u] gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ViewState -> r $cgmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ViewState -> r gmapQl :: forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ViewState -> r $cgmapQl :: forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ViewState -> r gmapT :: (forall b. Data b => b -> b) -> ViewState -> ViewState $cgmapT :: (forall b. Data b => b -> b) -> ViewState -> ViewState dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ViewState) $cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ViewState) dataCast1 :: forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ViewState) $cdataCast1 :: forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ViewState) dataTypeOf :: ViewState -> DataType $cdataTypeOf :: ViewState -> DataType toConstr :: ViewState -> Constr $ctoConstr :: ViewState -> Constr gunfold :: forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ViewState $cgunfold :: forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ViewState gfoldl :: forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ViewState -> c ViewState $cgfoldl :: forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ViewState -> c ViewState Data, (forall x. ViewState -> Rep ViewState x) -> (forall x. Rep ViewState x -> ViewState) -> Generic ViewState forall x. Rep ViewState x -> ViewState forall x. ViewState -> Rep ViewState x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep ViewState x -> ViewState $cfrom :: forall x. ViewState -> Rep ViewState x Generic) instance Default ViewState where def :: ViewState def = Bool -> ViewState ViewState Bool False