Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Util.Codetree.Ast

Description

A model which provides a common syntax tree for Hydra serializers

Synopsis

data Associativity
- = AssociativityNone
- | AssociativityLeft
- | AssociativityRight
- | AssociativityBoth
_Associativity :: Name
_Associativity_none :: FieldName
_Associativity_left :: FieldName
_Associativity_right :: FieldName
_Associativity_both :: FieldName
data BlockStyle = BlockStyle {
- blockStyleIndent :: Bool
- blockStyleNewlineBeforeContent :: Bool
- blockStyleNewlineAfterContent :: Bool
}
_BlockStyle :: Name
_BlockStyle_indent :: FieldName
_BlockStyle_newlineBeforeContent :: FieldName
_BlockStyle_newlineAfterContent :: FieldName
data BracketExpr = BracketExpr {
- bracketExprBrackets :: Brackets
- bracketExprEnclosed :: Expr
- bracketExprStyle :: BlockStyle
}
_BracketExpr :: Name
_BracketExpr_brackets :: FieldName
_BracketExpr_enclosed :: FieldName
_BracketExpr_style :: FieldName
data Brackets = Brackets {
- bracketsOpen :: Symbol
- bracketsClose :: Symbol
}
_Brackets :: Name
_Brackets_open :: FieldName
_Brackets_close :: FieldName
data Expr
- = ExprConst Symbol
- | ExprOp OpExpr
- | ExprBrackets BracketExpr
_Expr :: Name
_Expr_const :: FieldName
_Expr_op :: FieldName
_Expr_brackets :: FieldName
data Op = Op {
- opSymbol :: Symbol
- opPadding :: Padding
- opPrecedence :: Precedence
- opAssociativity :: Associativity
}
_Op :: Name
_Op_symbol :: FieldName
_Op_padding :: FieldName
_Op_precedence :: FieldName
_Op_associativity :: FieldName
data OpExpr = OpExpr {
- opExprOp :: Op
- opExprLhs :: Expr
- opExprRhs :: Expr
}
_OpExpr :: Name
_OpExpr_op :: FieldName
_OpExpr_lhs :: FieldName
_OpExpr_rhs :: FieldName
data Padding = Padding {
- paddingLeft :: Ws
- paddingRight :: Ws
}
_Padding :: Name
_Padding_left :: FieldName
_Padding_right :: FieldName
newtype Precedence = Precedence {
- unPrecedence :: Int
}
_Precedence :: Name
newtype Symbol = Symbol {
- unSymbol :: String
}
_Symbol :: Name
data Ws
- = WsNone
- | WsSpace
- | WsBreak
- | WsBreakAndIndent
- | WsDoubleBreak
_Ws :: Name
_Ws_none :: FieldName
_Ws_space :: FieldName
_Ws_break :: FieldName
_Ws_breakAndIndent :: FieldName
_Ws_doubleBreak :: FieldName

Documentation

data Associativity Source #

Operator associativity

Constructors

AssociativityNone
AssociativityLeft
AssociativityRight
AssociativityBoth

Instances

Instances details

Read Associativity Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods readsPrec :: Int -> ReadS Associativity # readList :: ReadS [Associativity] # readPrec :: ReadPrec Associativity # readListPrec :: ReadPrec [Associativity] #
Show Associativity Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods showsPrec :: Int -> Associativity -> ShowS # show :: Associativity -> String # showList :: [Associativity] -> ShowS #
Eq Associativity Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods (==) :: Associativity -> Associativity -> Bool # (/=) :: Associativity -> Associativity -> Bool #
Ord Associativity Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods compare :: Associativity -> Associativity -> Ordering # (<) :: Associativity -> Associativity -> Bool # (<=) :: Associativity -> Associativity -> Bool # (>) :: Associativity -> Associativity -> Bool # (>=) :: Associativity -> Associativity -> Bool # max :: Associativity -> Associativity -> Associativity # min :: Associativity -> Associativity -> Associativity #

_Associativity :: Name Source #

_Associativity_none :: FieldName Source #

_Associativity_left :: FieldName Source #

_Associativity_right :: FieldName Source #

_Associativity_both :: FieldName Source #

data BlockStyle Source #

Formatting option for code blocks

Constructors

BlockStyle
Fields blockStyleIndent :: Bool blockStyleNewlineBeforeContent :: Bool blockStyleNewlineAfterContent :: Bool

Instances

Instances details

Read BlockStyle Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods readsPrec :: Int -> ReadS BlockStyle # readList :: ReadS [BlockStyle] # readPrec :: ReadPrec BlockStyle # readListPrec :: ReadPrec [BlockStyle] #
Show BlockStyle Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods showsPrec :: Int -> BlockStyle -> ShowS # show :: BlockStyle -> String # showList :: [BlockStyle] -> ShowS #
Eq BlockStyle Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods (==) :: BlockStyle -> BlockStyle -> Bool # (/=) :: BlockStyle -> BlockStyle -> Bool #
Ord BlockStyle Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods compare :: BlockStyle -> BlockStyle -> Ordering # (<) :: BlockStyle -> BlockStyle -> Bool # (<=) :: BlockStyle -> BlockStyle -> Bool # (>) :: BlockStyle -> BlockStyle -> Bool # (>=) :: BlockStyle -> BlockStyle -> Bool # max :: BlockStyle -> BlockStyle -> BlockStyle # min :: BlockStyle -> BlockStyle -> BlockStyle #

_BlockStyle :: Name Source #

_BlockStyle_indent :: FieldName Source #

_BlockStyle_newlineBeforeContent :: FieldName Source #

_BlockStyle_newlineAfterContent :: FieldName Source #

data BracketExpr Source #

An expression enclosed by brackets

Constructors

BracketExpr
Fields bracketExprBrackets :: Brackets bracketExprEnclosed :: Expr bracketExprStyle :: BlockStyle

Instances

Instances details

Read BracketExpr Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods readsPrec :: Int -> ReadS BracketExpr # readList :: ReadS [BracketExpr] # readPrec :: ReadPrec BracketExpr # readListPrec :: ReadPrec [BracketExpr] #
Show BracketExpr Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods showsPrec :: Int -> BracketExpr -> ShowS # show :: BracketExpr -> String # showList :: [BracketExpr] -> ShowS #
Eq BracketExpr Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods (==) :: BracketExpr -> BracketExpr -> Bool # (/=) :: BracketExpr -> BracketExpr -> Bool #
Ord BracketExpr Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods compare :: BracketExpr -> BracketExpr -> Ordering # (<) :: BracketExpr -> BracketExpr -> Bool # (<=) :: BracketExpr -> BracketExpr -> Bool # (>) :: BracketExpr -> BracketExpr -> Bool # (>=) :: BracketExpr -> BracketExpr -> Bool # max :: BracketExpr -> BracketExpr -> BracketExpr # min :: BracketExpr -> BracketExpr -> BracketExpr #

_BracketExpr :: Name Source #

_BracketExpr_brackets :: FieldName Source #

_BracketExpr_enclosed :: FieldName Source #

_BracketExpr_style :: FieldName Source #

data Brackets Source #

Matching open and close bracket symbols

Constructors

Brackets
Fields bracketsOpen :: Symbol bracketsClose :: Symbol

Instances

Instances details

Read Brackets Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods readsPrec :: Int -> ReadS Brackets # readList :: ReadS [Brackets] # readPrec :: ReadPrec Brackets # readListPrec :: ReadPrec [Brackets] #
Show Brackets Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods showsPrec :: Int -> Brackets -> ShowS # show :: Brackets -> String # showList :: [Brackets] -> ShowS #
Eq Brackets Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods (==) :: Brackets -> Brackets -> Bool # (/=) :: Brackets -> Brackets -> Bool #
Ord Brackets Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods compare :: Brackets -> Brackets -> Ordering # (<) :: Brackets -> Brackets -> Bool # (<=) :: Brackets -> Brackets -> Bool # (>) :: Brackets -> Brackets -> Bool # (>=) :: Brackets -> Brackets -> Bool # max :: Brackets -> Brackets -> Brackets # min :: Brackets -> Brackets -> Brackets #

_Brackets :: Name Source #

_Brackets_open :: FieldName Source #

_Brackets_close :: FieldName Source #

data Expr Source #

An abstract expression

Constructors

ExprConst Symbol
ExprOp OpExpr
ExprBrackets BracketExpr

Instances

Instances details

Read Expr Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods readsPrec :: Int -> ReadS Expr # readList :: ReadS [Expr] # readPrec :: ReadPrec Expr # readListPrec :: ReadPrec [Expr] #
Show Expr Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Eq Expr Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Ord Expr Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods compare :: Expr -> Expr -> Ordering # (<) :: Expr -> Expr -> Bool # (<=) :: Expr -> Expr -> Bool # (>) :: Expr -> Expr -> Bool # (>=) :: Expr -> Expr -> Bool # max :: Expr -> Expr -> Expr # min :: Expr -> Expr -> Expr #

_Expr :: Name Source #

_Expr_const :: FieldName Source #

_Expr_op :: FieldName Source #

_Expr_brackets :: FieldName Source #

data Op Source #

An operator symbol

Constructors

Op
Fields opSymbol :: Symbol opPadding :: Padding opPrecedence :: Precedence opAssociativity :: Associativity

Instances

Instances details

Read Op Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods readsPrec :: Int -> ReadS Op # readList :: ReadS [Op] # readPrec :: ReadPrec Op # readListPrec :: ReadPrec [Op] #
Show Op Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods showsPrec :: Int -> Op -> ShowS # show :: Op -> String # showList :: [Op] -> ShowS #
Eq Op Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods (==) :: Op -> Op -> Bool # (/=) :: Op -> Op -> Bool #
Ord Op Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods compare :: Op -> Op -> Ordering # (<) :: Op -> Op -> Bool # (<=) :: Op -> Op -> Bool # (>) :: Op -> Op -> Bool # (>=) :: Op -> Op -> Bool # max :: Op -> Op -> Op # min :: Op -> Op -> Op #

_Op :: Name Source #

_Op_symbol :: FieldName Source #

_Op_padding :: FieldName Source #

_Op_precedence :: FieldName Source #

_Op_associativity :: FieldName Source #

data OpExpr Source #

An operator expression

Constructors

OpExpr
Fields opExprOp :: Op opExprLhs :: Expr opExprRhs :: Expr

Instances

Instances details

Read OpExpr Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods readsPrec :: Int -> ReadS OpExpr # readList :: ReadS [OpExpr] # readPrec :: ReadPrec OpExpr # readListPrec :: ReadPrec [OpExpr] #
Show OpExpr Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods showsPrec :: Int -> OpExpr -> ShowS # show :: OpExpr -> String # showList :: [OpExpr] -> ShowS #
Eq OpExpr Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods (==) :: OpExpr -> OpExpr -> Bool # (/=) :: OpExpr -> OpExpr -> Bool #
Ord OpExpr Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods compare :: OpExpr -> OpExpr -> Ordering # (<) :: OpExpr -> OpExpr -> Bool # (<=) :: OpExpr -> OpExpr -> Bool # (>) :: OpExpr -> OpExpr -> Bool # (>=) :: OpExpr -> OpExpr -> Bool # max :: OpExpr -> OpExpr -> OpExpr # min :: OpExpr -> OpExpr -> OpExpr #

_OpExpr :: Name Source #

_OpExpr_op :: FieldName Source #

_OpExpr_lhs :: FieldName Source #

_OpExpr_rhs :: FieldName Source #

data Padding Source #

Left and right padding for an operator

Constructors

Padding
Fields paddingLeft :: Ws paddingRight :: Ws

Instances

Instances details

Read Padding Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods readsPrec :: Int -> ReadS Padding # readList :: ReadS [Padding] # readPrec :: ReadPrec Padding # readListPrec :: ReadPrec [Padding] #
Show Padding Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods showsPrec :: Int -> Padding -> ShowS # show :: Padding -> String # showList :: [Padding] -> ShowS #
Eq Padding Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods (==) :: Padding -> Padding -> Bool # (/=) :: Padding -> Padding -> Bool #
Ord Padding Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods compare :: Padding -> Padding -> Ordering # (<) :: Padding -> Padding -> Bool # (<=) :: Padding -> Padding -> Bool # (>) :: Padding -> Padding -> Bool # (>=) :: Padding -> Padding -> Bool # max :: Padding -> Padding -> Padding # min :: Padding -> Padding -> Padding #

_Padding :: Name Source #

_Padding_left :: FieldName Source #

_Padding_right :: FieldName Source #

newtype Precedence Source #

Operator precedence

Constructors

Precedence
Fields unPrecedence :: Int Operator precedence

Instances

Instances details

Read Precedence Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods readsPrec :: Int -> ReadS Precedence # readList :: ReadS [Precedence] # readPrec :: ReadPrec Precedence # readListPrec :: ReadPrec [Precedence] #
Show Precedence Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods showsPrec :: Int -> Precedence -> ShowS # show :: Precedence -> String # showList :: [Precedence] -> ShowS #
Eq Precedence Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods (==) :: Precedence -> Precedence -> Bool # (/=) :: Precedence -> Precedence -> Bool #
Ord Precedence Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods compare :: Precedence -> Precedence -> Ordering # (<) :: Precedence -> Precedence -> Bool # (<=) :: Precedence -> Precedence -> Bool # (>) :: Precedence -> Precedence -> Bool # (>=) :: Precedence -> Precedence -> Bool # max :: Precedence -> Precedence -> Precedence # min :: Precedence -> Precedence -> Precedence #

_Precedence :: Name Source #

newtype Symbol Source #

Any symbol

Constructors

Symbol
Fields unSymbol :: String Any symbol

Instances

Instances details

Read Symbol Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods readsPrec :: Int -> ReadS Symbol # readList :: ReadS [Symbol] # readPrec :: ReadPrec Symbol # readListPrec :: ReadPrec [Symbol] #
Show Symbol Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #
Eq Symbol Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Ord Symbol Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods compare :: Symbol -> Symbol -> Ordering # (<) :: Symbol -> Symbol -> Bool # (<=) :: Symbol -> Symbol -> Bool # (>) :: Symbol -> Symbol -> Bool # (>=) :: Symbol -> Symbol -> Bool # max :: Symbol -> Symbol -> Symbol # min :: Symbol -> Symbol -> Symbol #

_Symbol :: Name Source #

data Ws Source #

One of several classes of whitespace

Constructors

WsNone
WsSpace
WsBreak
WsBreakAndIndent
WsDoubleBreak

Instances

Instances details

Read Ws Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods readsPrec :: Int -> ReadS Ws # readList :: ReadS [Ws] # readPrec :: ReadPrec Ws # readListPrec :: ReadPrec [Ws] #
Show Ws Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods showsPrec :: Int -> Ws -> ShowS # show :: Ws -> String # showList :: [Ws] -> ShowS #
Eq Ws Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods (==) :: Ws -> Ws -> Bool # (/=) :: Ws -> Ws -> Bool #
Ord Ws Source #
Instance details Defined in Hydra.Util.Codetree.Ast Methods compare :: Ws -> Ws -> Ordering # (<) :: Ws -> Ws -> Bool # (<=) :: Ws -> Ws -> Bool # (>) :: Ws -> Ws -> Bool # (>=) :: Ws -> Ws -> Bool # max :: Ws -> Ws -> Ws # min :: Ws -> Ws -> Ws #

_Ws :: Name Source #

_Ws_none :: FieldName Source #

_Ws_space :: FieldName Source #

_Ws_break :: FieldName Source #

_Ws_breakAndIndent :: FieldName Source #

_Ws_doubleBreak :: FieldName Source #