Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

  1. data RBool

    rec-def Data.Recursive.Bool

    Like Bool, but admits recursive definitions, preferring the least solution.

  2. module Data.Recursive.DualBool

    The type RDualBool is like Bool, but allows recursive definitions: 

    >>> :{
let x = RDB.true
y = x RDB.&& z
z = y RDB.|| RDB.false
in RDB.get x
:}
True
    This finds the greatest solution, i.e. prefers True over False: 
    >>> :{
let x = x RDB.&& y
y = y RDB.&& x
in (RDB.get x, RDB.get y)
:}
(True,True)
    Use RBool from Data.Recursive.Bool if you want the least solution.

  3. data RDualBool

    rec-def Data.Recursive.DualBool

    Like Bool, but admits recursive definitions, preferring the greatest solution.

  4. newtype RBool

    rec-def Data.Recursive.Internal

    Like Bool, but admits recursive definitions, preferring the least solution.

  5. RBool :: Purify P2 -> RBool

    rec-def Data.Recursive.Internal

    No documentation available.

  6. newtype RDualBool

    rec-def Data.Recursive.Internal

    Like Bool, but admits recursive definitions, preferring the greatest solution.

  7. RDualBool :: Purify P2 -> RDualBool

    rec-def Data.Recursive.Internal

    No documentation available.

  8. withBool :: String -> (Bool -> Parser a) -> Value -> Parser a

    safe-json Data.Aeson.Safe

    withBool expected f value applies f to the Bool when value is a Boolean and fails otherwise.

    Error message example

    withBool "MyType" f (String "oops")
-- Error: "parsing MyType failed, expected Boolean, but encountered String"

  9. containWithBool :: String -> (Bool -> Parser a) -> Value -> Contained (Parser a)

    safe-json Data.SafeJSON

    Similar to withBool, but contained to be used in safeFrom definitions

  10. isElmListOfMaybeBoolType :: EType -> Bool

    servant-elm Servant.Elm.Internal.Generate

    No documentation available.

Page 163 of many | Previous | Next