uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Lib.Pretty.Deriving

Documentation

makePrettySumLogic :: Cxt -> Name -> 𝐿 (TyVarBndr ()) -> 𝐿 (Name ∧ 𝐿 Type) -> Q (𝐿 Dec) Source #

makePrettySum :: Name -> Q [Dec] Source #

makePrettyUnionLogic :: Cxt -> Name -> 𝐿 (TyVarBndr ()) -> 𝐿 (Name ∧ 𝐿 Type) -> Q (𝐿 Dec) Source #

makePrettyUnion :: Name -> Q [Dec] Source #

makePrettyRecordLogic :: Cxt -> Name -> 𝐿 (TyVarBndr ()) -> Name -> 𝐿 (Name ∧ Type) -> Q (𝐿 Dec) Source #

makePrettyRecord :: Name -> Q [Dec] Source #