%3

{"header":{"message":"first version v0.1.0","description":null,"timestamp":"2026-04-14T17:41:32.98579813Z","authors":[{}]},"hash":"PPWUPLXPI6R2XJEETPWWYYMW72C4SQXWVJ6XFPVSYF65XBLBFG5AC","authors":[{"login":"tzemanovic","key":"3FpVTsmZthvnKhEGTe7aUW47SMW2aCxSdqSHT4iuQREo"}],"deps":{"hashes":[["PPWUPLXPI6R2XJEETPWWYYMW72C4SQXWVJ6XFPVSYF65XBLBFG5AC","first version v0.1.0"],["AA",null],["6QLFPPNK7PODCXRW6GHDOOQJWREELC2UCIAZN4SRYOVWIL4THLBQC",""],["XC7SLUTH26FL73EXBRJUCQQ7ZASZ4HUOQZZVJGSQVHC7LOAHCNSAC","add .ignore"]],"deps":["6QLFPPNK7PODCXRW6GHDOOQJWREELC2UCIAZN4SRYOVWIL4THLBQC","XC7SLUTH26FL73EXBRJUCQQ7ZASZ4HUOQZZVJGSQVHC7LOAHCNSAC"],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"test","metadata":576},"context":[{"change":2,"pos":1}],"contents":[]}},{"FileAdd":{"meta":{"basename":"test.ipkg","metadata":0},"context":[{"change":0,"pos":1}],"contents":[{"Add":"package idris2-dep-graph-test"},{"Add":"version = 0.1.0"},{"Add":"authors = \"Tomáš Zemanovič\""},{"Add":"-- maintainers ="},{"Add":"-- license ="},{"Add":"-- brief ="},{"Add":"-- readme ="},{"Add":"-- homepage ="},{"Add":"-- sourceloc ="},{"Add":"-- bugtracker ="},{"Add":""},{"Add":"-- the Idris2 version required (e.g. langversion >= 0.5.1)"},{"Add":"-- langversion"},{"Add":""},{"Add":"-- packages to add to search path"},{"Add":"depends = idris2-dep-graph"},{"Add":""},{"Add":"-- modules to install"},{"Add":"-- modules ="},{"Add":""},{"Add":"-- main file (i.e. file to load at REPL)"},{"Add":"main = Main"},{"Add":""},{"Add":"-- name of executable"},{"Add":"executable = \"idris2-dep-graph-test\""},{"Add":"-- opts ="},{"Add":"sourcedir = \"src\""},{"Add":"-- builddir ="},{"Add":"-- outputdir ="},{"Add":""},{"Add":"-- script to run before building"},{"Add":"-- prebuild ="},{"Add":""},{"Add":"-- script to run after building"},{"Add":"-- postbuild ="},{"Add":""},{"Add":"-- script to run after building, before installing"},{"Add":"-- preinstall ="},{"Add":""},{"Add":"-- script to run after installing"},{"Add":"-- postinstall ="},{"Add":""},{"Add":"-- script to run before cleaning"},{"Add":"-- preclean ="},{"Add":""},{"Add":"-- script to run after cleaning"},{"Add":"-- postclean ="}]}},{"FileAdd":{"meta":{"basename":"src","metadata":576},"context":[{"change":0,"pos":1}],"contents":[]}},{"FileAdd":{"meta":{"basename":"Main.idr","metadata":0},"context":[{"change":0,"pos":887}],"contents":[{"Add":"module Main"},{"Add":""},{"Add":"main : IO ()"},{"Add":"main = putStrLn \"Test successful!\""}]}},{"FileAdd":{"meta":{"basename":"src","metadata":576},"context":[{"change":2,"pos":1}],"contents":[]}},{"FileAdd":{"meta":{"basename":"Main.idr","metadata":0},"context":[{"change":0,"pos":1001}],"contents":[{"Add":"module Main"},{"Add":""},{"Add":"import DepGraph.Data"},{"Add":"import DepGraph.Cli"},{"Add":"import Idris.Package.Extra"},{"Add":"import Idris.Driver.Extra"},{"Add":""},{"Add":"import Compiler.Common"},{"Add":"import Core.Context"},{"Add":"import Core.Directory"},{"Add":"import Core.InitPrimitives"},{"Add":"import Data.String"},{"Add":"import Idris.Error"},{"Add":"import Idris.Pretty"},{"Add":"import Idris.ModTree"},{"Add":"import Idris.SetOptions"},{"Add":"import Idris.Syntax"},{"Add":"import Idris.REPL"},{"Add":"import System"},{"Add":"import System.File"},{"Add":"import System.Term"},{"Add":"import Libraries.Data.StringMap"},{"Add":"import Libraries.System.Directory.Tree"},{"Add":"import Libraries.Utils.Path"},{"Add":""},{"Add":"%hide Idris.Syntax.Module -- DepGraph.Data.Module"},{"Add":""},{"Add":"--------------------------------------------------------------------------------"},{"Add":"-- Common utils"},{"Add":"--------------------------------------------------------------------------------"},{"Add":""},{"Add":"loadPkg :"},{"Add":" {auto c : Ref Ctxt Defs} ->"},{"Add":" {auto s : Ref Syn SyntaxInfo} ->"},{"Add":" {auto o : Ref ROpts REPLOpts} ->"},{"Add":" String ->"},{"Add":" Core (PkgDesc, String)"},{"Add":"loadPkg file = do"},{"Add":" let Just (root, filename) = splitParent file"},{"Add":" | _ => throw $ InternalError \"Tried to split empty string\""},{"Add":" let True = isSuffixOf \".ipkg\" filename"},{"Add":" | _ => do"},{"Add":" coreLift $ putStrLn $"},{"Add":" \"Packages must have an '.ipkg' extension: \" ++ show file ++ \".\""},{"Add":" coreLift $ exitWith $ ExitFailure 1"},{"Add":""},{"Add":" setWorkingDir root"},{"Add":" pkg <- parsePkgFile True filename"},{"Add":" pure (pkg, root)"},{"Add":""},{"Add":"||| Ensure file path is absolute (uses `getWorkingDir`)"},{"Add":"toAbsolute : String -> Core String"},{"Add":"toAbsolute path = do"},{"Add":" if isAbsolute path"},{"Add":" then pure path"},{"Add":" else do"},{"Add":" wdir <- getWorkingDir"},{"Add":" pure $ wdir path"},{"Add":""},{"Add":"--------------------------------------------------------------------------------"},{"Add":"-- Modules dependency graph"},{"Add":"--------------------------------------------------------------------------------"},{"Add":""},{"Add":"processMod :"},{"Add":" (modFilter : List ModuleIdent -> List ModuleIdent) ->"},{"Add":" BuildMod ->"},{"Add":" Module"},{"Add":"processMod modFilter mod ="},{"Add":" MkModule"},{"Add":" { name = show mod.buildNS"},{"Add":" , deps = show <$> modFilter mod.imports"},{"Add":" }"},{"Add":""},{"Add":"record RawPkgModules where"},{"Add":" constructor MkRawPkgModules"},{"Add":" name : String"},{"Add":" root : String"},{"Add":" ||| Absolute paths to modules"},{"Add":" mods : List String"},{"Add":" buildMods : List BuildMod"},{"Add":""},{"Add":"processPkgMods :"},{"Add":" ModOpts ->"},{"Add":" (localMods : List ModuleIdent) ->"},{"Add":" RawPkgModules ->"},{"Add":" PkgModules"},{"Add":"processPkgMods opts localMods rawPkg = do"},{"Add":" let MkRawPkgModules { name, root, mods, buildMods } = rawPkg"},{"Add":" let modules = (processMod modFilter) <$> buildMods"},{"Add":" MkPkgModules { name, modules }"},{"Add":" where"},{"Add":" modFilter : List ModuleIdent -> List ModuleIdent"},{"Add":" modFilter ="},{"Add":" if opts.withExternal"},{"Add":" then id"},{"Add":" else filter $ \\mod => any (== mod) localMods"},{"Add":""},{"Add":"getLocalMods :"},{"Add":" ModOpts ->"},{"Add":" (localFiles : List String) ->"},{"Add":" RawPkgModules ->"},{"Add":" List ModuleIdent"},{"Add":"getLocalMods opts localFiles rawPkg ="},{"Add":" buildNS <$> (modFilter rawPkg.root) rawPkg.buildMods"},{"Add":" where"},{"Add":" modFilter : String -> List BuildMod -> List BuildMod"},{"Add":" modFilter dir ="},{"Add":" if opts.withExternal"},{"Add":" then id"},{"Add":" else filter $ \\mod =>"},{"Add":" any (\\local => (dir buildFile mod) == local) localFiles"},{"Add":""},{"Add":"findPkgModules :"},{"Add":" {auto c : Ref Ctxt Defs} ->"},{"Add":" {auto s : Ref Syn SyntaxInfo} ->"},{"Add":" {auto o : Ref ROpts REPLOpts} ->"},{"Add":" PkgDesc ->"},{"Add":" Core (List String)"},{"Add":"findPkgModules pkg = do"},{"Add":" withWarnings $ addDeps pkg"},{"Add":" runScript (prebuild pkg)"},{"Add":" pure $ maybe (map snd (modules pkg))"},{"Add":" (\\m => snd m :: map snd (modules pkg))"},{"Add":" (mainmod pkg)"},{"Add":""},{"Add":"getAllBuildMods :"},{"Add":" {auto c : Ref Ctxt Defs} ->"},{"Add":" {auto o : Ref ROpts REPLOpts} ->"},{"Add":" FC -> (done : List BuildMod) ->"},{"Add":" (allFiles : List String) ->"},{"Add":" Core (List BuildMod)"},{"Add":"getAllBuildMods fc done [] = pure done"},{"Add":"getAllBuildMods fc done (f :: fs) = do"},{"Add":" ms <- getBuildMods fc done f"},{"Add":" getAllBuildMods fc (ms ++ done) fs"},{"Add":""},{"Add":"loadPkgModules :"},{"Add":" {auto c : Ref Ctxt Defs} ->"},{"Add":" {auto s : Ref Syn SyntaxInfo} ->"},{"Add":" {auto o : Ref ROpts REPLOpts} ->"},{"Add":" String ->"},{"Add":" Core RawPkgModules"},{"Add":"loadPkgModules file = do"},{"Add":" (pkg, root) <- loadPkg file"},{"Add":" whenJust (builddir pkg) setBuildDir"},{"Add":" setOutputDir (outputdir pkg)"},{"Add":" mods <- traverse toAbsolute !(findPkgModules pkg)"},{"Add":" -- There might be duplicates, so if something is already processed, drop it"},{"Add":" buildMods <- dropLater <$> getAllBuildMods EmptyFC [] mods"},{"Add":""},{"Add":" pure $ MkRawPkgModules { name = pkg.name, root, mods, buildMods }"},{"Add":" where"},{"Add":" dropLater : List BuildMod -> List BuildMod"},{"Add":" dropLater [] = []"},{"Add":" dropLater (b :: bs)"},{"Add":" = b :: dropLater (filter (\\x => buildFile x /= buildFile b) bs)"},{"Add":""},{"Add":"modMain :"},{"Add":" {auto c : Ref Ctxt Defs} ->"},{"Add":" {auto s : Ref Syn SyntaxInfo} ->"},{"Add":" {auto o : Ref ROpts REPLOpts} ->"},{"Add":" ModOpts ->"},{"Add":" List String ->"},{"Add":" Core ()"},{"Add":"modMain opts files = do"},{"Add":" pkgs <- for files loadPkgModules"},{"Add":" let localFiles = concat $ mods <$> pkgs"},{"Add":" let localMods = concat $ getLocalMods opts localFiles <$> pkgs"},{"Add":" let modules = (processPkgMods opts localMods) <$> pkgs"},{"Add":" coreLift $ putStrLn $ show modules"},{"Add":""},{"Add":"--------------------------------------------------------------------------------"},{"Add":"-- Package dependency graph"},{"Add":"--------------------------------------------------------------------------------"},{"Add":""},{"Add":"processPackage :"},{"Add":" (isLocal : Bool) ->"},{"Add":" (localOnly : Bool) ->"},{"Add":" (localPkgs : List String) ->"},{"Add":" PkgDesc ->"},{"Add":" Core Package"},{"Add":"processPackage isLocal localOnly localPkgs pkg = do"},{"Add":" pure $ MkPackage pkg.name deps isLocal"},{"Add":" where"},{"Add":" depName : Depends -> String"},{"Add":" depName dep = dep.pkgname"},{"Add":""},{"Add":" pkgFilter : List String -> List String"},{"Add":" pkgFilter = if localOnly"},{"Add":" then filter $ \\pkg => any (== pkg) localPkgs"},{"Add":" else id"},{"Add":""},{"Add":" deps : List String"},{"Add":" deps = pkgFilter $ depName <$> pkg.depends"},{"Add":""},{"Add":"record Candidate where"},{"Add":" constructor MkCandidate"},{"Add":" name : String"},{"Add":" version : Maybe PkgVersion"},{"Add":" directory : String"},{"Add":""},{"Add":"toCandidate : (name : String) -> (String,Maybe PkgVersion) -> Candidate"},{"Add":"toCandidate name (dir,v) = MkCandidate name v dir"},{"Add":""},{"Add":"record ResolutionError where"},{"Add":" constructor MkRE"},{"Add":" decisions : List Candidate"},{"Add":" depends : Depends"},{"Add":" version : Maybe PkgVersion"},{"Add":""},{"Add":"prepend : Candidate -> ResolutionError -> ResolutionError"},{"Add":"prepend p = { decisions $= (p ::)}"},{"Add":""},{"Add":"reason : Maybe PkgVersion -> String"},{"Add":"reason Nothing = \"no matching version is installed.\""},{"Add":"reason (Just x) = \"only found version \\{show x} which is out of bounds.\""},{"Add":""},{"Add":"printResolutionError : ResolutionError -> String"},{"Add":"printResolutionError (MkRE ds d v) = go [<] ds"},{"Add":" where go : SnocList String -> List Candidate -> String"},{"Add":" go ss [] ="},{"Add":" let pre := \"Required \\{d.pkgname} \\{show d.pkgbounds} but\""},{"Add":" failure := \"\\{pre} \\{reason v}\""},{"Add":" candidates := case ss of"},{"Add":" [<] => \"\""},{"Add":" ss => \" Resolved transitive dependencies: \" ++ (fastConcat $ intersperse \"; \" $ cast ss) ++ \".\""},{"Add":" in failure ++ candidates"},{"Add":" go ss (c :: cs) ="},{"Add":" let v := fromMaybe defaultVersion c.version"},{"Add":" in go (ss :< \"\\{c.name}-\\{show v}\") cs"},{"Add":""},{"Add":"data ResolutionRes : Type where"},{"Add":" Resolved : List String -> ResolutionRes"},{"Add":" Failed : List ResolutionError -> ResolutionRes"},{"Add":""},{"Add":"printErrs : (pkgDirs : List String) -> PkgDesc -> List ResolutionError -> String"},{"Add":"printErrs pkgDirs x es ="},{"Add":" let errors := unlines $ \"Failed to resolve the dependencies for \\{x.name}:\""},{"Add":" :: map (indent 2 . printResolutionError) es"},{"Add":" dirs := unlines $ \"Searched for packages in:\""},{"Add":" :: map (indent 2) pkgDirs"},{"Add":" in \"\"\""},{"Add":" \\{errors}"},{"Add":" \\{dirs}"},{"Add":" For more details on what packages Idris2 can locate, run `idris2 --list-packages`"},{"Add":" \"\"\""},{"Add":""},{"Add":"-- try all possible resolution paths, keeping the first"},{"Add":"-- that works"},{"Add":"tryAll : List Candidate"},{"Add":" -> (Candidate -> Core ResolutionRes)"},{"Add":" -> Core ResolutionRes"},{"Add":"tryAll ps f = go [<] ps"},{"Add":" where go : SnocList ResolutionError"},{"Add":" -> List Candidate"},{"Add":" -> Core ResolutionRes"},{"Add":" go se [] = pure (Failed $ se <>> [])"},{"Add":" go se (x :: xs) = do"},{"Add":" Failed errs <- f x | Resolved res => pure (Resolved res)"},{"Add":" go (se <>< map (prepend x) errs) xs"},{"Add":""},{"Add":"pkgDirs :"},{"Add":" {auto c : Ref Ctxt Defs} ->"},{"Add":" Core (List String)"},{"Add":"pkgDirs = do"},{"Add":" localdir <- pkgLocalDirectory"},{"Add":" d <- getDirs"},{"Add":" pure (localdir :: (show <$> d.package_search_paths))"},{"Add":""},{"Add":"||| Find all dependencies (transitively) from the given package file."},{"Add":"findDeps :"},{"Add":" {auto c : Ref Ctxt Defs} ->"},{"Add":" {auto s : Ref Syn SyntaxInfo} ->"},{"Add":" {auto o : Ref ROpts REPLOpts} ->"},{"Add":" PkgDesc ->"},{"Add":" Core (List String)"},{"Add":"findDeps pkg = do"},{"Add":" Resolved allPkgs <- getTransitiveDeps pkg.depends empty"},{"Add":" | Failed errs => throw $ GenericMsg EmptyFC (printErrs !pkgDirs pkg errs)"},{"Add":" log \"package.depends\" 10 $ \"all depends: \\{show allPkgs}\""},{"Add":" pure allPkgs"},{"Add":" where"},{"Add":" -- Note: findPkgDir throws an error if a package is not found"},{"Add":" -- *unless* --ignore-missing-ipkg is enabled"},{"Add":" -- therefore, if findPkgDir returns Nothing, skip the package"},{"Add":" --"},{"Add":" -- We use a backtracking algorithm here: If several versions of"},{"Add":" -- a package are installed, we must try all, which are are"},{"Add":" -- potentially in bounds, because their set of dependencies"},{"Add":" -- might be different across versions and not all of them"},{"Add":" -- might lead to a resolvable situation."},{"Add":" getTransitiveDeps :"},{"Add":" List Depends ->"},{"Add":" (done : StringMap (Maybe PkgVersion, String)) ->"},{"Add":" Core ResolutionRes"},{"Add":" getTransitiveDeps [] done = do"},{"Add":" ms <- for (StringMap.toList done) $"},{"Add":" \\(pkg, (mv, pkgFile)) => do pure $ ( pkgFile) <$> !(findPkgDir pkg (exactBounds mv))"},{"Add":" pure . Resolved $ catMaybes ms"},{"Add":""},{"Add":" getTransitiveDeps (dep :: deps) done ="},{"Add":" case lookup dep.pkgname done of"},{"Add":" Just (mv, pkgFile) =>"},{"Add":" if inBounds mv dep.pkgbounds"},{"Add":" -- already resolved dependency is in bounds"},{"Add":" -- so we keep it and resolve remaining deps"},{"Add":" then getTransitiveDeps deps done"},{"Add":" -- the resolved dependency does not satisfy the"},{"Add":" -- current bounds. we return an error and backtrack"},{"Add":" else pure (Failed [MkRE [] dep $ mv <|> Just defaultVersion])"},{"Add":" Nothing => do"},{"Add":" log \"package.depends\" 50 \"adding new dependency: \\{dep.pkgname} (\\{show dep.pkgbounds})\""},{"Add":" pkgDirs <- findPkgDirs dep.pkgname dep.pkgbounds"},{"Add":" let candidates := toCandidate dep.pkgname <$> pkgDirs"},{"Add":""},{"Add":" case candidates of"},{"Add":" [] => do"},{"Add":" defs <- get Ctxt"},{"Add":" if defs.options.session.ignoreMissingPkg"},{"Add":" -- this corresponds to what `findPkgDir` does in"},{"Add":" -- case of `ignoreMissingPkg` being set to `True`"},{"Add":" then getTransitiveDeps deps done"},{"Add":" else pure (Failed [MkRE [] dep Nothing])"},{"Add":""},{"Add":" _ => tryAll candidates $ \\(MkCandidate name mv pkgDir) => do"},{"Add":" let pkgFile = pkgDir name <.> \"ipkg\""},{"Add":" True <- coreLift $ exists pkgFile"},{"Add":" | False => getTransitiveDeps deps (insert name (mv, pkgFile) done)"},{"Add":" pkg <- parsePkgFile False pkgFile"},{"Add":" getTransitiveDeps"},{"Add":" (pkg.depends ++ deps)"},{"Add":" (insert pkg.name (pkg.version, pkgFile) done)"},{"Add":""},{"Add":"pkgMain :"},{"Add":" {auto c : Ref Ctxt Defs} ->"},{"Add":" {auto s : Ref Syn SyntaxInfo} ->"},{"Add":" {auto o : Ref ROpts REPLOpts} ->"},{"Add":" PkgOpts ->"},{"Add":" List String ->"},{"Add":" Core ()"},{"Add":"pkgMain opts files = do"},{"Add":" let MkPkgOpts {localOnly} = opts"},{"Add":" pkgsWithRoots <- for files loadPkg"},{"Add":" let pkgs = fst <$> pkgsWithRoots"},{"Add":" let localPkgs = (.name) <$> pkgs"},{"Add":" deps <- if localOnly"},{"Add":" then pure []"},{"Add":" else do"},{"Add":" -- Remove duplicates"},{"Add":" deps <- dropLater <$> concat <$> for pkgs findDeps"},{"Add":" pkgsWithRoots <- for deps loadPkg"},{"Add":" let deps = fst <$> pkgsWithRoots"},{"Add":" -- There might also be local pkgs in deps, remove those too"},{"Add":" pure $ filter (\\d => all (\\local => local /= d.name) localPkgs) deps"},{"Add":" local <- for pkgs $ processPackage True localOnly localPkgs"},{"Add":" deps <- for deps $ processPackage False localOnly localPkgs"},{"Add":" coreLift $ putStrLn $ show (local ++ deps)"},{"Add":" where"},{"Add":" dropLater : List String -> List String"},{"Add":" dropLater [] = []"},{"Add":" dropLater (b :: bs)"},{"Add":" = b :: dropLater (filter (/= b) bs)"},{"Add":""},{"Add":"--------------------------------------------------------------------------------"},{"Add":"-- Common"},{"Add":"--------------------------------------------------------------------------------"},{"Add":""},{"Add":"setupPackPkgPath :"},{"Add":" {auto c : Ref Ctxt Defs} ->"},{"Add":" Core Bool"},{"Add":"setupPackPkgPath = do"},{"Add":" (res, code) <- coreLift $ run \"pack package-path\""},{"Add":" let success = code >= 0"},{"Add":" when success $"},{"Add":" traverseList1_ addPackageSearchPath $ splitPaths res"},{"Add":" pure success"},{"Add":""},{"Add":"findIpkgs : {root : Path} -> Tree root -> IO (List String)"},{"Add":"findIpkgs t = depthFirst check t (pure [])"},{"Add":" where"},{"Add":" check : {root : Path} -> FileName root ->"},{"Add":" Lazy (IO (List String)) -> IO (List String)"},{"Add":" check fn next = do"},{"Add":" if \".ipkg\" `isSuffixOf` fileName fn"},{"Add":" then do pure $ (toFilePath fn) :: !next"},{"Add":" else next"},{"Add":""},{"Add":"||| If the user did not provide any package file we can look in the working"},{"Add":"||| directory."},{"Add":"localPackageFiles : List String -> Core (List String)"},{"Add":"localPackageFiles pkgs@(_ :: _) = for pkgs toAbsolute"},{"Add":"localPackageFiles _ = do"},{"Add":" wdir <- getWorkingDir"},{"Add":" tree <- coreLift $ filter filePred dirPred <$> (explore $ parse wdir)"},{"Add":" candidates <- coreLift $ findIpkgs tree"},{"Add":" let pkgs = filter (\".ipkg\" `isSuffixOf`) candidates"},{"Add":" for pkgs toAbsolute"},{"Add":" where"},{"Add":" filePred : {root : _} -> FileName root -> Bool"},{"Add":" filePred name = True"},{"Add":""},{"Add":" dirPred : {root : _} -> FileName root -> Bool"},{"Add":" dirPred name = all (/= fileName name) ignore"},{"Add":" where"},{"Add":" ignore : List String"},{"Add":" ignore = [\".git\", \".pijul\"]"},{"Add":""},{"Add":"handleSubCmd :"},{"Add":" {auto c : Ref Ctxt Defs} ->"},{"Add":" {auto s : Ref Syn SyntaxInfo} ->"},{"Add":" {auto o : Ref ROpts REPLOpts} ->"},{"Add":" List String ->"},{"Add":" List CLOpt ->"},{"Add":" Core ()"},{"Add":"handleSubCmd pathargs opts = do"},{"Add":" files <- localPackageFiles pathargs"},{"Add":" case subCmd opts of"},{"Add":" SubCmdMod opts => modMain opts files"},{"Add":" SubCmdPkg opts => pkgMain opts files"},{"Add":""},{"Add":"quitWithError :"},{"Add":" {auto c : Ref Ctxt Defs} ->"},{"Add":" {auto s : Ref Syn SyntaxInfo} ->"},{"Add":" {auto o : Ref ROpts REPLOpts} ->"},{"Add":" Error ->"},{"Add":" Core a"},{"Add":"quitWithError err = do"},{"Add":" doc <- display err"},{"Add":" msg <- render doc"},{"Add":" coreLift (die msg)"},{"Add":""},{"Add":"auxMain : List CLOpt -> Core ()"},{"Add":"auxMain opts = do"},{"Add":" defs <- initDefs"},{"Add":" c <- newRef Ctxt defs"},{"Add":" s <- newRef Syn initSyntax"},{"Add":" setCG {c} Chez"},{"Add":" addPrimitives"},{"Add":" setWorkingDir \".\""},{"Add":" let outmode = REPL InfoLvl"},{"Add":" o <- newRef ROpts (REPL.Opts.defaultOpts Nothing outmode [])"},{"Add":" True <- setupPackPkgPath"},{"Add":" | False => updateEnv"},{"Add":" let ipkgs = findInputs opts"},{"Add":" flip catch quitWithError $ handleSubCmd ipkgs opts"},{"Add":""},{"Add":"main : IO ()"},{"Add":"main = do"},{"Add":" Right opts <- getCmdOpts"},{"Add":" | Left err => do ignore $ fPutStrLn stderr $ \"Error: \" ++ err"},{"Add":" exitWith (ExitFailure 1)"},{"Add":" continue <- quitOpts opts"},{"Add":" when continue $ do"},{"Add":" setupTerm"},{"Add":" coreRun (auxMain opts)"},{"Add":" (\\err : Error => do ignore $ fPutStrLn stderr $ \"Uncaught error: \" ++ show err"},{"Add":" exitWith (ExitFailure 1))"},{"Add":" (\\res => pure ())"}]}},{"FileAdd":{"meta":{"basename":"Idris","metadata":576},"context":[{"change":0,"pos":1001}],"contents":[]}},{"FileAdd":{"meta":{"basename":"Package","metadata":576},"context":[{"change":0,"pos":15787}],"contents":[]}},{"FileAdd":{"meta":{"basename":"Extra.idr","metadata":0},"context":[{"change":0,"pos":15806}],"contents":[{"Add":"||| Re-exports Idris.Package with some private declarations."},{"Add":"|||"},{"Add":"||| `Idris.Package` private items are visible here because of the common module"},{"Add":"||| prefix."},{"Add":"|||"},{"Add":"||| Last updated with Idris2 commit 80fd5e4d754888e02a734b05011a98ee4334fd20."},{"Add":"module Idris.Package.Extra"},{"Add":""},{"Add":"import public Idris.Package"},{"Add":""},{"Add":"import Idris.Package as P"},{"Add":"import Idris.REPL"},{"Add":"import Idris.Syntax"},{"Add":"import IdrisPaths"},{"Add":""},{"Add":"||| Emit captured warnings from inner scope and clear them"},{"Add":"||| afterwards (to avoid emitting them in some unrelated"},{"Add":"||| codepath later)."},{"Add":"export"},{"Add":"withWarnings : Ref Ctxt Defs =>"},{"Add":" Ref Syn SyntaxInfo =>"},{"Add":" Ref ROpts REPLOpts =>"},{"Add":" Core a -> Core a"},{"Add":"withWarnings = P.withWarnings"},{"Add":""},{"Add":"export"},{"Add":"runScript : Maybe (FC, String) -> Core ()"},{"Add":"runScript = P.runScript"},{"Add":""},{"Add":"||| Add all dependencies (transitively) from the given package file into the"},{"Add":"||| context so modules from each is accessible during compilation."},{"Add":"export"},{"Add":"addDeps :"},{"Add":" {auto c : Ref Ctxt Defs} ->"},{"Add":" {auto s : Ref Syn SyntaxInfo} ->"},{"Add":" {auto o : Ref ROpts REPLOpts} ->"},{"Add":" PkgDesc ->"},{"Add":" Core ()"},{"Add":"addDeps = P.addDeps"}]}},{"FileAdd":{"meta":{"basename":"Driver","metadata":576},"context":[{"change":0,"pos":15787}],"contents":[]}},{"FileAdd":{"meta":{"basename":"Extra.idr","metadata":0},"context":[{"change":0,"pos":16944}],"contents":[{"Add":"||| Re-exports Idris.Driver with some private declarations."},{"Add":"|||"},{"Add":"||| `Idris.Driver` private items are visible here because of the common module"},{"Add":"||| prefix."},{"Add":"|||"},{"Add":"||| Last updated with Idris2 commit 80fd5e4d754888e02a734b05011a98ee4334fd20."},{"Add":"module Idris.Driver.Extra"},{"Add":""},{"Add":"import public Idris.Driver"},{"Add":""},{"Add":"import Core.Context"},{"Add":"import Data.List1"},{"Add":"import Idris.Driver as D"},{"Add":"import Idris.REPL"},{"Add":""},{"Add":"export"},{"Add":"updateEnv : {auto c : Ref Ctxt Defs} ->"},{"Add":" {auto o : Ref ROpts REPLOpts} ->"},{"Add":" Core ()"},{"Add":"updateEnv = D.updateEnv"},{"Add":""},{"Add":"export"},{"Add":"splitPaths : String -> List1 String"},{"Add":"splitPaths = D.splitPaths"}]}},{"FileAdd":{"meta":{"basename":"DepGraph","metadata":576},"context":[{"change":0,"pos":1001}],"contents":[]}},{"FileAdd":{"meta":{"basename":"Data.idr","metadata":0},"context":[{"change":0,"pos":17581}],"contents":[{"Add":"module DepGraph.Data"},{"Add":""},{"Add":"import Data.String"},{"Add":""},{"Add":"%default total"},{"Add":""},{"Add":"dquote : String -> String"},{"Add":"dquote str = \"\\\"\" ++ str ++ \"\\\"\""},{"Add":""},{"Add":"joinSemicolon : List String -> String"},{"Add":"joinSemicolon = joinBy \"; \""},{"Add":""},{"Add":"--------------------------------------------------------------------------------"},{"Add":"-- Modules dependency graph"},{"Add":"--------------------------------------------------------------------------------"},{"Add":""},{"Add":"public export"},{"Add":"record Module where"},{"Add":" constructor MkModule"},{"Add":" name : String"},{"Add":" deps : List String"},{"Add":""},{"Add":"public export"},{"Add":"record PkgModules where"},{"Add":" constructor MkPkgModules"},{"Add":" name : String"},{"Add":" modules : List Module"},{"Add":""},{"Add":"public export"},{"Add":"PkgsModules : Type"},{"Add":"PkgsModules = List PkgModules"},{"Add":""},{"Add":"export"},{"Add":"Show PkgsModules where"},{"Add":" show pkgs = \"digraph { splines=\\\"ortho\\\";\" ++ subgraphs ++ edges ++ \"}\""},{"Add":" where"},{"Add":" depEdge : String -> String -> String"},{"Add":" depEdge srcName destName = dquote srcName ++ \" -> \" ++ dquote destName"},{"Add":""},{"Add":" moduleEdge : Module -> String"},{"Add":" moduleEdge mod = joinSemicolon $ depEdge mod.name <$> mod.deps"},{"Add":""},{"Add":" pkgEdge : PkgModules -> String"},{"Add":" pkgEdge pkg = concat $ moduleEdge <$> pkg.modules"},{"Add":""},{"Add":" moduleNode : Module -> String"},{"Add":" moduleNode mod = dquote mod.name ++ \"[style=\\\"filled\\\", fillcolor=white]\""},{"Add":""},{"Add":" pkgSubgraph : PkgModules -> String"},{"Add":" pkgSubgraph pkg ="},{"Add":" -- prefix the name with \"cluster\" to group its nodes in a labelled box"},{"Add":" \"subgraph \" ++ (dquote $ \"cluster_\" ++ pkg.name)"},{"Add":" ++ \"{\""},{"Add":" ++ \"style=\\\"filled\\\"; fillcolor = \\\"linen\\\";\""},{"Add":" ++ \"label=\" ++ dquote pkg.name ++ \";\""},{"Add":" ++ (joinSemicolon $ moduleNode <$> pkg.modules)"},{"Add":" ++ \"}\""},{"Add":""},{"Add":" subgraphs, edges : String"},{"Add":" subgraphs = concat $ pkgSubgraph <$> pkgs"},{"Add":" edges = concat $ pkgEdge <$> pkgs"},{"Add":""},{"Add":"--------------------------------------------------------------------------------"},{"Add":"-- Packages dependency graph"},{"Add":"--------------------------------------------------------------------------------"},{"Add":""},{"Add":"public export"},{"Add":"record Package where"},{"Add":" constructor MkPackage"},{"Add":" name : String"},{"Add":" deps : List String"},{"Add":" isLocal : Bool"},{"Add":""},{"Add":"public export"},{"Add":"Packages : Type"},{"Add":"Packages = List Package"},{"Add":""},{"Add":"export"},{"Add":"Show Packages where"},{"Add":" show pkgs = \"digraph {\" ++ inner ++ \"}\""},{"Add":" where"},{"Add":" depEdge : String -> String -> String"},{"Add":" depEdge srcName destName = dquote srcName ++ \" -> \" ++ dquote destName"},{"Add":""},{"Add":" pkgEdge : Package -> List String"},{"Add":" pkgEdge pkg = depEdge pkg.name <$> pkg.deps"},{"Add":""},{"Add":" pkgNode : Package -> String"},{"Add":" pkgNode pkg ="},{"Add":" (dquote pkg.name)"},{"Add":" ++ \"[\""},{"Add":" ++ (if pkg.isLocal"},{"Add":" then \"style=\\\"filled\\\"; fillcolor =\\\"linen\\\";\""},{"Add":" else \"\")"},{"Add":" ++ \"]\""},{"Add":""},{"Add":" edges = concat $ pkgEdge <$> pkgs"},{"Add":" nodes = pkgNode <$> pkgs"},{"Add":" inner = joinSemicolon (nodes ++ edges)"},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"Cli.idr","metadata":0},"context":[{"change":0,"pos":17581}],"contents":[{"Add":"module DepGraph.Cli"},{"Add":""},{"Add":"import Data.List1"},{"Add":"import Data.String"},{"Add":"import System"},{"Add":""},{"Add":"public export"},{"Add":"record ModOpts where"},{"Add":" constructor MkModOpts"},{"Add":" withExternal : Bool"},{"Add":""},{"Add":"public export"},{"Add":"record PkgOpts where"},{"Add":" constructor MkPkgOpts"},{"Add":" localOnly : Bool"},{"Add":""},{"Add":"||| CLOpt - possible command line options"},{"Add":"public export"},{"Add":"data CLOpt"},{"Add":" ="},{"Add":" ||| Module import graph"},{"Add":" Module ModOpts |"},{"Add":" ||| Package dependency graph"},{"Add":" Package PkgOpts |"},{"Add":" ||| The input Idris file"},{"Add":" InputFile String |"},{"Add":" ||| Display help text"},{"Add":" Help |"},{"Add":" ||| Display app version"},{"Add":" Version"},{"Add":""},{"Add":"data OptType"},{"Add":" = Required String"},{"Add":" | Optional String"},{"Add":" | Flag String"},{"Add":""},{"Add":"public export"},{"Add":"data SubCmd ="},{"Add":" ||| Module import graph"},{"Add":" SubCmdMod ModOpts |"},{"Add":" ||| Package dependency graph"},{"Add":" SubCmdPkg PkgOpts"},{"Add":""},{"Add":"Show OptType where"},{"Add":" show (Required a) = \"<\" ++ a ++ \">\""},{"Add":" show (Optional a) = \"[\" ++ a ++ \"]\""},{"Add":" show (Flag a) = \"[--\" ++ a ++ \"]\""},{"Add":""},{"Add":"ActType : List OptType -> Type"},{"Add":"ActType [] = List CLOpt"},{"Add":"ActType (Required a :: as) = String -> ActType as"},{"Add":"ActType (Optional a :: as) = Maybe String -> ActType as"},{"Add":"ActType (Flag a :: as) = Bool -> ActType as"},{"Add":""},{"Add":"record OptDesc where"},{"Add":" constructor MkOpt"},{"Add":" flags : List String"},{"Add":" argdescs : List OptType"},{"Add":" action : ActType argdescs"},{"Add":" help : Maybe String"},{"Add":""},{"Add":"optSeparator : OptDesc"},{"Add":"optSeparator = MkOpt [] [] [] Nothing"},{"Add":""},{"Add":"showDefault : Show a => a -> String"},{"Add":"showDefault x = \"(default \" ++ show x ++ \")\""},{"Add":""},{"Add":"options : List OptDesc"},{"Add":"options ="},{"Add":" [ MkOpt [\"package\", \"pkg\", \"p\"] [Flag \"local-only\"]"},{"Add":" (\\localOnly => [Package $ MkPkgOpts {localOnly}])"},{"Add":" (Just \"(default) Generate a package dependency graph\")"},{"Add":" , MkOpt [\"module\", \"mod\", \"m\"] [Flag \"with-external\"]"},{"Add":" (\\withExternal => [Module $ MkModOpts {withExternal}])"},{"Add":" (Just \"Generate a module import graph\")"},{"Add":" , MkOpt [\"--help\", \"-h\", \"-?\"] [] [Help]"},{"Add":" (Just \"Display help text\")"},{"Add":" , MkOpt [\"--version\", \"-v\"] [] [Version]"},{"Add":" (Just \"Display version string\")"},{"Add":" ]"},{"Add":""},{"Add":"optShow : OptDesc -> (String, Maybe String)"},{"Add":"optShow (MkOpt [] _ _ _) = (\"\", Just \"\")"},{"Add":"optShow (MkOpt flags argdescs action help) ="},{"Add":" (showSep \", \" flags ++ \" \" ++ showSep \" \" (map show argdescs), help)"},{"Add":" where"},{"Add":" showSep : String -> List String -> String"},{"Add":" showSep sep [] = \"\""},{"Add":" showSep sep [x] = x"},{"Add":" showSep sep (x :: xs) = x ++ sep ++ showSep sep xs"},{"Add":""},{"Add":"firstColumnWidth : Nat"},{"Add":"firstColumnWidth = foldr max 0 $ map (length . fst . optShow) options"},{"Add":""},{"Add":"makeTextFromOptionsOrEnvs : List (String, Maybe String) -> String"},{"Add":"makeTextFromOptionsOrEnvs rows = concatMap (optUsage firstColumnWidth) rows"},{"Add":" where"},{"Add":" optUsage : Nat -> (String, Maybe String) -> String"},{"Add":" optUsage maxOpt (optshow, help) ="},{"Add":" maybe"},{"Add":" \"\" -- Don't show anything if there's no help string (that means"},{"Add":" -- it's an internal option)"},{"Add":" (\\h =>"},{"Add":" \" \" ++ optshow ++"},{"Add":" pack (List.replicate (minus (maxOpt + 2) (length optshow)) ' ') ++"},{"Add":" h ++ \"\\n\")"},{"Add":" help"},{"Add":""},{"Add":"optsUsage : String"},{"Add":"optsUsage = makeTextFromOptionsOrEnvs $ map optShow options"},{"Add":""},{"Add":"-- TODO get version from .ipkg"},{"Add":"export"},{"Add":"versionMsg : String"},{"Add":"versionMsg = \"Dep-graph version 0.1.0\""},{"Add":""},{"Add":"export"},{"Add":"usage : String"},{"Add":"usage = \"\"\""},{"Add":" \\{ versionMsg }"},{"Add":" Usage: dep-graph [options] [ipkg file...]"},{"Add":""},{"Add":" Available options:"},{"Add":" \\{ optsUsage }"},{"Add":" \"\"\""},{"Add":""},{"Add":"processArgs : String -> (args : List OptType) -> List String -> ActType args ->"},{"Add":" Either String (List CLOpt, List String)"},{"Add":"processArgs flag [] xs f = Right (f, xs)"},{"Add":"-- Missing required arguments"},{"Add":"processArgs flag (opt@(Required _) :: as) [] f ="},{"Add":" Left $ \"Missing required argument \" ++ show opt ++ \" for flag \" ++ flag"},{"Add":"processArgs flag (Optional a :: as) [] f ="},{"Add":" processArgs flag as [] (f Nothing)"},{"Add":"processArgs flag (Flag a :: as) [] f ="},{"Add":" processArgs flag as [] (f False)"},{"Add":"-- Happy cases"},{"Add":"processArgs flag (Required a :: as) (x :: xs) f ="},{"Add":" processArgs flag as xs (f x)"},{"Add":"processArgs flag (Optional a :: as) (x :: xs) f ="},{"Add":" if isPrefixOf \"-\" x"},{"Add":" then processArgs flag as (x :: xs) (f Nothing)"},{"Add":" else processArgs flag as xs (f $ Just x)"},{"Add":"processArgs flag (Flag a :: as) (x :: xs) f ="},{"Add":" if x == \"--\" ++ a"},{"Add":" then processArgs flag as xs (f True)"},{"Add":" else processArgs flag as (x :: xs) (f False)"},{"Add":""},{"Add":"matchFlag : (d : OptDesc) -> List String ->"},{"Add":" Either String (Maybe (List CLOpt, List String))"},{"Add":"matchFlag d [] = Right Nothing -- Nothing left to match"},{"Add":"matchFlag d (x :: xs) ="},{"Add":" if x `elem` flags d"},{"Add":" then do"},{"Add":" args <- processArgs x (argdescs d) xs (action d)"},{"Add":" Right (Just args)"},{"Add":" else Right Nothing"},{"Add":""},{"Add":"findMatch : List OptDesc -> List String ->"},{"Add":" Either String (List CLOpt, List String)"},{"Add":"findMatch [] [] = Right ([], [])"},{"Add":"findMatch [] (f :: args) ="},{"Add":" case unpack f of"},{"Add":" '-' :: '-' :: _ => Left \"Unknown flag \\{f}\""},{"Add":" _ => Right ([InputFile f], args)"},{"Add":"findMatch (d :: ds) args ="},{"Add":" case !(matchFlag d args) of"},{"Add":" Nothing => findMatch ds args"},{"Add":" Just res => Right res"},{"Add":""},{"Add":"parseOpts : List OptDesc -> List String -> Either String (List CLOpt)"},{"Add":"parseOpts opts [] = Right []"},{"Add":"parseOpts opts args = do"},{"Add":" (cl, rest) <- findMatch opts args"},{"Add":" cls <- assert_total (parseOpts opts rest) -- 'rest' smaller than 'args'"},{"Add":" pure (cl ++ cls)"},{"Add":""},{"Add":"export"},{"Add":"getCmdOpts : IO (Either String (List CLOpt))"},{"Add":"getCmdOpts = do"},{"Add":" (_ :: opts) <- getArgs"},{"Add":" | _ => pure (Left \"Invalid command line\")"},{"Add":" pure $ parseOpts options opts"},{"Add":""},{"Add":"export"},{"Add":"findInputs : List CLOpt -> List String"},{"Add":"findInputs [] = []"},{"Add":"findInputs (InputFile f :: fs) = f :: findInputs fs"},{"Add":"findInputs (_ :: fs) = findInputs fs"},{"Add":""},{"Add":"export"},{"Add":"quitOpts : List CLOpt -> IO Bool"},{"Add":"quitOpts [] = pure True"},{"Add":"quitOpts (Version :: _) = do"},{"Add":" putStrLn versionMsg"},{"Add":" pure False"},{"Add":"quitOpts (Help :: _) = do"},{"Add":" putStrLn usage"},{"Add":" pure False"},{"Add":"quitOpts (_ :: opts) = quitOpts opts"},{"Add":""},{"Add":"export"},{"Add":"subCmd : List CLOpt -> SubCmd"},{"Add":"subCmd [] = SubCmdPkg $ MkPkgOpts {localOnly = False} -- default"},{"Add":"subCmd (Module opts :: _) = SubCmdMod opts"},{"Add":"subCmd (Package opts :: _) = SubCmdPkg opts"},{"Add":"subCmd (f :: fs) = subCmd fs"}]}},{"FileAdd":{"meta":{"basename":"pack.toml","metadata":0},"context":[{"change":2,"pos":1}],"contents":[{"Add":"[custom.all.idris2-dep-graph]"},{"Add":"type = \"local\""},{"Add":"path = \".\""},{"Add":"ipkg = \"idris2-dep-graph.ipkg\""},{"Add":"test = \"test/test.ipkg\""},{"Add":""},{"Add":"[custom.all.idris2-dep-graph-test]"},{"Add":"type = \"local\""},{"Add":"path = \"test\""},{"Add":"ipkg = \"test.ipkg\""}]}},{"FileAdd":{"meta":{"basename":"idris2-dep-graph.ipkg","metadata":0},"context":[{"change":2,"pos":1}],"contents":[{"Add":"package idris2-dep-graph"},{"Add":"version = 0.1.0"},{"Add":"authors = \"Tomáš Zemanovič\""},{"Add":"-- maintainers ="},{"Add":"-- license ="},{"Add":"-- brief ="},{"Add":"-- readme ="},{"Add":"-- homepage ="},{"Add":"-- sourceloc ="},{"Add":"-- bugtracker ="},{"Add":""},{"Add":"-- the Idris2 version required (e.g. langversion >= 0.5.1)"},{"Add":"-- langversion"},{"Add":""},{"Add":"-- packages to add to search path"},{"Add":"depends"},{"Add":" = idris2 >= 0.8.0"},{"Add":""},{"Add":"-- modules to install"},{"Add":"modules"},{"Add":" = DepGraph.Data"},{"Add":" , DepGraph.Cli"},{"Add":" , Idris.Driver.Extra"},{"Add":" , Idris.Package.Extra"},{"Add":""},{"Add":"-- main file (i.e. file to load at REPL)"},{"Add":"main = Main"},{"Add":""},{"Add":"-- name of executable"},{"Add":"executable = \"idris2-dep-graph\""},{"Add":"-- opts ="},{"Add":"sourcedir = \"src\""},{"Add":"-- builddir ="},{"Add":"-- outputdir ="},{"Add":""},{"Add":"-- script to run before building"},{"Add":"-- prebuild ="},{"Add":""},{"Add":"-- script to run after building"},{"Add":"-- postbuild ="},{"Add":""},{"Add":"-- script to run after building, before installing"},{"Add":"-- preinstall ="},{"Add":""},{"Add":"-- script to run after installing"},{"Add":"-- postinstall ="},{"Add":""},{"Add":"-- script to run before cleaning"},{"Add":"-- preclean ="},{"Add":""},{"Add":"-- script to run after cleaning"},{"Add":"-- postclean ="}]}},{"FileAdd":{"meta":{"basename":"assets","metadata":576},"context":[{"change":2,"pos":1}],"contents":[]}},{"FileAdd":{"meta":{"basename":"pkg.svg","metadata":0},"context":[{"change":0,"pos":27330}],"contents":[{"Add":""},{"Add":""},{"Add":""},{"Add":""},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"mod.svg","metadata":0},"context":[{"change":0,"pos":27330}],"contents":[{"Add":""},{"Add":""},{"Add":""},{"Add":""},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"README.md","metadata":0},"context":[{"change":2,"pos":1}],"contents":[{"Add":"# Idris2-dep-graph"},{"Add":""},{"Add":"Produce graphiz (dot) graph of package dependencies or module imports of Idris2 packages."},{"Add":""},{"Add":"## Usage"},{"Add":""},{"Add":"This app works by default with [pack](https://github.com/stefan-hoeck/idris2-pack) by looking up its package dir via `pack package-path`. Alternatively, you can use the same env vars as with Idris2 (e.g. `IDRIS2_PACKAGE_PATH`)."},{"Add":""},{"Add":"To use, run the tool in the directory of the package(s) of interest:"},{"Add":"```bash"},{"Add":"# Package dependency graph"},{"Add":"# Use `--local-only` to exclude non-local package"},{"Add":"idris2-dep-graph pkg"},{"Add":""},{"Add":"# Module imports graph:"},{"Add":"# Use `--with-external` to include modules imported from other packages (non-transitive)"},{"Add":"idris2-dep-graph mod"},{"Add":""},{"Add":"# Usually you'll just pipe the result to `dot` and save the result"},{"Add":"idris2-dep-graph ... | dot -Tsvg > graph.svg"},{"Add":"```"},{"Add":""},{"Add":"You can give it one or more .ipkg paths after the sub-command for a specific selection. If you don't specify any .ipkg paths, it will recursively look for all in the current dir."},{"Add":""},{"Add":"## Example outputs on this package"},{"Add":""},{"Add":"### Package dependencies"},{"Add":""},{"Add":"![Package dependencies](./assets/pkg.svg)"},{"Add":""},{"Add":"### Module imports"},{"Add":""},{"Add":"![Module imports](./assets/mod.svg)"}]}},{"Edit":{"inode":{"change":3,"pos":1},"path":".ignore","line":3,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":17}],"down_context":[],"flag":"BLOCK","start":35466,"end":35481,"inode":{"change":3,"pos":1}}},"contents":[{"Add":""},{"Add":"# Idris"},{"Add":"build/"}]}},{"FileAdd":{"meta":{"basename":".gitignore","metadata":0},"context":[{"change":2,"pos":1}],"contents":[{"Add":"build/"},{"Add":"*.*~"},{"Add":".pijul"}]}}],"owner":"tzemanovic","repo":"idris2-dep-graph","token":"63vhpVq7Mgm/AOnw/eR9p8QfWEnJmkJEZdvs42wvzAc=","login":null}

…

Dependencies

Change contents