git.iko.soy/elk
on 54dfb21 help sign in
elk/src/AST/Expression/Optimized.hs
77 lines 1.7 kB history raw
1{-# OPTIONS_GHC -Wall #-}
2module AST.Expression.Optimized
3 ( Def(..), Facts(..), dummyFacts
4 , Expr(..)
5 , Decider(..), Choice(..)
6 ) where
8import qualified AST.Expression.General as General
9import qualified AST.Literal as Literal
10import qualified AST.Module.Name as ModuleName
11import qualified AST.Type as Type
12import qualified AST.Variable as Var
13import qualified Optimize.DecisionTree as DT
14import qualified Reporting.Region as R
18-- DEFINITIONS
20data Def
21 = Def Facts String Expr
22 | TailDef Facts String [String] Expr
25data Facts = Facts
26 { home :: Maybe ModuleName.Canonical
27 , dependencies :: [Var.TopLevel]
28 }
31dummyFacts :: Facts
32dummyFacts =
33 Facts Nothing []
36-- EXPRESSIONS
38data Expr
39 = Literal Literal.Literal
40 | Var Var.Canonical
41 | Range Expr Expr
42 | ExplicitList [Expr]
43 | Binop Var.Canonical Expr Expr
44 | Function [String] Expr
45 | Call Expr [Expr]
46 | TailCall String [String] [Expr]
47 | If [(Expr, Expr)] Expr
48 | Let [Def] Expr
49 | Case String (Decider Choice) [(Int, Expr)]
50 | Data String [Expr]
51 | DataAccess Expr Int
52 | Access Expr String
53 | Update Expr [(String, Expr)]
54 | Record [(String, Expr)]
55 | Port (General.PortImpl Expr Type.Canonical)
56 | GLShader String String Literal.GLShaderTipe
57 | Crash R.Region (Maybe String)
60data Decider a
61 = Leaf a
62 | Chain
63 { _testChain :: [(DT.Path, DT.Test)]
64 , _success :: Decider a
65 , _failure :: Decider a
66 }
67 | FanOut
68 { _path :: DT.Path
69 , _tests :: [(DT.Test, Decider a)]
70 , _fallback :: Decider a
71 }
72 deriving (Eq)
75data Choice
76 = Inline Expr
77 | Jump Int