Documentation

data ValueInfo Source #

makeInlineD :: Name -> DecQ Source #

makeVectorN :: Int -> Name Source #

makeVectorType :: ValueInfo -> Int -> DecsQ Source #

deriveShow :: Name -> ValueInfo -> Int -> DecsQ Source #

dimE :: Int -> ExpQ Source #

deriveArbitrary :: Name -> ValueInfo -> Int -> DecsQ Source #

defineLift :: Name -> ValueInfo -> Int -> DecsQ Source #

defineLift2 :: Name -> ValueInfo -> Int -> DecsQ Source #

dotE :: ValueInfo -> [ExpQ] -> [ExpQ] -> ExpQ Source #

defineDot :: Name -> ValueInfo -> Int -> DecsQ Source #

defineJoinSplit :: ValueInfo -> (Int, Int) -> DecsQ Source #

fromListN :: Name -> Name Source #

fromListE :: Name -> ExpQ Source #

defineFromList :: Name -> ValueInfo -> Int -> DecsQ Source #

defineToList :: Name -> ValueInfo -> Int -> DecsQ Source #

infixApp' :: ExpQ -> ExpQ -> ExpQ -> ExpQ Source #

inlSigDef :: Name -> TypeQ -> [ClauseQ] -> DecsQ Source #

funSigDef :: Name -> TypeQ -> [ClauseQ] -> DecsQ Source #

tupT :: [TypeQ] -> TypeQ Source #

arrowsT :: [TypeQ] -> TypeQ Source #

newPE :: String -> Q (PatQ, ExpQ) Source #

conPE :: Name -> String -> Int -> Q (PatQ, [ExpQ]) Source #

genPEWith :: String -> Int -> (Name -> PatQ) -> (Name -> ExpQ) -> Q ([PatQ], [ExpQ]) Source #

genPE :: String -> Int -> Q ([PatQ], [ExpQ]) Source #

simpleClause :: [PatQ] -> ExpQ -> ClauseQ Source #