IttayD
Reputation: 29113
searching for a utility that provides implementation based on function type
Some time ago I came across a utility that, given a function's signature, provides its implementation (parametricity). I cannot recall it right now. Please help
Upvotes: 1
Views: 107
Answers (3)
nponeccop
Reputation: 13677
Reversing Haskell typechecker: converting from undefined to defined
Upvotes: 0
Stefan Holdermans
Reputation: 8050
I think Djinn is indeed the tool you're looking for (see Alexey Romanov's answer). Like Daniel points out, Djinn isn't related to parametricity, but perhaps you were mistaken with this tool from the University of Bonn?
Upvotes: 0
Related Questions
- Haskell function type generalization
- How to Implement functions from type signatures?
- How to find a Haskell function based on its type signature?
- Type Inference in Haskell for functions
- Automatically add type signatures to top-level functions
- Haskell type functions?
- Is there a way to convert function type in haskell?
- Calculating types of Haskell Functions
- Generalize the method signature of a function in haskell.
- Haskell: Deducing function from type