maam-0.1.0.0: A monadic framework for abstract interpretation.

Safe HaskellNone
LanguageHaskell2010

FP.DerivingJoinLattice

Synopsis

Documentation

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

]

makeJoinLattice :: Name -> Q [Dec] Source