Chiasma.Ui.Data.View

Documentation

data Pane

Constructors

Pane

Fields

• _open :: Bool
• _pin :: Bool
• _cwd :: Maybe FilePath

Instances

Eq Pane

Defined in Chiasma.Ui.Data.View

Methods

(==) :: Pane -> Pane -> Bool

(/=) :: Pane -> Pane -> Bool

Data Pane

Defined in Chiasma.Ui.Data.View

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pane -> c Pane

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pane

toConstr :: Pane -> Constr

dataTypeOf :: Pane -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pane)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pane)

gmapT :: (forall b. Data b => b -> b) -> Pane -> Pane

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pane -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pane -> r

gmapQ :: (forall d. Data d => d -> u) -> Pane -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pane -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pane -> m Pane

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pane -> m Pane

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pane -> m Pane

Show Pane

Defined in Chiasma.Ui.Data.View

Methods

showsPrec :: Int -> Pane -> ShowS

show :: Pane -> String

showList :: [Pane] -> ShowS

Generic Pane

Defined in Chiasma.Ui.Data.View

Associated Types

type Rep Pane :: Type -> Type

Methods

from :: Pane -> Rep Pane x

to :: Rep Pane x -> Pane

Default Pane

Defined in Chiasma.Ui.Data.View

Methods

def :: Pane

Pretty Pane

Defined in Chiasma.Ui.Data.View

Methods

pretty :: Pane -> Doc ann

prettyList :: [Pane] -> Doc ann

HasPane Pane

Defined in Chiasma.Ui.Data.View

Methods

pane :: Lens' Pane Pane

cwd :: Lens' Pane (Maybe FilePath)

open :: Lens' Pane Bool

pin :: Lens' Pane Bool

Pretty (View Pane)

Defined in Chiasma.Ui.Data.View

Methods

pretty :: View Pane -> Doc ann

prettyList :: [View Pane] -> Doc ann

type Rep Pane

Defined in Chiasma.Ui.Data.View

type Rep Pane = D1 ('MetaData "Pane" "Chiasma.Ui.Data.View" "chiasma-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Pane" 'PrefixI 'True) (S1 ('MetaSel ('Just "_open") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "_pin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "_cwd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)))))

class HasPane c where

Minimal complete definition

pane

Methods

pane :: Lens' c Pane

cwd :: Lens' c (Maybe FilePath)

open :: Lens' c Bool

pin :: Lens' c Bool

Instances

HasPane Pane

Defined in Chiasma.Ui.Data.View

Methods

pane :: Lens' Pane Pane

cwd :: Lens' Pane (Maybe FilePath)

open :: Lens' Pane Bool

pin :: Lens' Pane Bool

newtype Layout

Constructors

Layout

Fields

• vertical :: Bool

Instances

Eq Layout

Defined in Chiasma.Ui.Data.View

Methods

(==) :: Layout -> Layout -> Bool

(/=) :: Layout -> Layout -> Bool

Data Layout

Defined in Chiasma.Ui.Data.View

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Layout -> c Layout

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Layout

toConstr :: Layout -> Constr

dataTypeOf :: Layout -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Layout)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Layout)

gmapT :: (forall b. Data b => b -> b) -> Layout -> Layout

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Layout -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Layout -> r

gmapQ :: (forall d. Data d => d -> u) -> Layout -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Layout -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Layout -> m Layout

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Layout -> m Layout

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Layout -> m Layout

Show Layout

Defined in Chiasma.Ui.Data.View

Methods

showsPrec :: Int -> Layout -> ShowS

show :: Layout -> String

showList :: [Layout] -> ShowS

Generic Layout

Defined in Chiasma.Ui.Data.View

Associated Types

type Rep Layout :: Type -> Type

Methods

from :: Layout -> Rep Layout x

to :: Rep Layout x -> Layout

Default Layout

Defined in Chiasma.Ui.Data.View

Methods

def :: Layout

Pretty Layout

Defined in Chiasma.Ui.Data.View

Methods

pretty :: Layout -> Doc ann

prettyList :: [Layout] -> Doc ann

HasLayout Layout

Defined in Chiasma.Ui.Data.View

Methods

layout :: Lens' Layout Layout

_vertical :: Lens' Layout Bool

Pretty (View Layout)

Defined in Chiasma.Ui.Data.View

Methods

pretty :: View Layout -> Doc ann

prettyList :: [View Layout] -> Doc ann

type Rep Layout

Defined in Chiasma.Ui.Data.View

type Rep Layout = D1 ('MetaData "Layout" "Chiasma.Ui.Data.View" "chiasma-0.2.0.0-inplace" 'True) (C1 ('MetaCons "Layout" 'PrefixI 'True) (S1 ('MetaSel ('Just "vertical") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

class HasLayout c where

Minimal complete definition

layout

Methods

layout :: Lens' c Layout

_vertical :: Lens' c Bool

Instances

HasLayout Layout

Defined in Chiasma.Ui.Data.View

Methods

layout :: Lens' Layout Layout

_vertical :: Lens' Layout Bool

data View a

Constructors

View

Fields

• _ident :: Ident
• _state :: ViewState
• _geometry :: ViewGeometry
• _extra :: a

Instances

Eq a => Eq (View a)

Defined in Chiasma.Ui.Data.View

Methods

(==) :: View a -> View a -> Bool

(/=) :: View a -> View a -> Bool

Data a => Data (View a)

Defined in Chiasma.Ui.Data.View

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> View a -> c (View a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (View a)

toConstr :: View a -> Constr

dataTypeOf :: View a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (View a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (View a))

gmapT :: (forall b. Data b => b -> b) -> View a -> View a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> View a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> View a -> r

gmapQ :: (forall d. Data d => d -> u) -> View a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> View a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> View a -> m (View a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> View a -> m (View a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> View a -> m (View a)

Show a => Show (View a)

Defined in Chiasma.Ui.Data.View

Methods

showsPrec :: Int -> View a -> ShowS

show :: View a -> String

showList :: [View a] -> ShowS

Generic (View a)

Defined in Chiasma.Ui.Data.View

Associated Types

type Rep (View a) :: Type -> Type

Methods

from :: View a -> Rep (View a) x

to :: Rep (View a) x -> View a

Default a => Default (View a)

Defined in Chiasma.Ui.Data.View

Methods

def :: View a

Pretty (View Pane)

Defined in Chiasma.Ui.Data.View

Methods

pretty :: View Pane -> Doc ann

prettyList :: [View Pane] -> Doc ann

Pretty (View Layout)

Defined in Chiasma.Ui.Data.View

Methods

pretty :: View Layout -> Doc ann

prettyList :: [View Layout] -> Doc ann

Identifiable (View a)

Defined in Chiasma.Ui.Data.View

Methods

identify :: View a -> Ident

HasView (View a) a

Defined in Chiasma.Ui.Data.View

Methods

view :: Lens' (View a) (View a)

extra :: Lens' (View a) a

geometry :: Lens' (View a) ViewGeometry

ident :: Lens' (View a) Ident

state :: Lens' (View a) ViewState

type Rep (View a)

Defined in Chiasma.Ui.Data.View

type Rep (View a) = D1 ('MetaData "View" "Chiasma.Ui.Data.View" "chiasma-0.2.0.0-inplace" 'False) (C1 ('MetaCons "View" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_ident") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel ('Just "_state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ViewState)) :*: (S1 ('MetaSel ('Just "_geometry") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ViewGeometry) :*: S1 ('MetaSel ('Just "_extra") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

class HasView c a | c -> a where

Minimal complete definition

view

Methods

view :: Lens' c (View a)

extra :: Lens' c a

geometry :: Lens' c ViewGeometry

ident :: Lens' c Ident

state :: Lens' c ViewState

Instances

HasView (View a) a

Defined in Chiasma.Ui.Data.View

Methods

view :: Lens' (View a) (View a)

extra :: Lens' (View a) a

geometry :: Lens' (View a) ViewGeometry

ident :: Lens' (View a) Ident

state :: Lens' (View a) ViewState

type PaneView = View Pane

type LayoutView = View Layout

prettyView :: Doc a -> Ident -> ViewState -> ViewGeometry -> Doc a

consPane :: Ident -> PaneView

consLayoutAs :: Bool -> Ident -> LayoutView

consLayout :: Ident -> LayoutView

consLayoutVertical :: Ident -> LayoutView

data Tree l p

Constructors

Tree

Fields

• treeData :: l
• treeSubs :: [TreeSub l p]

Instances

Bifunctor Tree

Defined in Chiasma.Ui.Data.View

Methods

bimap :: (a -> b) -> (c -> d) -> Tree a c -> Tree b d

first :: (a -> b) -> Tree a c -> Tree b c

second :: (b -> c) -> Tree a b -> Tree a c

Bifoldable Tree

Defined in Chiasma.Ui.Data.View

Methods

bifold :: Monoid m => Tree m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Tree a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Tree a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Tree a b -> c

(Eq l, Eq p) => Eq (Tree l p)

Defined in Chiasma.Ui.Data.View

Methods

(==) :: Tree l p -> Tree l p -> Bool

(/=) :: Tree l p -> Tree l p -> Bool

(Data l, Data p) => Data (Tree l p)

Defined in Chiasma.Ui.Data.View

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Tree l p -> c (Tree l p)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Tree l p)

toConstr :: Tree l p -> Constr

dataTypeOf :: Tree l p -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Tree l p))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Tree l p))

gmapT :: (forall b. Data b => b -> b) -> Tree l p -> Tree l p

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tree l p -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tree l p -> r

gmapQ :: (forall d. Data d => d -> u) -> Tree l p -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Tree l p -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tree l p -> m (Tree l p)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tree l p -> m (Tree l p)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tree l p -> m (Tree l p)

(Show l, Show p) => Show (Tree l p)

Defined in Chiasma.Ui.Data.View

Methods

showsPrec :: Int -> Tree l p -> ShowS

show :: Tree l p -> String

showList :: [Tree l p] -> ShowS

Generic (Tree l p)

Defined in Chiasma.Ui.Data.View

Associated Types

type Rep (Tree l p) :: Type -> Type

Methods

from :: Tree l p -> Rep (Tree l p) x

to :: Rep (Tree l p) x -> Tree l p

Identifiable l => Ixed (Tree l p)

Defined in Chiasma.Ui.Data.View

Methods

ix :: Index (Tree l p) -> Traversal' (Tree l p) (IxValue (Tree l p))

(Data l, Data p) => Plated (Tree l p)

Defined in Chiasma.Ui.Data.View

Methods

plate :: Traversal' (Tree l p) (Tree l p)

(Pretty l, Pretty p) => Pretty (Tree l p)

Defined in Chiasma.Ui.Data.View

Methods

pretty :: Tree l p -> Doc ann

prettyList :: [Tree l p] -> Doc ann

Identifiable l => Identifiable (Tree l p)

Defined in Chiasma.Ui.Data.View

Methods

identify :: Tree l p -> Ident

HasTree (Tree l p) l p

Defined in Chiasma.Ui.Data.View

Methods

tree :: Lens' (Tree l p) (Tree l p)

_treeData :: Lens' (Tree l p) l

_treeSubs :: Lens' (Tree l p) [TreeSub l p]

type Rep (Tree l p)

Defined in Chiasma.Ui.Data.View

type Rep (Tree l p) = D1 ('MetaData "Tree" "Chiasma.Ui.Data.View" "chiasma-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Tree" 'PrefixI 'True) (S1 ('MetaSel ('Just "treeData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 l) :*: S1 ('MetaSel ('Just "treeSubs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TreeSub l p])))

type Index (Tree _1 _2)

Defined in Chiasma.Ui.Data.View

type Index (Tree _1 _2) = Ident

type IxValue (Tree l p)

Defined in Chiasma.Ui.Data.View

type IxValue (Tree l p) = Tree l p

data TreeSub l p

Constructors

TreeNode

Fields

• _subTree :: Tree l p

TreeLeaf

Fields

• _leafData :: p

Instances

Bifunctor TreeSub

Defined in Chiasma.Ui.Data.View

Methods

bimap :: (a -> b) -> (c -> d) -> TreeSub a c -> TreeSub b d

first :: (a -> b) -> TreeSub a c -> TreeSub b c

second :: (b -> c) -> TreeSub a b -> TreeSub a c

Bifoldable TreeSub

Defined in Chiasma.Ui.Data.View

Methods

bifold :: Monoid m => TreeSub m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> TreeSub a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> TreeSub a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> TreeSub a b -> c

(Eq l, Eq p) => Eq (TreeSub l p)

Defined in Chiasma.Ui.Data.View

Methods

(==) :: TreeSub l p -> TreeSub l p -> Bool

(/=) :: TreeSub l p -> TreeSub l p -> Bool

(Data l, Data p) => Data (TreeSub l p)

Defined in Chiasma.Ui.Data.View

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TreeSub l p -> c (TreeSub l p)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (TreeSub l p)

toConstr :: TreeSub l p -> Constr

dataTypeOf :: TreeSub l p -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (TreeSub l p))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (TreeSub l p))

gmapT :: (forall b. Data b => b -> b) -> TreeSub l p -> TreeSub l p

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TreeSub l p -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TreeSub l p -> r

gmapQ :: (forall d. Data d => d -> u) -> TreeSub l p -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TreeSub l p -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TreeSub l p -> m (TreeSub l p)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TreeSub l p -> m (TreeSub l p)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TreeSub l p -> m (TreeSub l p)

(Show l, Show p) => Show (TreeSub l p)

Defined in Chiasma.Ui.Data.View

Methods

showsPrec :: Int -> TreeSub l p -> ShowS

show :: TreeSub l p -> String

showList :: [TreeSub l p] -> ShowS

Generic (TreeSub l p)

Defined in Chiasma.Ui.Data.View

Associated Types

type Rep (TreeSub l p) :: Type -> Type

Methods

from :: TreeSub l p -> Rep (TreeSub l p) x

to :: Rep (TreeSub l p) x -> TreeSub l p

(Pretty l, Pretty p) => Pretty (TreeSub l p)

Defined in Chiasma.Ui.Data.View

Methods

pretty :: TreeSub l p -> Doc ann

prettyList :: [TreeSub l p] -> Doc ann

HasTreeSub (TreeSub l p) l p

Defined in Chiasma.Ui.Data.View

Methods

treeSub :: Lens' (TreeSub l p) (TreeSub l p)

leafData :: Traversal' (TreeSub l p) p

subTree :: Traversal' (TreeSub l p) (Tree l p)

type Rep (TreeSub l p)

Defined in Chiasma.Ui.Data.View

type Rep (TreeSub l p) = D1 ('MetaData "TreeSub" "Chiasma.Ui.Data.View" "chiasma-0.2.0.0-inplace" 'False) (C1 ('MetaCons "TreeNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "_subTree") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tree l p))) :+: C1 ('MetaCons "TreeLeaf" 'PrefixI 'True) (S1 ('MetaSel ('Just "_leafData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 p)))

class HasTree c l p | c -> l p where

Minimal complete definition

tree

Methods

tree :: Lens' c (Tree l p)

_treeData :: Lens' c l

_treeSubs :: Lens' c [TreeSub l p]

Instances

HasTree (Tree l p) l p

Defined in Chiasma.Ui.Data.View

Methods

tree :: Lens' (Tree l p) (Tree l p)

_treeData :: Lens' (Tree l p) l

_treeSubs :: Lens' (Tree l p) [TreeSub l p]

class HasTreeSub c l p | c -> l p where

Minimal complete definition

treeSub

Methods

treeSub :: Lens' c (TreeSub l p)

leafData :: Traversal' c p

subTree :: Traversal' c (Tree l p)

Instances

HasTreeSub (TreeSub l p) l p

Defined in Chiasma.Ui.Data.View

Methods

treeSub :: Lens' (TreeSub l p) (TreeSub l p)

leafData :: Traversal' (TreeSub l p) p

subTree :: Traversal' (TreeSub l p) (Tree l p)

type ViewTree = Tree LayoutView PaneView

type ViewTreeSub = TreeSub LayoutView PaneView