@hackage refined10.9.0

Refinement types with static and runtime checking (+ Refined1)

refined1

Fork of nikita-volkov/refined with minimal changes. Hopefully temporary.

In type theory, a refinement type is a type endowed with a predicate which is assumed to hold for any element of the refined type.

This library allows one to capture the idea of a refinement type using the Refined type. A Refined p x wraps a value of type x, ensuring that it satisfies a type-level predicate p.

A simple introduction to this library can be found here: http://nikita-volkov.github.io/refined/

  • Installation

  • Tested Compilers

  • Dependencies (11)

  • Dependents (2)

    @hackage/binrep, @hackage/strongweak

    • Package Flags

      aeson
       (on by default)

      You can disable the use of the aeson package using `-f-aeson`.

      This may be useful for accelerating builds in sandboxes for expert users.

      quickcheck
       (on by default)

      You can disable the use of the QuickCheck package using `-f-QuickCheck`.

      This may be useful for accelerating builds in sandboxes for expert users.