@hackage strict-types0.1.0.7

A type level predicate ranging over strict types

Categories
License
BSD-3-Clause
Maintainer
Pepe Iborra (pepeiborra@gmail.com)
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.1.3 Sat, 6 Oct 2018
- 0.1.2 Mon, 2 Oct 2017
- 0.1.1 Mon, 2 Oct 2017
- 0.1.0.7 Sun, 1 Oct 2017
- 0.1.0.6 Mon, 25 Sep 2017
- 0.1.0.5 Sun, 24 Sep 2017

Installation
In your cabal file:
Dependencies (9)
Dependents (1)
@hackage/acme-everything

strict-types

This package provides a type-level predicate Strict and a value level pattern IsStrict to constrain generic types.

> IsStrict (False)
False
> IsStrict (Identity False)
Identity False
> IsStrict (Identity (Just False))

<interactive>:1:1: error:
    • Maybe Bool has an unnamed lazy field in constructor Just
    • In the expression: IsStrict (Identity (Just False))
      In an equation for ‘it’: it = IsStrict (Identity (Just False))