uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Lib.Pretty.Deriving

Documentation

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

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

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

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

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

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