mkLibraryFile

pkgs.agdaPackages.mkLibraryFile

Docs pulled from | This Revision | 29 minutes ago

Contribute

Enhance the ecosystem with your expertise! Contribute to fill the gaps in documentation. Your input can make a difference.

Write API documentation for this function
Learn how to write documentation

Noogle detected

Implementation

The following is the current implementation of this function.

pkgs:
    let
      pkgs' = if isList pkgs then pkgs else pkgs self;
    in
    writeText "libraries" ''
      ${(concatMapStringsSep "\n" (p: "${p}/${p.libraryFile}") pkgs')}
    ''