typelevel-tools-yj-0.1.0.7: type level tools
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.TypeLevel.Tuple.MapIndex.TH

Documentation

mkM :: Int -> Int -> Q Dec Source #

mkMTup :: [Int] -> Int -> DecQ Source #