maam-0.3.0.0: Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers

Safe HaskellNone
LanguageHaskell2010

FP.Pretty.Deriving

Documentation

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

makePrettySum :: Name -> Q [Dec] Source

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

makePrettyUnion :: Name -> Q [Dec] Source

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

makePrettyRecord :: Name -> Q [Dec] Source