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

Instances

Eq a => Eq (V a)

PathName (V a)

type Name = String

type Path = [Name]

class PathName a where

Methods

pathName :: a -> String

Instances

PathName VarInfo

PathName Path

PathName (V a)

class AllE a where

Methods

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

const' :: a -> Const

Instances

AllE Bool

AllE Float

AllE Int

class AllE a => NumE a

Instances

NumE Float

NumE Int

data Const

Constructors

Bool Bool

Int Int

Float Float

Instances

Eq Const

data Statement

Constructors

AssignBool (V Bool) (E Bool)

AssignInt (V Int) (E Int)

AssignFloat (V Float) (E Float)

Branch (E Bool) Statement Statement

Sequence Statement Statement

Assert (E Bool)

Assume (E Bool)

Label Name Statement

Null

type VarInfo = (Bool, Path, Const)

varInfo :: AllE a => V a -> VarInfo

stmtVars :: Statement -> [VarInfo]

exprVars :: E a -> [VarInfo]