Chiasma.View
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 :: 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 #