Arith

Documentation

data Exp Source

Constructors

Nat Integer 
Neg Exp 
Add Exp Exp 
Sub Exp Exp 
Mul Exp Exp 
Div Exp Exp 

Instances

Show Exp 

justIf :: (a -> Bool) -> a -> Maybe ()Source

fromString :: String -> Maybe ExpSource