Documentation

mkMap :: Int -> Int -> DecsQ Source #

barAll :: Name -> Name -> [Name] -> [Name] -> Int -> DecsQ Source #

bar :: DecQ Source #

barRaw :: Name -> Name -> [Name] -> [Name] -> Int -> DecQ Source #

bar0 :: DecQ Source #

barRaw0 :: Name -> Name -> DecQ Source #

bar1 :: DecQ Source #

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

pl :: TypeQ Source #

m0_2 :: Int -> Int -> TypeQ Source #

tupleKind :: [Kind] -> Kind Source #

listKind :: Kind -> Kind Source #

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

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

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

heteroCons :: Quote m => m Exp -> m Exp -> m Exp Source #

heteroConsP :: Quote m => m Pat -> m Pat -> m Pat Source #

typeVarNames :: [String] Source #

kindVarNames :: [String] Source #