Language.ImProve.Core

Documentation

data E a where

Constructors

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

Instances

Eq (E a)

Fractional (E Float)

(Num a, AllE a, NumE a) => Num (E a)

Show (E a)

data V a

Constructors

V Bool [Name] a

type Name = String

class AllE a where

Methods

showConst :: a -> String

showType :: a -> String

zero :: (Name -> a -> m (V a)) -> a

Instances

AllE Bool

AllE Float

AllE Int

class AllE a => NumE a

Instances

NumE Float

NumE Int

data Statement

Constructors

AssignBool (V Bool) (E Bool)

AssignInt (V Int) (E Int)

AssignFloat (V Float) (E Float)

Branch [Name] (E Bool) Statement Statement

Sequence Statement Statement

Assert [Name] (E Bool)

Assume [Name] (E Bool)

Null