lib:uhc-light

Modules

• UHC.Light.Compiler.API
• UHC.Light.Compiler.Base.API
• UHC.Light.Compiler.Core.API
• UHC.Light.Compiler.CoreRun.API
• UHC.Light.Compiler.CoreRun.API.Internal
• UHC.Light.Compiler.EH.Main
• UHC.Light.Compiler.EHC.Main
• UHC.Light.Compiler.EHC.Main.Compile
• UHC.Light.Compiler.EHC.Main.Utils

Dependencies

• array lib:array >=0
• base lib:base >=4.7 && <5
• binary lib:binary >=0 && >=0
• bytestring lib:bytestring >=0 && >=0
• chr-data lib:chr-data >=0.1.0.0
• containers lib:containers >=0
• directory lib:directory >=0
• fgl lib:fgl >=0
• filepath lib:filepath >=0
• hashable lib:hashable >=1.2.4 && <1.3
• mtl lib:mtl >=0
• network lib:network >=0
• old-locale lib:old-locale >=0
• primitive lib:primitive >=0
• process lib:process >=0
• syb lib:syb >=0
• transformers lib:transformers >=0
• uhc-util lib:uhc-util >=0.1.7.0 && <0.1.8
• utf8-string lib:utf8-string >=0
• uulib lib:uulib >=0.9.12 && >=0.9.19
• vector lib:vector >=0

Reverse dependencies

Direct only. Not exhaustive.

• Agda lib:Agda
• acme-everything lib:acme-everything
• uhc-light exe:uhcl
• uhc-light exe:uhcr