Hoogle Search

Within LTS Haskell 24.27 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. newtype SymBool

   grisette	Grisette.Internal.SymPrim.SymBool

   Symbolic Boolean type.

   >>> "a" :: SymBool
   a
   
   >>> "a" .&& "b" :: SymBool
   (&& a b)
   

   More operations are available. Please refer to Grisette.Core#g:symops for more information.

2. SymBool :: Term Bool -> SymBool

   grisette	Grisette.Internal.SymPrim.SymBool

   No documentation available.

3. type SymBoolKey = AsKey SymBool

   grisette	Grisette.Internal.SymPrim.SymBool

   SymBool type with identity equality.

4. UBool :: TheoryToUnify

   grisette	Grisette.Internal.Unified.Theories

   No documentation available.

5. module Grisette.Internal.Unified.UnifiedBool

   No documentation available.

6. class (Prim GetBool mode, UnifiedConRep GetBool mode, UnifiedSymRep GetBool mode, ConType GetBool mode ~ Bool, SymType GetBool mode ~ SymBool, ConSymConversion Bool SymBool GetBool mode, LogicalOp GetBool mode) => UnifiedBool (mode :: EvalModeTag)

   grisette	Grisette.Internal.Unified.UnifiedBool

   Evaluation mode with unified Bool type.

7. newtype SymBool

   grisette	Grisette.SymPrim

   Symbolic Boolean type.

   >>> "a" :: SymBool
   a
   
   >>> "a" .&& "b" :: SymBool
   (&& a b)
   

   More operations are available. Please refer to Grisette.Core#g:symops for more information.

8. SymBool :: Term Bool -> SymBool

   grisette	Grisette.SymPrim

   No documentation available.

9. type SymBoolKey = AsKey SymBool

   grisette	Grisette.SymPrim

   SymBool type with identity equality.

10. type family GetBool (mode :: EvalModeTag) = (bool :: Type) | bool -> mode

    grisette	Grisette.Unified

    Get a unified Boolean type. Resolves to Bool in C mode, and SymBool in S mode.

Page 153 of many | Previous | Next