Safe Haskell | None |
---|

Equations.

# Documentation

showEquation :: Sig -> Equation -> StringSource

data TypedEquation a Source

Eq (TypedEquation a) | |

Ord (TypedEquation a) | |

Show (TypedEquation a) |

eraseEquation :: TypedEquation a -> EquationSource

showTypedEquation :: Sig -> TypedEquation a -> StringSource