Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Layout d f k = Layout {
- layoutSchema :: Schema d f k
- layoutHelp :: [d]
- unLayout :: LayoutInh d -> State (LayoutState d) ()
- runLayout :: LayoutDoc d => Bool -> Layout d f k -> d
- 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
- runLayoutTree :: LayoutDoc d => Bool -> Tree (LayoutNode d) -> d
- runLayoutNode :: LayoutDoc d => Bool -> Tree (LayoutNode d) -> [d]
- data LayoutPerm d k a = LayoutPerm {
- layoutPerm_help :: [d]
- layoutPerm_elem :: LayoutInh d -> [([d], d)]
- data LayoutNode d
- = LayoutNode_Help [d] d
- | LayoutNode_Tags [([d], d)]
Type Layout
Layout | |
|
Instances
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 #
runLayoutTree :: LayoutDoc d => Bool -> Tree (LayoutNode d) -> d Source #
runLayoutNode :: LayoutDoc d => Bool -> Tree (LayoutNode d) -> [d] Source #
Type LayoutPerm
data LayoutPerm d k a Source #
LayoutPerm | |
|
Instances
Type LayoutNode
data LayoutNode d Source #
LayoutNode_Help [d] d | |
LayoutNode_Tags [([d], 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 # |