Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

  1. runBool :: Logic Bool -> Bool

    greskell Data.Greskell.Logic

    Run the logic tree of Bool values to get the result.

  2. eqTypeRepBool :: forall ka kb (a :: ka) (b :: kb) . TypeRep a -> TypeRep b -> Bool

    grisette Grisette.Internal.SymPrim.Prim.Internal.Utils

    Compare two type representations for equality.

  3. module Grisette.Internal.SymPrim.SymBool

    No documentation available.

  4. 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.

  5. SymBool :: Term Bool -> SymBool

    grisette Grisette.Internal.SymPrim.SymBool

    No documentation available.

  6. type SymBoolKey = AsKey SymBool

    grisette Grisette.Internal.SymPrim.SymBool

    SymBool type with identity equality.

  7. UBool :: TheoryToUnify

    grisette Grisette.Internal.Unified.Theories

    No documentation available.

  8. module Grisette.Internal.Unified.UnifiedBool

    No documentation available.

  9. 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.

  10. 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.

Page 156 of many | Previous | Next