| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.WorldPeace.IsOpenUnion.Family
Synopsis
- type family IsOpenUnion a :: Bool where ...
Documentation
type family IsOpenUnion a :: Bool where ... Source #
Type-level check that a type is an open union.
For use with the Subset' typeclass.
Equations
| IsOpenUnion (OpenUnion a) = 'True | |
| IsOpenUnion a = 'False |