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

Replacer

Documentation

replaceProgram :: ReplaceProgramFunc Source #

replaceProgramThrows :: ReplaceProgramThrowsFunc Source #

replaceProgramFast :: ReplaceProgramFunc Source #

replaceProgramFastThrows :: ReplaceProgramThrowsFunc Source #

type ReplaceProgramThrowsFunc = [Expression] -> [Expression] -> ReplaceProgramContext -> IO Program Source #

type ReplaceProgramFunc = [Expression] -> [Expression] -> ReplaceProgramContext -> Maybe Program Source #

data ReplaceProgramContext Source #

Constructors

ReplaceProgramContext 

Fields