| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
UniqueLogic.ST.Example.Label
Description
Deprecated: This module is intended for documentation purposes. Do not import it!
- data Assign = Assign Name Term
- type Assigns = [Assign]
- data Term
- type Name = String
- globalVariable :: Name -> ST s (Variable Assigns s Term)
- constant :: Rational -> T Assigns s (Variable Assigns s Term)
- rule :: ((Maybe Term, Maybe Term, Maybe Term), Assigns)
- expression :: ((Maybe Term, Maybe Term), Assigns)