epic

Safe HaskellSafe-Infered

Epic.Scopecheck

Documentation

checkAll :: Monad m => [CompileOptions] -> [Decl] -> m (Context, [Decl])

scopecheck :: Monad m => Int -> Context -> Name -> Func -> m (Func, [Decl])

v_ise :: (Eq a, Num b) => [(a, t)] -> b -> [(a, b)]

class RtoV a where

Methods

rtov :: [(Name, Int)] -> a -> a

doRtoV :: a -> a

Instances

RtoV Func 
RtoV CaseAlt 
RtoV Expr 
RtoV a => RtoV [a] 
RtoV a => RtoV (a, Type)