Snippets tagged codomain

  • Codomains through Reflection

    Any type signature has the form of a curried chain T0 -> T1 -> .... -> Tn, where Tn is not a function type. The codomain of a type is precisely Tn. This is a simple implementation that uses reflection to determine the codomain for arbitrary types.

    4 people like this

    Posted: 11 years ago by Eirik Tsarpalis