Documentation

unzip :: Int -> DecQ Source #

unzipGen :: Name -> Name -> Name -> [Name] -> [Name] -> DecQ Source #

push :: Int -> DecQ Source #

pushGen :: Name -> Name -> [Name] -> [Name] -> [Name] -> DecQ Source #

tupleFromList :: Quote m => [m Type] -> m Type Source #

promotedTupleFromList :: Quote m => [m Type] -> m Type Source #

promotedCons :: Quote m => m Type -> m Type -> m Type Source #

varNames :: [String] Source #

kindNames :: [String] Source #

mkZip :: Int -> DecQ Source #

bar :: DecQ Source #

mkBar :: Name -> [Name] -> [Name] -> [Name] -> [Name] -> DecQ Source #

emptyOne :: [Name] -> Int -> [TypeQ] Source #

foo :: DecsQ Source #