module Chiasma.Codec.Data.Window where import Chiasma.Codec (TmuxCodec) import Chiasma.Data.TmuxId (WindowId) data Window = Window { Window -> WindowId windowId :: WindowId, Window -> Int windowWidth :: Int, Window -> Int windowHeight :: Int } deriving (Window -> Window -> Bool (Window -> Window -> Bool) -> (Window -> Window -> Bool) -> Eq Window forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a /= :: Window -> Window -> Bool $c/= :: Window -> Window -> Bool == :: Window -> Window -> Bool $c== :: Window -> Window -> Bool Eq, Int -> Window -> ShowS [Window] -> ShowS Window -> String (Int -> Window -> ShowS) -> (Window -> String) -> ([Window] -> ShowS) -> Show Window forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [Window] -> ShowS $cshowList :: [Window] -> ShowS show :: Window -> String $cshow :: Window -> String showsPrec :: Int -> Window -> ShowS $cshowsPrec :: Int -> Window -> ShowS Show, (forall x. Window -> Rep Window x) -> (forall x. Rep Window x -> Window) -> Generic Window forall x. Rep Window x -> Window forall x. Window -> Rep Window x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep Window x -> Window $cfrom :: forall x. Window -> Rep Window x Generic, TmuxQuery Text -> Either TmuxDecodeError Window (Text -> Either TmuxDecodeError Window) -> TmuxQuery -> TmuxCodec Window forall a. (Text -> Either TmuxDecodeError a) -> TmuxQuery -> TmuxCodec a query :: TmuxQuery $cquery :: TmuxQuery decode :: Text -> Either TmuxDecodeError Window $cdecode :: Text -> Either TmuxDecodeError Window TmuxCodec)