Idris2-Profunctors/elba.toml at main · pinselimo/Idris2-Profunctors · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
[package]
name = "japesinator/Idris-Profunctors"
version = "0.1.0"
authors = []

[dependencies]
"japesinator/Idris-Bifunctors" = { git = "https://github.com/andrevidela/Idris-Bifunctors" }

[targets.lib]
path = "src"
name = "profunctors"
mods = [ "Data.Profunctor"
       , "Data.Profunctor.Cayley"
       , "Data.Profunctor.Closed"
       , "Data.Profunctor.Codensity"
       , "Data.Profunctor.Composition"
       , "Data.Profunctor.Fold"
       , "Data.Profunctor.Iso"
       , "Data.Profunctor.Lens"
       , "Data.Profunctor.Lens.At"
       , "Data.Profunctor.Prism"
       , "Data.Profunctor.Trace"
       , "Data.Profunctor.Traversal"
       , "Data.Profunctor.Traversal.Index"
       , "Data.Verified.Profunctor"
       ]
idris_opts = ["-p", "contrib"]