Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Layout d f k = Layout {
- layoutSchema :: Schema d f k
- layoutHelp :: [d]
- layoutMonad :: LayoutInh d -> State (LayoutState d) ()
- runLayout :: LayoutDoc d => Bool -> Layout d f k -> d
- coerceLayout :: Layout d f k -> Layout d f' k'
- newtype LayoutInh d = LayoutInh {
- layoutInh_message :: [d]
- defLayoutInh :: LayoutInh d
- type LayoutState d = Diff (Forest (LayoutNode d))
- type Diff a = Maybe a -> Maybe a
- type LayoutDoc d = (SchemaDoc d, Justifiable d)
- runLayoutForest :: LayoutDoc d => Bool -> Forest (LayoutNode d) -> d
- runLayoutForest' :: LayoutDoc d => Bool -> Forest (LayoutNode d) -> d
- runLayoutTree :: LayoutDoc d => Bool -> Tree (LayoutNode d) -> d
- runLayoutNode :: LayoutDoc d => Bool -> Tree (LayoutNode d) -> [d]
- data LayoutSeq d k a = LayoutSeq {
- layoutSeq_schema :: SchemaSeq d k a
- layoutSeq_help :: [d]
- layoutSeq_monad :: LayoutInh d -> State (LayoutState d) ()
- data LayoutPerm d k a = LayoutPerm {
- layoutPerm_help :: [d]
- layoutPerm_elem :: LayoutInh d -> [(d, [d])]
- data LayoutNode d
- = LayoutNode_Single d [d]
- | LayoutNode_List [d] [(d, [d])]
- | LayoutNode_Forest d [d] (Forest (LayoutNode d))
Type Layout
Layout | |
|
Instances
coerceLayout :: Layout d f k -> Layout d f' k' Source #
Type LayoutInh
LayoutInh | |
|
defLayoutInh :: LayoutInh d Source #
Type LayoutState
type LayoutState d = Diff (Forest (LayoutNode d)) Source #
Type Diff
Type LayoutDoc
type LayoutDoc d = (SchemaDoc d, Justifiable d) Source #
runLayoutForest :: LayoutDoc d => Bool -> Forest (LayoutNode d) -> d Source #
runLayoutForest' :: LayoutDoc d => Bool -> Forest (LayoutNode d) -> d Source #
runLayoutTree :: LayoutDoc d => Bool -> Tree (LayoutNode d) -> d Source #
runLayoutNode :: LayoutDoc d => Bool -> Tree (LayoutNode d) -> [d] Source #
Type LayoutSeq
LayoutSeq | |
|
Instances
LayoutDoc d => CLI_Help (LayoutSeq d) Source # | |
Defined in Symantic.CLI.Layout type HelpConstraint (LayoutSeq d) d :: Constraint Source # | |
Functor (LayoutSeq d k) Source # | |
Applicative (LayoutSeq d k) Source # | |
Defined in Symantic.CLI.Layout pure :: a -> LayoutSeq d k a # (<*>) :: LayoutSeq d k (a -> b) -> LayoutSeq d k a -> LayoutSeq d k b # liftA2 :: (a -> b -> c) -> LayoutSeq d k a -> LayoutSeq d k b -> LayoutSeq d k c # (*>) :: LayoutSeq d k a -> LayoutSeq d k b -> LayoutSeq d k b # (<*) :: LayoutSeq d k a -> LayoutSeq d k b -> LayoutSeq d k a # | |
type HelpConstraint (LayoutSeq d) d' Source # | |
Defined in Symantic.CLI.Layout |
Type LayoutPerm
data LayoutPerm d k a Source #
LayoutPerm | |
|
Instances
Type LayoutNode
data LayoutNode d Source #
LayoutNode_Single d [d] | |
LayoutNode_List [d] [(d, [d])] | |
LayoutNode_Forest d [d] (Forest (LayoutNode d)) |
Instances
Show d => Show (LayoutNode d) Source # | |
Defined in Symantic.CLI.Layout showsPrec :: Int -> LayoutNode d -> ShowS # show :: LayoutNode d -> String # showList :: [LayoutNode d] -> ShowS # |