Exp

Documentation

data Op where

Constructors

Add :: Num a => Op (a -> a -> a)

Mul :: Num a => Op (a -> a -> a)

Lit :: Show a => a -> Op a

Instances

ShowF Op

Show (Op a)

data E where

Constructors

Op :: Op a -> E v a

:^ :: (Typeable a, Typeable b) => E v (a -> b) -> E v a -> E v b

Let :: v a -> E v a -> E v b -> E v b

Var :: v a -> E v a

Instances

MuRef Ty (E v)

Eq (E v a)

(Typeable a, Num a) => Num (E (V Ty) a)

Show (E (V Ty) a)

data N where

Constructors

ON :: Op a -> N v a

App :: (Typeable a, Typeable b) => v (a -> b) -> v a -> N v b

Instances

ShowF v => ShowF (N v)

parens :: String -> String

notSupp :: String -> a

nodeE :: N v a -> E v a

unGraph :: Typeable a => Graph Ty N a -> E (V Ty) a

ssa :: Typeable a => E (V Ty) a -> IO (E (V Ty) a)

children :: N (V Ty) a -> [Id]

childrenB :: Bind Ty N -> [Id]

uses :: [Bind Ty N] -> Id -> Int

histogram :: [Int] -> IntMap Int

bindsF' :: [Bind Ty N] -> V Ty a -> N (V Ty) a

bindsF :: forall n a. [Bind Ty n] -> V Ty a -> n (V Ty) a

unGraph2 :: Graph Ty N a -> E (V Ty) a

cse :: Typeable a => E (V Ty) a -> IO (E (V Ty) a)

Common subexpression elimination

op2 :: (Typeable a, Typeable b, Typeable c) => Op (a -> b -> c) -> E v a -> E v b -> E v c

sqr :: Num a => a -> a

reify :: (MuRef Ty h, Typeable a) => h a -> IO (Graph Ty (DeRef h) a)

test :: Int -> E (V Ty) Integer