refined-0.5: Refinement types with static and runtime checking

Safe HaskellSafe
LanguageHaskell2010

Refined.These

Description

Deprecated: This module will be removed in the next majour release. Use Data.These from the these-skinny package instead.

This module is deprecated. It will be removed in a future release. Use the These module from the these-skinny package instead.

Documentation

module Data.These