@hackage strict-types0.1.1

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 two pattern synonyms IsStrict and 'Rnf' to constrain value strictness.

The Rnf pattern

The 'Rnf' pattern matches every value of a type with an 'NFData' instance, forcing it to rigid normal form before binding it.

> Rnf [trace "1" 1, trace "2" 2]

> 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))