Agda.Compiler.Epic.AuxAST
Description
Intermediate abstract syntax tree used in the compiler. Pretty close to Epic syntax.
Documentation
data Fun
Constructors
Fun | |
EpicFun | |
Fields
|
data Lit
data Expr
substBranch :: Var -> Var -> Branch -> Branch
pairwiseFilter :: [Bool] -> [a] -> [a]
Filter a list using a list of Bools specifying what to keep.