| Safe Haskell | Safe-Infered |
|---|
Components
Description
This module contains useful pipeline functions using components
- string2aterm :: Component String ATerm
- aterm2string :: Component ATerm String
Documentation
string2aterm :: Component String ATerm
Read the given string into an ATerm
aterm2string :: Component ATerm String
Return the given ATerm as a String