Bricks.ExpressionToTerm

Conversion from Expression (the AST produced by the parser) to Term (an augmented form of the lambda calculus used for evaluation).

Documentation

expression'to'term :: Expression -> IO Term

var'to'term :: Var -> IO Term

apply'to'term :: Apply -> IO Term

str'to'term :: Str'Dynamic -> IO Term

str'1'to'term :: Str'1 -> IO Term

list'to'term :: List -> IO Term

dict'to'term :: Dict -> IO Term

dot'to'term :: Dot -> IO Term

let'to'term :: Let -> IO Term

letBinding'to'term :: LetBinding -> IO [(Text, Term)]

lambda'to'term :: Lambda -> IO Term

lambda'to'term'simple :: Var -> Term -> IO Term

lambda'to'term'dictPattern :: DictPattern -> Term -> IO Term

lambda'to'term'both :: Var -> DictPattern -> Term -> IO Term

dictPattern'names :: DictPattern -> Set Text

dictPattern'defaults :: DictPattern -> IO (Map Text Term)