epic
Epic.Scopecheck
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