@hackage type0.2.0

Dynamic casting library with support for arbitrary rank type kinds.

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      topi.karvonen@gmail.com

    • Links

    • Versions

    By default kinds which contains maximum of 8 stars (*) are supported, for example: * -> (* -> *) -> ((* -> *) -> *) -> * -> *. By recompiling the library one can support even more complex types. However be aware that the amount of code generated increases exponentially.