phino-0.0.0.17: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellNone
LanguageHaskell2010

Builder

Documentation

buildExpressions :: Expression -> [Subst] -> Maybe [(Expression, Expression)] Source #

buildExpression :: Expression -> Subst -> Maybe (Expression, Expression) Source #

buildTermFromFunction :: String -> [ExtraArgument] -> Subst -> Program -> Maybe Term Source #

buildAttribute :: Attribute -> Subst -> Maybe Attribute Source #

buildBinding :: Binding -> Subst -> Maybe [Binding] Source #

contextualize :: Expression -> Expression -> Program -> Expression Source #

data Term Source #

Constructors

TeExpression Expression 
TeAttribute Attribute