Safe Haskell	Safe-Inferred
Language	GHC2021

Chiasma.Ui.Data.View

Synopsis

data Pane = Pane {
- open :: Bool
- pin :: Bool
- cwd :: Maybe Text
}
newtype Layout = Layout {
- axis :: Axis
}
data View a = View {
- ident :: Ident
- state :: ViewState
- geometry :: ViewGeometry
- extra :: 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 = Tree {
- treeData :: l
- treeSubs :: [TreeSub l p]
}
data TreeSub l p
- = TreeNode {
  - subTree :: Tree l p
  }
- | TreeLeaf {
  - leafData :: 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)
leaves :: (Data l, Data p) => Fold (Tree l p) p
nodes :: (Data l, Data p) => Fold (Tree l p) l

Documentation

data Pane Source #

Constructors

Pane
Fields open :: Bool pin :: Bool cwd :: Maybe Text

Instances

Instances details

Data Pane Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Chiasma.Ui.Data.View Methods showsPrec :: Int -> Pane -> ShowS # show :: Pane -> String # showList :: [Pane] -> ShowS #
Default Pane Source #
Instance details Defined in Chiasma.Ui.Data.View Methods def :: Pane #
Eq Pane Source #
Instance details Defined in Chiasma.Ui.Data.View Methods (==) :: Pane -> Pane -> Bool # (/=) :: Pane -> Pane -> Bool #
Pretty Pane Source #
Instance details Defined in Chiasma.Ui.Data.View Methods pretty :: Pane -> Doc ann # prettyList :: [Pane] -> Doc ann #
Pretty (View Pane) Source #
Instance details Defined in Chiasma.Ui.Data.View Methods pretty :: View Pane -> Doc ann # prettyList :: [View Pane] -> Doc ann #
type Rep Pane Source #
Instance details 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 Source #

Constructors

Layout
Fields axis :: Axis

Instances

Instances details

Data Layout Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Chiasma.Ui.Data.View Methods showsPrec :: Int -> Layout -> ShowS # show :: Layout -> String # showList :: [Layout] -> ShowS #
Default Layout Source #
Instance details Defined in Chiasma.Ui.Data.View Methods def :: Layout #
Eq Layout Source #
Instance details Defined in Chiasma.Ui.Data.View Methods (==) :: Layout -> Layout -> Bool # (/=) :: Layout -> Layout -> Bool #
Pretty Layout Source #
Instance details Defined in Chiasma.Ui.Data.View Methods pretty :: Layout -> Doc ann # prettyList :: [Layout] -> Doc ann #
Pretty (View Layout) Source #
Instance details Defined in Chiasma.Ui.Data.View Methods pretty :: View Layout -> Doc ann # prettyList :: [View Layout] -> Doc ann #
type Rep Layout Source #
Instance details 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 Source #

Constructors

View
Fields ident :: Ident state :: ViewState geometry :: ViewGeometry extra :: a

Instances

Instances details

Data a => Data (View a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Chiasma.Ui.Data.View Methods showsPrec :: Int -> View a -> ShowS # show :: View a -> String # showList :: [View a] -> ShowS #
Identifiable (View a) Source #
Instance details Defined in Chiasma.Ui.Data.View Methods identify :: View a -> Ident Source #
Default a => Default (View a) Source #
Instance details Defined in Chiasma.Ui.Data.View Methods def :: View a #
Eq a => Eq (View a) Source #
Instance details Defined in Chiasma.Ui.Data.View Methods (==) :: View a -> View a -> Bool # (/=) :: View a -> View a -> Bool #
Pretty (View Layout) Source #
Instance details Defined in Chiasma.Ui.Data.View Methods pretty :: View Layout -> Doc ann # prettyList :: [View Layout] -> Doc ann #
Pretty (View Pane) Source #
Instance details Defined in Chiasma.Ui.Data.View Methods pretty :: View Pane -> Doc ann # prettyList :: [View Pane] -> Doc ann #
type Rep (View a) Source #
Instance details 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 Source #

type LayoutView = View Layout Source #

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

consPane :: Ident -> PaneView Source #

consLayoutAs :: Axis -> Ident -> LayoutView Source #

consLayout :: Ident -> LayoutView Source #

consLayoutVertical :: Ident -> LayoutView Source #

data Tree l p Source #

Constructors

Tree
Fields treeData :: l treeSubs :: [TreeSub l p]

Instances

Instances details

Bifoldable Tree Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Chiasma.Ui.Data.View Methods identify :: Tree l p -> Ident Source #
(Eq l, Eq p) => Eq (Tree l p) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Chiasma.Ui.Data.View Methods plate :: Traversal' (Tree l p) (Tree l p) #
(Pretty l, Pretty p) => Pretty (Tree l p) Source #
Instance details Defined in Chiasma.Ui.Data.View Methods pretty :: Tree l p -> Doc ann # prettyList :: [Tree l p] -> Doc ann #
type Rep (Tree l p) Source #
Instance details 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) Source #
Instance details Defined in Chiasma.Ui.Data.View type Index (Tree _1 _2) = Ident
type IxValue (Tree l p) Source #
Instance details Defined in Chiasma.Ui.Data.View type IxValue (Tree l p) = Tree l p

data TreeSub l p Source #

Constructors

TreeNode
Fields subTree :: Tree l p
TreeLeaf
Fields leafData :: p

Instances

Instances details

Bifoldable TreeSub Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Chiasma.Ui.Data.View Methods pretty :: TreeSub l p -> Doc ann # prettyList :: [TreeSub l p] -> Doc ann #
type Rep (TreeSub l p) Source #
Instance details 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 Source #

type ViewTreeSub = TreeSub LayoutView PaneView Source #

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

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

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

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

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

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

All subtrees including self.

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

All transitive leaves in the tree.

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

All transitive nodes in the tree.