Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Ast

Description

A model which provides a common syntax tree for Hydra serializers

Synopsis

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

Documentation

data Associativity Source #

Operator associativity

Constructors

AssociativityNone
AssociativityLeft
AssociativityRight
AssociativityBoth

Instances

Instances details

Read Associativity Source #
Instance details Defined in Hydra.Ast Methods readsPrec :: Int -> ReadS Associativity # readList :: ReadS [Associativity] # readPrec :: ReadPrec Associativity # readListPrec :: ReadPrec [Associativity] #
Show Associativity Source #
Instance details Defined in Hydra.Ast Methods showsPrec :: Int -> Associativity -> ShowS # show :: Associativity -> String # showList :: [Associativity] -> ShowS #
Eq Associativity Source #
Instance details Defined in Hydra.Ast Methods (==) :: Associativity -> Associativity -> Bool # (/=) :: Associativity -> Associativity -> Bool #
Ord Associativity Source #
Instance details Defined in Hydra.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 :: Name Source #

_Associativity_left :: Name Source #

_Associativity_right :: Name Source #

_Associativity_both :: Name Source #

data BlockStyle Source #

Formatting option for code blocks

Constructors

BlockStyle
Fields blockStyleIndent :: Maybe String blockStyleNewlineBeforeContent :: Bool blockStyleNewlineAfterContent :: Bool

Instances

Instances details

Read BlockStyle Source #
Instance details Defined in Hydra.Ast Methods readsPrec :: Int -> ReadS BlockStyle # readList :: ReadS [BlockStyle] # readPrec :: ReadPrec BlockStyle # readListPrec :: ReadPrec [BlockStyle] #
Show BlockStyle Source #
Instance details Defined in Hydra.Ast Methods showsPrec :: Int -> BlockStyle -> ShowS # show :: BlockStyle -> String # showList :: [BlockStyle] -> ShowS #
Eq BlockStyle Source #
Instance details Defined in Hydra.Ast Methods (==) :: BlockStyle -> BlockStyle -> Bool # (/=) :: BlockStyle -> BlockStyle -> Bool #
Ord BlockStyle Source #
Instance details Defined in Hydra.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 :: Name Source #

_BlockStyle_newlineBeforeContent :: Name Source #

_BlockStyle_newlineAfterContent :: Name 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.Ast Methods readsPrec :: Int -> ReadS BracketExpr # readList :: ReadS [BracketExpr] # readPrec :: ReadPrec BracketExpr # readListPrec :: ReadPrec [BracketExpr] #
Show BracketExpr Source #
Instance details Defined in Hydra.Ast Methods showsPrec :: Int -> BracketExpr -> ShowS # show :: BracketExpr -> String # showList :: [BracketExpr] -> ShowS #
Eq BracketExpr Source #
Instance details Defined in Hydra.Ast Methods (==) :: BracketExpr -> BracketExpr -> Bool # (/=) :: BracketExpr -> BracketExpr -> Bool #
Ord BracketExpr Source #
Instance details Defined in Hydra.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 :: Name Source #

_BracketExpr_enclosed :: Name Source #

_BracketExpr_style :: Name 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.Ast Methods readsPrec :: Int -> ReadS Brackets # readList :: ReadS [Brackets] # readPrec :: ReadPrec Brackets # readListPrec :: ReadPrec [Brackets] #
Show Brackets Source #
Instance details Defined in Hydra.Ast Methods showsPrec :: Int -> Brackets -> ShowS # show :: Brackets -> String # showList :: [Brackets] -> ShowS #
Eq Brackets Source #
Instance details Defined in Hydra.Ast Methods (==) :: Brackets -> Brackets -> Bool # (/=) :: Brackets -> Brackets -> Bool #
Ord Brackets Source #
Instance details Defined in Hydra.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 :: Name Source #

_Brackets_close :: Name Source #

data Expr Source #

An abstract expression

Constructors

ExprConst Symbol
ExprIndent IndentedExpression
ExprOp OpExpr
ExprBrackets BracketExpr

Instances

Instances details

Read Expr Source #
Instance details Defined in Hydra.Ast Methods readsPrec :: Int -> ReadS Expr # readList :: ReadS [Expr] # readPrec :: ReadPrec Expr # readListPrec :: ReadPrec [Expr] #
Show Expr Source #
Instance details Defined in Hydra.Ast Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Eq Expr Source #
Instance details Defined in Hydra.Ast Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Ord Expr Source #
Instance details Defined in Hydra.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 :: Name Source #

_Expr_indent :: Name Source #

_Expr_op :: Name Source #

_Expr_brackets :: Name Source #

data IndentedExpression Source #

An expression indented in a certain style

Constructors

IndentedExpression
Fields indentedExpressionStyle :: IndentStyle indentedExpressionExpr :: Expr

Instances

Instances details

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

_IndentedExpression :: Name Source #

_IndentedExpression_style :: Name Source #

_IndentedExpression_expr :: Name Source #

data IndentStyle Source #

Any of several indentation styles

Constructors

IndentStyleAllLines String
IndentStyleSubsequentLines String

Instances

Instances details

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

_IndentStyle :: Name Source #

_IndentStyle_allLines :: Name Source #

_IndentStyle_subsequentLines :: Name 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.Ast Methods readsPrec :: Int -> ReadS Op # readList :: ReadS [Op] # readPrec :: ReadPrec Op # readListPrec :: ReadPrec [Op] #
Show Op Source #
Instance details Defined in Hydra.Ast Methods showsPrec :: Int -> Op -> ShowS # show :: Op -> String # showList :: [Op] -> ShowS #
Eq Op Source #
Instance details Defined in Hydra.Ast Methods (==) :: Op -> Op -> Bool # (/=) :: Op -> Op -> Bool #
Ord Op Source #
Instance details Defined in Hydra.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 :: Name Source #

_Op_padding :: Name Source #

_Op_precedence :: Name Source #

_Op_associativity :: Name 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.Ast Methods readsPrec :: Int -> ReadS OpExpr # readList :: ReadS [OpExpr] # readPrec :: ReadPrec OpExpr # readListPrec :: ReadPrec [OpExpr] #
Show OpExpr Source #
Instance details Defined in Hydra.Ast Methods showsPrec :: Int -> OpExpr -> ShowS # show :: OpExpr -> String # showList :: [OpExpr] -> ShowS #
Eq OpExpr Source #
Instance details Defined in Hydra.Ast Methods (==) :: OpExpr -> OpExpr -> Bool # (/=) :: OpExpr -> OpExpr -> Bool #
Ord OpExpr Source #
Instance details Defined in Hydra.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 :: Name Source #

_OpExpr_lhs :: Name Source #

_OpExpr_rhs :: Name 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.Ast Methods readsPrec :: Int -> ReadS Padding # readList :: ReadS [Padding] # readPrec :: ReadPrec Padding # readListPrec :: ReadPrec [Padding] #
Show Padding Source #
Instance details Defined in Hydra.Ast Methods showsPrec :: Int -> Padding -> ShowS # show :: Padding -> String # showList :: [Padding] -> ShowS #
Eq Padding Source #
Instance details Defined in Hydra.Ast Methods (==) :: Padding -> Padding -> Bool # (/=) :: Padding -> Padding -> Bool #
Ord Padding Source #
Instance details Defined in Hydra.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 :: Name Source #

_Padding_right :: Name Source #

newtype Precedence Source #

Operator precedence

Constructors

Precedence
Fields unPrecedence :: Int

Instances

Instances details

Read Precedence Source #
Instance details Defined in Hydra.Ast Methods readsPrec :: Int -> ReadS Precedence # readList :: ReadS [Precedence] # readPrec :: ReadPrec Precedence # readListPrec :: ReadPrec [Precedence] #
Show Precedence Source #
Instance details Defined in Hydra.Ast Methods showsPrec :: Int -> Precedence -> ShowS # show :: Precedence -> String # showList :: [Precedence] -> ShowS #
Eq Precedence Source #
Instance details Defined in Hydra.Ast Methods (==) :: Precedence -> Precedence -> Bool # (/=) :: Precedence -> Precedence -> Bool #
Ord Precedence Source #
Instance details Defined in Hydra.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

Instances

Instances details

Read Symbol Source #
Instance details Defined in Hydra.Ast Methods readsPrec :: Int -> ReadS Symbol # readList :: ReadS [Symbol] # readPrec :: ReadPrec Symbol # readListPrec :: ReadPrec [Symbol] #
Show Symbol Source #
Instance details Defined in Hydra.Ast Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #
Eq Symbol Source #
Instance details Defined in Hydra.Ast Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Ord Symbol Source #
Instance details Defined in Hydra.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 String
WsDoubleBreak

Instances

Instances details

Read Ws Source #
Instance details Defined in Hydra.Ast Methods readsPrec :: Int -> ReadS Ws # readList :: ReadS [Ws] # readPrec :: ReadPrec Ws # readListPrec :: ReadPrec [Ws] #
Show Ws Source #
Instance details Defined in Hydra.Ast Methods showsPrec :: Int -> Ws -> ShowS # show :: Ws -> String # showList :: [Ws] -> ShowS #
Eq Ws Source #
Instance details Defined in Hydra.Ast Methods (==) :: Ws -> Ws -> Bool # (/=) :: Ws -> Ws -> Bool #
Ord Ws Source #
Instance details Defined in Hydra.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 :: Name Source #

_Ws_space :: Name Source #

_Ws_break :: Name Source #

_Ws_breakAndIndent :: Name Source #

_Ws_doubleBreak :: Name Source #