| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Chiasma.Data.Panes
Synopsis
- data Panes (p :: Type) (a :: Type) :: Type where
- type TmuxPanes p = TmuxApi (Panes p)
- query :: forall p a. TmuxCodec p => Panes p a -> TmuxQuery
- selection :: Panes p a -> PaneSelection
- request :: Panes p a -> TmuxQuery -> TmuxRequest
- encode :: forall p a. TmuxCodec p => Panes p a -> TmuxRequest
- sameId :: PaneId -> WithPaneId a -> Maybe a
- paneById :: TmuxCodec p => PaneId -> [Text] -> Either DecodeError (Maybe p)
- decode :: forall p a. TmuxCodec p => TmuxResponse -> Panes p a -> Either DecodeError a
Documentation
data Panes (p :: Type) (a :: Type) :: Type where Source #
A TmuxApi command for listing panes, with different query criteria.
The constructors taking a PaneSelection list all panes that are present in the selected scope, but may constrain
the return value.
The constructors Get and Find return only the pane with the requested ID.
Constructors
| List :: PaneSelection -> Panes p [p] | Return all panes covered by the selection. |
| First :: PaneSelection -> Panes p p | Return one pane covered by the selection, fail if there is none. |
| One :: PaneSelection -> Panes p p | Return one pane covered by the selection, fail if there is none or more than one. |
| Get :: PaneId -> Panes p p | Return the pane with the specified ID, fail if there is none. |
| Find :: PaneId -> Panes p (Maybe p) | Return the pane with the specified ID if it exists. |
selection :: Panes p a -> PaneSelection Source #
decode :: forall p a. TmuxCodec p => TmuxResponse -> Panes p a -> Either DecodeError a Source #