Hoogle Search

Within LTS Haskell 24.20 (ghc-9.10.3)

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

Exact lookup

1. (.==) :: SymEq a => a -> a -> SymBool

   grisette	Grisette.Internal.Core.Data.Class.SymEq

   No documentation available.

2. (.<) :: SymOrd a => a -> a -> SymBool

   grisette	Grisette.Internal.Core.Data.Class.SymOrd

   No documentation available.

3. (.<=) :: SymOrd a => a -> a -> SymBool

   grisette	Grisette.Internal.Core.Data.Class.SymOrd

   No documentation available.

4. (.>) :: SymOrd a => a -> a -> SymBool

   grisette	Grisette.Internal.Core.Data.Class.SymOrd

   No documentation available.

5. (.>=) :: SymOrd a => a -> a -> SymBool

   grisette	Grisette.Internal.Core.Data.Class.SymOrd

   No documentation available.

6. (.#) :: (Function f a r, SimpleMergeable r, UnionView u) => f -> u a -> r

   grisette	Grisette.Internal.Core.Data.Class.UnionView

   Helper for applying functions on UnionView and SimpleMergeable.

   >>> let f :: Integer -> Union Integer = \x -> mrgIf (ssym "a") (mrgSingle $ x + 1) (mrgSingle $ x + 2)
   
   >>> f .# (mrgIf (ssym "b" :: SymBool) (mrgSingle 0) (mrgSingle 2) :: Union Integer)
   {If (&& b a) 1 (If b 2 (If a 3 4))}
   

7. (./=) :: forall (mode :: EvalModeTag) a . (DecideEvalMode mode, UnifiedSymEq mode a) => a -> a -> GetBool mode

   grisette	Grisette.Internal.Unified.Class.UnifiedSymEq

   Unified (./=). Note that you may sometimes need to write type annotations for the result when the mode isn't clear:

   a ./= b :: GetBool mode
   

   One example when it isn't clear is when this is used in unified mrgIf.

8. (.==) :: forall (mode :: EvalModeTag) a . (DecideEvalMode mode, UnifiedSymEq mode a) => a -> a -> GetBool mode

   grisette	Grisette.Internal.Unified.Class.UnifiedSymEq

   Unified (.==). Note that you may sometimes need to write type annotations for the result when the mode isn't clear:

   a .== b :: GetBool mode
   

   One example when it isn't clear is when this is used in unified mrgIf.

9. (.<) :: forall (mode :: EvalModeTag) a . (DecideEvalMode mode, UnifiedSymOrd mode a) => a -> a -> GetBool mode

   grisette	Grisette.Internal.Unified.Class.UnifiedSymOrd

   Unified (.<).

10. (.<=) :: forall (mode :: EvalModeTag) a . (DecideEvalMode mode, UnifiedSymOrd mode a) => a -> a -> GetBool mode

    grisette	Grisette.Internal.Unified.Class.UnifiedSymOrd

    Unified (.<=). Note that you may sometimes need to write type annotations for the result when the mode isn't clear:

    a .<= b :: GetBool mode
    

    One example when it isn't clear is when this is used in unified mrgIf.

Page 62 of many | Previous | Next