symantic-cli-2.4.0.20190719: Symantics for parsing and documenting a CLI

Safe HaskellSafe
LanguageHaskell2010

Symantic.CLI.Fixity

Contents

Synopsis

Type Fixity

data Fixity Source #

Constructors

Fixity1 Unifix 
Fixity2 Infix 
Instances
Eq Fixity Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

(==) :: Fixity -> Fixity -> Bool #

(/=) :: Fixity -> Fixity -> Bool #

Show Fixity Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

showsPrec :: Int -> Fixity -> ShowS #

show :: Fixity -> String #

showList :: [Fixity] -> ShowS #

PrecedenceOf Fixity Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

precedence :: Fixity -> Precedence Source #

Type Unifix

data Unifix Source #

Constructors

Prefix 

Fields

Postfix 

Fields

Instances
Eq Unifix Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

(==) :: Unifix -> Unifix -> Bool #

(/=) :: Unifix -> Unifix -> Bool #

Show Unifix Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

showsPrec :: Int -> Unifix -> ShowS #

show :: Unifix -> String #

showList :: [Unifix] -> ShowS #

PrecedenceOf Unifix Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

precedence :: Unifix -> Precedence Source #

Type Infix

data Infix Source #

Constructors

Infix 

Fields

Instances
Eq Infix Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

(==) :: Infix -> Infix -> Bool #

(/=) :: Infix -> Infix -> Bool #

Show Infix Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

showsPrec :: Int -> Infix -> ShowS #

show :: Infix -> String #

showList :: [Infix] -> ShowS #

PrecedenceOf Infix Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

precedence :: Infix -> Precedence Source #

infixL :: Precedence -> Infix Source #

infixR :: Precedence -> Infix Source #

infixB :: Side -> Precedence -> Infix Source #

infixN :: Precedence -> Infix Source #

infixN0 :: Infix Source #

infixN5 :: Infix Source #

needsParenInfix :: (Infix, Side) -> Infix -> Bool Source #

Given Precedence and Associativity of its parent operator, and the operand Side it is in, return whether an Infix operator needs to be enclosed by parenthesis.

Type Precedence

type Precedence = Int Source #

Class PrecedenceOf

class PrecedenceOf a where Source #

Methods

precedence :: a -> Precedence Source #

Instances
PrecedenceOf Infix Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

precedence :: Infix -> Precedence Source #

PrecedenceOf Unifix Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

precedence :: Unifix -> Precedence Source #

PrecedenceOf Fixity Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

precedence :: Fixity -> Precedence Source #

Type Associativity

data Associativity Source #

Constructors

AssocL

Associate to the left: a ¹ b ² c == (a ¹ b) ² c

AssocR

Associate to the right: a ¹ b ² c == a ¹ (b ² c)

AssocB Side

Associate to both sides, but to Side when reading.

Instances
Eq Associativity Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

(==) :: Associativity -> Associativity -> Bool #

(/=) :: Associativity -> Associativity -> Bool #

Show Associativity Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

showsPrec :: Int -> Associativity -> ShowS #

show :: Associativity -> String #

showList :: [Associativity] -> ShowS #

Type Side

data Side Source #

Constructors

SideL

Left

SideR

Right

Instances
Eq Side Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

(==) :: Side -> Side -> Bool #

(/=) :: Side -> Side -> Bool #

Show Side Source # 
Instance details

Defined in Symantic.CLI.Fixity

Methods

showsPrec :: Int -> Side -> ShowS #

show :: Side -> String #

showList :: [Side] -> ShowS #