maam-0.2.0.1: An application of the Galois Transformers framework to two example semantics.

Safe HaskellNone
LanguageHaskell2010

FP.DerivingPretty

Synopsis

Documentation

makePrettySumLogic :: (Monad m, MonadQ m) => Cxt -> Name -> [TyVarBndr] -> [(Name, [Type])] -> m [Dec] Source

]

makePrettyUnionLogic :: (Monad m, MonadQ m) => Cxt -> Name -> [TyVarBndr] -> [(Name, [Type])] -> m [Dec] Source

]

makePrettySum :: Name -> Q [Dec] Source

makePrettyUnion :: Name -> Q [Dec] Source