Documentation

findUnusedArgs :: [Name] -> Idris ()Source

traceUnused :: Name -> Idris ()Source

used :: [(Name, Int)] -> Name -> Int -> Idris BoolSource

getFargpos :: [(Name, [[Name]])] -> (Name, Int) -> [(Name, Int, (Name, Int))]Source