Safe Haskell	None
Language	Haskell2010

Chiasma.Data.Views

Documentation

data ViewsError Source #

Constructors

NoSuchSession Ident
NoSuchWindow Ident
NoSuchPane Ident
NoPaneId Ident

Instances

Instances details

Eq ViewsError Source #
Instance details Defined in Chiasma.Data.Views Methods (==) :: ViewsError -> ViewsError -> Bool # (/=) :: ViewsError -> ViewsError -> Bool #
Show ViewsError Source #
Instance details Defined in Chiasma.Data.Views Methods showsPrec :: Int -> ViewsError -> ShowS # show :: ViewsError -> String # showList :: [ViewsError] -> ShowS #
AsViewsError ViewsError Source #
Instance details Defined in Chiasma.Data.Views Methods _ViewsError :: Prism' ViewsError ViewsError Source # _NoSuchSession :: Prism' ViewsError Ident Source # _NoSuchWindow :: Prism' ViewsError Ident Source # _NoSuchPane :: Prism' ViewsError Ident Source # _NoPaneId :: Prism' ViewsError Ident Source #
DeepPrisms ViewsError ViewsError Source #
Instance details Defined in Chiasma.Data.Views Methods prism :: Prism' ViewsError ViewsError
DeepPrisms RenderError ViewsError
Instance details Defined in Chiasma.Data.RenderError Methods prism :: Prism' RenderError ViewsError

class AsViewsError r where Source #

Minimal complete definition

_ViewsError

Methods

_ViewsError :: Prism' r ViewsError Source #

_NoSuchSession :: Prism' r Ident Source #

_NoSuchWindow :: Prism' r Ident Source #

_NoSuchPane :: Prism' r Ident Source #

_NoPaneId :: Prism' r Ident Source #

Instances

Instances details

AsViewsError ViewsError Source #
Instance details Defined in Chiasma.Data.Views Methods _ViewsError :: Prism' ViewsError ViewsError Source # _NoSuchSession :: Prism' ViewsError Ident Source # _NoSuchWindow :: Prism' ViewsError Ident Source # _NoSuchPane :: Prism' ViewsError Ident Source # _NoPaneId :: Prism' ViewsError Ident Source #

data Views Source #

Constructors

Views
Fields _sessions :: [View SessionId] _windows :: [View WindowId] _panes :: [View PaneId] _log :: [Doc AnsiStyle]

Instances

Instances details

Eq Views Source #
Instance details Defined in Chiasma.Data.Views Methods (==) :: Views -> Views -> Bool # (/=) :: Views -> Views -> Bool #
Show Views Source #
Instance details Defined in Chiasma.Data.Views Methods showsPrec :: Int -> Views -> ShowS # show :: Views -> String # showList :: [Views] -> ShowS #
Generic Views Source #
Instance details Defined in Chiasma.Data.Views Associated Types type Rep Views :: Type -> Type # Methods from :: Views -> Rep Views x # to :: Rep Views x -> Views #
Default Views Source #
Instance details Defined in Chiasma.Data.Views Methods def :: Views #
HasViews Views Source #
Instance details Defined in Chiasma.Data.Views Methods views :: Lens' Views Views Source # log :: Lens' Views [Doc AnsiStyle] Source # panes :: Lens' Views [View PaneId] Source # sessions :: Lens' Views [View SessionId] Source # windows :: Lens' Views [View WindowId] Source #
DeepLenses Views Views Source #
Instance details Defined in Chiasma.Data.Views Methods deepLens :: Lens' Views Views
type Rep Views Source #
Instance details Defined in Chiasma.Data.Views type Rep Views = D1 ('MetaData "Views" "Chiasma.Data.Views" "chiasma-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Views" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_sessions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [View SessionId]) :: S1 ('MetaSel ('Just "_windows") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [View WindowId])) :: (S1 ('MetaSel ('Just "_panes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [View PaneId]) :*: S1 ('MetaSel ('Just "_log") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Doc AnsiStyle]))))

class HasViews c where Source #

Minimal complete definition

views

Methods

views :: Lens' c Views Source #

log :: Lens' c [Doc AnsiStyle] Source #

panes :: Lens' c [View PaneId] Source #

sessions :: Lens' c [View SessionId] Source #

windows :: Lens' c [View WindowId] Source #

Instances

Instances details

HasViews Views Source #
Instance details Defined in Chiasma.Data.Views Methods views :: Lens' Views Views Source # log :: Lens' Views [Doc AnsiStyle] Source # panes :: Lens' Views [View PaneId] Source # sessions :: Lens' Views [View SessionId] Source # windows :: Lens' Views [View WindowId] Source #