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

Data.TypeLevel.Tuple.Index.TH

Documentation

mkI :: Int -> Int -> DecQ Source #

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

mTupIndices :: Int -> [[Int]] Source #