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


-- | Type-level assertion operators.
--   
--   Type-level unit testing via assertion operators/functions.
@package tao
@version 1.0.0

module Tao

-- | Asserts that the expected type is equal to the actual type.
--   
--   Roughly an alias for <a>AssertEq</a>, but as an operator.

-- | Asserts that the actual type is equal to the expected type.
--   
--   Roughly an alias for <a>AssertEq</a>, but as an operator.

-- | Pairs an assertion message with an expected type.

-- | Pairs an assertion message with an expected type. Flipped version of
--   <a>@&lt;&gt;</a>.

-- | Operator version of <a>AssertBool</a>.

-- | Flipped, operator version of <a>AssertBool</a>.

-- | Asserts that the type-level condition is true. Returns unit when the
--   condition is true and produces a type error otherwise. The input
--   <a>Symbol</a> is a message that is displayed as part of the type
--   error.

-- | Asserts that the expected type is equal to the actual type. Returns
--   unit when the types are equal and produces a type error otherwise. The
--   input <a>Symbol</a> is a message that is displayed as part of the type
--   error.

-- | Helper for the implementation of <a>AssertEq</a>. Users should never
--   need to use this directly.

-- | Helper function to fold a bunch of type-level units down to a single
--   unit. This is convenient for squashing down a type-level list of
--   assert results.
