Documentation
Ref :: AllE a => V a -> E a | |
Const :: AllE a => a -> E a | |
Add :: NumE a => E a -> E a -> E a | |
Sub :: NumE a => E a -> E a -> E a | |
Mul :: NumE a => E a -> a -> E a | |
Div :: NumE a => E a -> a -> E a | |
Mod :: E Int -> Int -> E Int | |
Not :: E Bool -> E Bool | |
And :: E Bool -> E Bool -> E Bool | |
Or :: E Bool -> E Bool -> E Bool | |
Eq :: AllE a => E a -> E a -> E Bool | |
Lt :: NumE a => E a -> E a -> E Bool | |
Gt :: NumE a => E a -> E a -> E Bool | |
Le :: NumE a => E a -> E a -> E Bool | |
Ge :: NumE a => E a -> E a -> E Bool | |
Mux :: AllE a => E Bool -> E a -> E a -> E a |