Skip to content

Commit

Permalink
Add file with renamed function
Browse files Browse the repository at this point in the history
  • Loading branch information
jneira committed Aug 29, 2019
1 parent 67c7760 commit b66b471
Showing 1 changed file with 45 additions and 0 deletions.
45 changes: 45 additions & 0 deletions dhall/utils/mapComponentBuildInfo.dhall
Original file line number Diff line number Diff line change
@@ -0,0 +1,45 @@
let ty = ../types.dhall

let toBuildInfo = ./toBuildInfo.dhall

let mapBuildInfoBench
: (ty.BuildInfo ty.BuildInfo) ty.Benchmark ty.Benchmark
= λ(f : ty.BuildInfo ty.BuildInfo)
λ(comp : ty.Benchmark)
comp f (toBuildInfo.benchmark comp)

let mapBuildInfoExe
: (ty.BuildInfo ty.BuildInfo) ty.Executable ty.Executable
= λ(f : ty.BuildInfo ty.BuildInfo)
λ(comp : ty.Executable)
comp f (toBuildInfo.executable comp)

let mapBuildInfoForeignLib
: (ty.BuildInfo ty.BuildInfo) ty.ForeignLibrary ty.ForeignLibrary
= λ(f : ty.BuildInfo ty.BuildInfo)
λ(comp : ty.ForeignLibrary)
comp f (toBuildInfo.foreignLibrary comp)

let mapBuildInfoLib
: (ty.BuildInfo ty.BuildInfo) ty.Library ty.Library
= λ(f : ty.BuildInfo ty.BuildInfo)
λ(comp : ty.Library)
comp f (toBuildInfo.library comp)

let mapBuildInfoTest
: (ty.BuildInfo ty.BuildInfo) ty.TestSuite ty.TestSuite
= λ(f : ty.BuildInfo ty.BuildInfo)
λ(comp : ty.TestSuite)
comp f (toBuildInfo.testSuite comp)

in { benchmark =
mapBuildInfoBench
, executable =
mapBuildInfoExe
, foreignLibrary =
mapBuildInfoForeignLib
, library =
mapBuildInfoLib
, testSuite =
mapBuildInfoTest
}

0 comments on commit b66b471

Please sign in to comment.