-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A type level predicate ranging over strict types
--   
--   A type class for types T where forall x :: T . rnf x = u22A5 <a>=</a>
--   rwhnf x = u22A5
@package strict-types
@version 0.1.0


-- | Type constraints and patterns for strict types.
module Type.Strict

-- | A closed predicate that is satisfied only by strict types.
--   
--   A type T is strict if
--   
--   <pre>
--   ∀x :: T . rnf x = ⊥ &lt;=&gt; rwhnf x = ⊥
--   </pre>
--   
--   Requires undecidable instances. Mutually recursive groups of types not
--   yet supported.

-- | A pattern that matches strict types
instance Type.Strict.IsDecidedStrict t c f 'GHC.Generics.DecidedStrict
instance Type.Strict.IsDecidedStrict t c f 'GHC.Generics.DecidedUnpack
instance (TypeError ...) => Type.Strict.IsDecidedStrict t c 'GHC.Base.Nothing 'GHC.Generics.DecidedLazy
instance (TypeError ...) => Type.Strict.IsDecidedStrict t c ('GHC.Base.Just f) 'GHC.Generics.DecidedLazy