Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data ArgList name a where Source #
ArgListEmpty :: ArgList name a | |
ArgListCons :: (Typeable t, SymbolicData a t) => (name, t) -> ArgList name a -> ArgList name a |
Orphan instances
(Typeable name, Eq name, Eq BuiltinFunctions, Typeable a, Arithmetic a) => Arithmetizable a (Term name BuiltinFunctions a) Source # | |
arithmetize :: Term name BuiltinFunctions a -> [ArithmeticCircuit a] -> [ArithmeticCircuit a] Source # outputSize :: Natural Source # |