maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.
FP.DerivingJoinLattice
Synopsis
makeJoinLatticeLogic :: (Monad m, MonadQ m) => Cxt -> Name -> [TyVarBndr] -> Name -> [Type] -> m [Dec] Source
]
makeJoinLattice :: Name -> Q [Dec] Source