Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.
IsOpenUnion (OpenUnion a) = True | |
IsOpenUnion a = False |