Chiasma.Ui.Data.View

Documentation

data Pane

Constructors

Pane

Fields

• open :: Bool
• pin :: Bool
• cwd :: Maybe Text

Instances

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

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

Show Pane

Defined in Chiasma.Ui.Data.View

Methods

showsPrec :: Int -> Pane -> ShowS

show :: Pane -> String

showList :: [Pane] -> ShowS

Default Pane

Defined in Chiasma.Ui.Data.View

Methods

def :: Pane

Eq Pane

Defined in Chiasma.Ui.Data.View

Methods

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

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

Pretty Pane

Defined in Chiasma.Ui.Data.View

Methods

pretty :: Pane -> Doc ann

prettyList :: [Pane] -> Doc ann

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.10.1.0-Enq17vjYLUVFgBfc7msm0x" '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 Text)))))

newtype Layout

Constructors

Layout

Fields

• axis :: Axis

Instances

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

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

Show Layout

Defined in Chiasma.Ui.Data.View

Methods

showsPrec :: Int -> Layout -> ShowS

show :: Layout -> String

showList :: [Layout] -> ShowS

Default Layout

Defined in Chiasma.Ui.Data.View

Methods

def :: Layout

Eq Layout

Defined in Chiasma.Ui.Data.View

Methods

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

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

Pretty Layout

Defined in Chiasma.Ui.Data.View

Methods

pretty :: Layout -> Doc ann

prettyList :: [Layout] -> Doc ann

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.10.1.0-Enq17vjYLUVFgBfc7msm0x" 'True) (C1 ('MetaCons "Layout" 'PrefixI 'True) (S1 ('MetaSel ('Just "axis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Axis)))

data View a

Constructors

View

Fields

• ident :: Ident
• state :: ViewState
• geometry :: ViewGeometry
• extra :: a

Instances

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)

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

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

Identifiable (View a)

Defined in Chiasma.Ui.Data.View

Methods

identify :: View a -> Ident

Default a => Default (View a)

Defined in Chiasma.Ui.Data.View

Methods

def :: View a

Eq a => Eq (View a)

Defined in Chiasma.Ui.Data.View

Methods

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

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

Pretty (View Layout)

Defined in Chiasma.Ui.Data.View

Methods

pretty :: View Layout -> Doc ann

prettyList :: [View Layout] -> Doc ann

Pretty (View Pane)

Defined in Chiasma.Ui.Data.View

Methods

pretty :: View Pane -> Doc ann

prettyList :: [View Pane] -> Doc ann

type Rep (View a)

Defined in Chiasma.Ui.Data.View

type Rep (View a) = D1 ('MetaData "View" "Chiasma.Ui.Data.View" "chiasma-0.10.1.0-Enq17vjYLUVFgBfc7msm0x" '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))))

type PaneView = View Pane

type LayoutView = View Layout

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

consPane :: Ident -> PaneView

consLayoutAs :: Axis -> Ident -> LayoutView

consLayout :: Ident -> LayoutView

consLayoutVertical :: Ident -> LayoutView

data Tree l p

Constructors

Tree

Fields

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

Instances

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

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

(Data p, Data l) => 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)

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

(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

Identifiable l => Identifiable (Tree l p)

Defined in Chiasma.Ui.Data.View

Methods

identify :: Tree l p -> Ident

(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

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

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.10.1.0-Enq17vjYLUVFgBfc7msm0x" '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

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

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

(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)

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

(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

(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

(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

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.10.1.0-Enq17vjYLUVFgBfc7msm0x" '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)))

type ViewTree = Tree LayoutView PaneView

type ViewTreeSub = TreeSub LayoutView PaneView

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

treeByIdentTraversal :: Identifiable l => Ident -> Traversal' (Tree l p) (Tree l p)

treesIdent :: forall l p. Identifiable l => Data l => Data p => Ident -> Fold (Tree l p) (Tree l p)

treeByIdent :: forall l p. Identifiable l => Data l => Data p => Ident -> Tree l p -> Maybe (Tree l p)

treesByIdent :: forall l p. Identifiable l => Data l => Data p => Ident -> Tree l p -> [Tree l p]

trees :: (Data l, Data p) => Fold (Tree l p) (Tree l p)

All subtrees including self.

leaves :: (Data l, Data p) => Fold (Tree l p) p

All transitive leaves in the tree.

nodes :: (Data l, Data p) => Fold (Tree l p) l

All transitive nodes in the tree.