The latest version of RepLib is 0.5.4.1-0.
lib:RepLib
Modules
- Generics.RepLib
- Generics.RepLib.Bind.LocallyNameless
- Generics.RepLib.Bind.Nominal
- Generics.RepLib.Bind.PermM
- Generics.RepLib.Derive
- Generics.RepLib.Lib
- Generics.RepLib.PreludeLib
- Generics.RepLib.PreludeReps
- Generics.RepLib.R
- Generics.RepLib.R1
- Generics.RepLib.RepAux
- Generics.RepLib.SYB.Aliases
- Generics.RepLib.SYB.Schemes
- Generics.RepLib.Unify
Dependencies
- base lib:base >=4.3 && <5
- containers lib:containers >=0.3 && <0.5
- mtl lib:mtl >=1.1 && <2.1
- template-haskell lib:template-haskell >=2.4 && <2.6
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything