DDC.Source.Tetra.Transform.Defix

Convert infix expressions to prefix form.

The parser packs up sequences of expressions and operators into an XDefix node, but does not convert them to standard prefix applications. That is the job of this module.

The parsed code will contain XDefix, XInfixOp and XInfixVar nodes, which are pretty-printed like this:

 [DEFIX| Cons start [DEFIX| enumFromTo [DEFIX| start (INFIXOP "+") 1 ] end ]

After applying the transform in this module, all function applications will be in prefix form:

 Cons start (enumFromTo ((+) start 1) end)

Documentation

data FixTable l

Table of infix operator definitions.

Constructors

FixTable [FixDef l]

data FixDef l

Infix operator definition.

Constructors

FixDefPrefix

Fields

• fixDefSymbol :: String
• fixDefExp :: GXAnnot l -> GExp l

FixDefInfix

Fields

• fixDefSymbol :: String
• fixDefExp :: GXAnnot l -> GExp l
• fixDefAssoc :: InfixAssoc
• fixDefPrec :: Int

data InfixAssoc

Infix associativity.

Constructors

InfixLeft

Left associative.

InfixRight

Right associative.

InfixNone

Non associative.

Instances

Eq InfixAssoc

Methods

(==) :: InfixAssoc -> InfixAssoc -> Bool

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

Show InfixAssoc

Methods

showsPrec :: Int -> InfixAssoc -> ShowS

show :: InfixAssoc -> String

showList :: [InfixAssoc] -> ShowS

defaultFixTable :: GXBoundVar l ~ Bound => FixTable l

Default fixity table for infix operators.

data Error l

Things that can go wrong when defixing code.

Constructors

ErrorNoInfixDef

Infix operator symbol has no infix definition.

Fields

• errorAnnot :: GXAnnot l
• errorSymbol :: String

ErrorDefixNonAssoc

Two non-associative operators with the same precedence.

Fields

• errorOp1 :: String
• errorAnnot1 :: GXAnnot l
• errorOp2 :: String
• errorAnnot2 :: GXAnnot l

ErrorDefixMixedAssoc

Two operators of different associativies with same precedence.

Fields

• errorAnnot :: GXAnnot l
• errorOps :: [String]

ErrorMalformed

Infix expression is malformed. Eg "+ 3" or "2 + + 2"

Fields

• errorAnnot :: GXAnnot l
• errorExp :: GExp l

Instances

ShowLanguage l => Show (Error l)

Methods

showsPrec :: Int -> Error l -> ShowS

show :: Error l -> String

showList :: [Error l] -> ShowS

PrettyLanguage l => Pretty (Error l)

Associated Types

data PrettyMode (Error l) :: *

Methods

pprDefaultMode :: PrettyMode (Error l)

ppr :: Error l -> Doc

pprPrec :: Int -> Error l -> Doc

pprModePrec :: PrettyMode (Error l) -> Int -> Error l -> Doc

class Defix c l where

Minimal complete definition

defix

Methods

defix :: FixTable l -> c l -> Either (Error l) (c l)

Resolve infix expressions in a thing.

Instances

Defix GAltMatch l

Methods

defix :: FixTable l -> GAltMatch l -> Either (Error l) (GAltMatch l)

Defix GAltCase l

Methods

defix :: FixTable l -> GAltCase l -> Either (Error l) (GAltCase l)

Defix GGuard l

Methods

defix :: FixTable l -> GGuard l -> Either (Error l) (GGuard l)

Defix GGuardedExp l

Methods

defix :: FixTable l -> GGuardedExp l -> Either (Error l) (GGuardedExp l)

Defix GClause l

Methods

defix :: FixTable l -> GClause l -> Either (Error l) (GClause l)

Defix GLets l

Methods

defix :: FixTable l -> GLets l -> Either (Error l) (GLets l)

Defix GExp l

Methods

defix :: FixTable l -> GExp l -> Either (Error l) (GExp l)

Defix Top l

Methods

defix :: FixTable l -> Top l -> Either (Error l) (Top l)

Defix Module l

Methods

defix :: FixTable l -> Module l -> Either (Error l) (Module l)