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


-- | Boolean strong typing
--   
--   Makes sense of your booleans: strong type them!
@package kill-bool
@version 0.1.0.0


-- | Strongly-typed booleans
--   
--   Example:
--   
--   <pre>
--   type TT = TBool "missing" "present"
--   
--   isPresent :: TT
--   isPresent = mkIs $ Proxy @"present"
--   
--   is (Proxy @"missing") isPresent == False
--   </pre>
module Data.Bool.Kill

-- | Strongly-typed <a>Bool</a>
data TBool (false :: Symbol) (true :: Symbol)
IsFalse :: TBool (false :: Symbol) (true :: Symbol)
IsTrue :: TBool (false :: Symbol) (true :: Symbol)

-- | Check "if <a>True</a>"
is :: forall b f t. ShouldBeVal (ShouldBe (TBool f t) b) => Proxy b -> TBool f t -> Bool

-- | Check "if <a>False</a>"
isNot :: forall b f t. ShouldBeVal (ShouldBe (TBool f t) b) => Proxy b -> TBool f t -> Bool

-- | Create <a>True</a>/<a>False</a> from its name
mkIs :: forall b f t. ShouldBeVal (ShouldBe (TBool f t) b) => Proxy b -> TBool f t

-- | Create <a>TBool</a> from <a>Bool</a>
mkTBool :: forall f t. Bool -> TBool f t
type family ShouldBe (tbool :: Type) (a :: Symbol) :: Type
class ShouldBeVal a

-- | <a>Proxy</a> is a type that holds no data, but has a phantom parameter
--   of arbitrary type (or even kind). Its use is to provide type
--   information, even though there is no value available of that type (or
--   it may be too costly to create one).
--   
--   Historically, <tt><a>Proxy</a> :: <a>Proxy</a> a</tt> is a safer
--   alternative to the <tt><a>undefined</a> :: a</tt> idiom.
--   
--   <pre>
--   &gt;&gt;&gt; Proxy :: Proxy (Void, Int -&gt; Int)
--   Proxy
--   </pre>
--   
--   Proxy can even hold types of higher kinds,
--   
--   <pre>
--   &gt;&gt;&gt; Proxy :: Proxy Either
--   Proxy
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; Proxy :: Proxy Functor
--   Proxy
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; Proxy :: Proxy complicatedStructure
--   Proxy
--   </pre>
data Proxy (t :: k)
Proxy :: Proxy (t :: k)
instance GHC.Show.Show Data.Bool.Kill.TTrue
instance GHC.Show.Show Data.Bool.Kill.TFalse
instance Data.Bool.Kill.ShouldBeVal Data.Bool.Kill.TTrue
instance Data.Bool.Kill.ShouldBeVal Data.Bool.Kill.TFalse
instance (GHC.TypeLits.KnownSymbol f, GHC.TypeLits.KnownSymbol t) => GHC.Show.Show (Data.Bool.Kill.TBool f t)