| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
UVMHS.Lib.Pretty.Deriving
Documentation
makePrettySumLogic :: Cxt -> Name -> 𝐿 (TyVarBndr BndrVis) -> 𝐿 (Name ∧ 𝐿 Type) -> Q (𝐿 Dec) Source #
makePrettyUnionLogic :: Cxt -> Name -> 𝐿 (TyVarBndr BndrVis) -> 𝐿 (Name ∧ 𝐿 Type) -> Q (𝐿 Dec) Source #