epic

Epic.Scopecheck

Documentation

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

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

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)