grisette-0.11.0.0: Symbolic evaluation as a library
Copyright(c) Sirui Lu 2024
LicenseBSD-3-Clause (see the LICENSE file)
Maintainersiruilu@cs.washington.edu
StabilityExperimental
PortabilityGHC only
Safe HaskellNone
LanguageHaskell2010

Grisette.Internal.SymPrim.FunInstanceGen

Description

 
Synopsis

Documentation

supportedPrimFun :: ExpQ -> ExpQ -> ExpQ -> ([TypeQ] -> ExpQ) -> String -> String -> Name -> Int -> DecsQ Source #

Generate an instance of SupportedPrim for a function with a given number of arguments.

supportedPrimFunUpTo :: ExpQ -> ExpQ -> ExpQ -> ([TypeQ] -> ExpQ) -> String -> String -> Name -> Int -> DecsQ Source #

Generate instances of SupportedPrim for functions with up to a given number of arguments.