Safe Haskell | None |
---|---|
Language | Haskell2010 |
Type constraints and patterns for strict types.
- type family Strict a :: Constraint where ...
- pattern IsStrict :: forall a. Strict a => a -> a
Documentation
type family Strict a :: Constraint where ... Source #
A closed predicate that is satisfied only by strict types.
A type T is strict if
∀x :: T . rnf x = ⊥ <=> rwhnf x = ⊥
Requires undecidable instances. Experimental (and inefficient) support for mutually recursive groups of types.
Strict d = StrictType '[d] d |