Language.Symantic.CLI.Fixity

Type Fixity

data Fixity

Constructors

Fixity1 Unifix

Fixity2 Infix

Instances

Eq Fixity

Defined in Language.Symantic.CLI.Fixity

Methods

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

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

Show Fixity

Defined in Language.Symantic.CLI.Fixity

Methods

showsPrec :: Int -> Fixity -> ShowS

show :: Fixity -> String

showList :: [Fixity] -> ShowS

PrecedenceOf Fixity

Defined in Language.Symantic.CLI.Fixity

Methods

precedence :: Fixity -> Precedence

Type Unifix

data Unifix

Constructors

Prefix

Fields

• unifix_prece :: Precedence

Postfix

Fields

• unifix_prece :: Precedence

Instances

Eq Unifix

Defined in Language.Symantic.CLI.Fixity

Methods

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

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

Show Unifix

Defined in Language.Symantic.CLI.Fixity

Methods

showsPrec :: Int -> Unifix -> ShowS

show :: Unifix -> String

showList :: [Unifix] -> ShowS

PrecedenceOf Unifix

Defined in Language.Symantic.CLI.Fixity

Methods

precedence :: Unifix -> Precedence

Type Infix

data Infix

Constructors

Infix

Fields

• infix_assoc :: Maybe Associativity
• infix_prece :: Precedence

Instances

Eq Infix

Defined in Language.Symantic.CLI.Fixity

Methods

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

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

Show Infix

Defined in Language.Symantic.CLI.Fixity

Methods

showsPrec :: Int -> Infix -> ShowS

show :: Infix -> String

showList :: [Infix] -> ShowS

PrecedenceOf Infix

Defined in Language.Symantic.CLI.Fixity

Methods

precedence :: Infix -> Precedence

infixL :: Precedence -> Infix

infixR :: Precedence -> Infix

infixB :: Side -> Precedence -> Infix

infixN :: Precedence -> Infix

infixN0 :: Infix

infixN5 :: Infix

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

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

Class PrecedenceOf

class PrecedenceOf a where

Minimal complete definition

precedence

Methods

precedence :: a -> Precedence

Instances

PrecedenceOf Infix

Defined in Language.Symantic.CLI.Fixity

Methods

precedence :: Infix -> Precedence

PrecedenceOf Unifix

Defined in Language.Symantic.CLI.Fixity

Methods

precedence :: Unifix -> Precedence

PrecedenceOf Fixity

Defined in Language.Symantic.CLI.Fixity

Methods

precedence :: Fixity -> Precedence

Type Associativity

data Associativity

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

Defined in Language.Symantic.CLI.Fixity

Methods

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

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

Show Associativity

Defined in Language.Symantic.CLI.Fixity

Methods

showsPrec :: Int -> Associativity -> ShowS

show :: Associativity -> String

showList :: [Associativity] -> ShowS

Type Side

data Side

Constructors

SideL

Left

SideR

Right

Instances

Eq Side

Defined in Language.Symantic.CLI.Fixity

Methods

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

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

Show Side

Defined in Language.Symantic.CLI.Fixity

Methods

showsPrec :: Int -> Side -> ShowS

show :: Side -> String

showList :: [Side] -> ShowS