Commit 37aeff63 authored by Icelandjack's avatar Icelandjack Committed by Ryan Scott
Browse files

Added type family dependency to Data.Type.Bool.Not



Summary:
Signed-off-by: Icelandjack's avatarBaldur Blöndal <baldurpet@gmail.com>

Reviewers: goldfire, RyanGlScott, austin, bgamari, hvr

Reviewed By: RyanGlScott, austin

Subscribers: RyanGlScott, thomie

Differential Revision: https://phabricator.haskell.org/D2268

GHC Trac Issues: #12057
parent cd0750ec
{-# LANGUAGE Safe #-}
{-# LANGUAGE TypeFamilies, TypeOperators, DataKinds, NoImplicitPrelude,
PolyKinds #-}
{-# LANGUAGE TypeFamilyDependencies, Safe, PolyKinds #-}
{-# LANGUAGE TypeFamilies, TypeOperators, DataKinds, NoImplicitPrelude #-}
-----------------------------------------------------------------------------
-- |
......@@ -49,7 +48,9 @@ type family a || b where
a || a = a
infixr 2 ||
-- | Type-level "not"
type family Not a where
-- | Type-level "not". An injective type family since @4.10.0.0@.
--
-- @since 4.7.0.0
type family Not a = res | res -> a where
Not 'False = 'True
Not 'True = 'False
......@@ -3,6 +3,8 @@
## next *TBA*
* Bundled with GHC *TBA*
* `Data.Type.Bool.Not` given a type family dependency (#12057).
* `Foreign.Ptr` now exports the constructors for `IntPtr` and `WordPtr`
(#11983)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment