Documentation

sameId :: Eq a => a -> View a -> Bool Source #

view :: Lens' Views [View a] -> (Ident -> ViewsError) -> Ident -> Views -> Either ViewsError (View a) Source #

viewById :: Eq a => Lens' Views [View a] -> a -> Views -> Maybe (View a) Source #

insertView :: Lens' Views [View a] -> View a -> Views -> Views Source #

updateView :: forall a. Lens' Views [View a] -> (Ident -> ViewsError) -> View a -> Views -> Views Source #

session :: Ident -> Views -> Either ViewsError (View SessionId) Source #

sessionById :: SessionId -> Views -> Maybe (View SessionId) Source #

insertSession :: View SessionId -> Views -> Views Source #

updateSession :: View SessionId -> Views -> Views Source #

window :: Ident -> Views -> Either ViewsError (View WindowId) Source #

windowById :: WindowId -> Views -> Maybe (View WindowId) Source #

insertWindow :: View WindowId -> Views -> Views Source #

updateWindow :: View WindowId -> Views -> Views Source #

pane :: Ident -> Views -> Either ViewsError (View PaneId) Source #

paneById :: PaneId -> Views -> Maybe (View PaneId) Source #

paneId :: Ident -> Views -> Either ViewsError PaneId Source #

insertPane :: View PaneId -> Views -> Views Source #

updatePane :: View PaneId -> Views -> Views Source #

type Getter a = Ident -> Views -> Either ViewsError (View a) Source #

type Setter a = View a -> Views -> Views Source #

viewsLog :: Member (AtomicState Views) r => Doc AnsiStyle -> Sem r () Source #

viewsLogS :: Member (AtomicState Views) r => Text -> Sem r () Source #

addView :: Member (AtomicState Views) r => Setter a -> Ident -> Sem r (View a) Source #

findOrCreateView :: Member (AtomicState Views) r => Getter a -> Setter a -> Ident -> Sem r (View a) Source #