Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

  1. boolOpt' :: OptFlags -> OptFlags -> MkOptDescr (a -> Flag Bool) (Flag Bool -> a -> a) a

    Cabal Distribution.Simple.Setup

    No documentation available.

  2. boolOid :: Oid

    postgresql-simple Database.PostgreSQL.Simple.TypeInfo.Static

    No documentation available.

  3. boolCodec :: JSONCodec Bool

    autodocodec Autodocodec

    Codec for boolean values

    Example usage

    >>> toJSONVia boolCodec True
Bool True

    API Note

    This is a forward-compatible version of BoolCodec without a name. 
    boolCodec = BoolCodec Nothing

  4. boolCodec :: JSONCodec Bool

    autodocodec Autodocodec.Codec

    Codec for boolean values

    Example usage

    >>> toJSONVia boolCodec True
Bool True

    API Note

    This is a forward-compatible version of BoolCodec without a name. 
    boolCodec = BoolCodec Nothing

  5. booleanFieldDef :: FieldGrammar c g => FieldName -> ALens' s Bool -> Bool -> g s Bool

    Cabal-syntax Distribution.FieldGrammar

    Boolean field with a default value.

  6. booleanFieldDef :: FieldGrammar c g => FieldName -> ALens' s Bool -> Bool -> g s Bool

    Cabal-syntax Distribution.FieldGrammar.Class

    Boolean field with a default value.

  7. bool# :: Int# -> Bool

    basement Basement.Compat.Primitive

    turn an Int# into a Bool

  8. boolNatSing2 :: KnownBoolNat2 f a b => SBoolKb f

    ghc-typelits-knownnat GHC.TypeLits.KnownNat

    No documentation available.

  9. boolSing :: KnownBool b => SBool b

    ghc-typelits-knownnat GHC.TypeLits.KnownNat

    No documentation available.

  10. boolVal :: forall (b :: Bool) proxy . KnownBool b => proxy b -> Bool

    ghc-typelits-knownnat GHC.TypeLits.KnownNat

    Get the Bool value associated with a type-level Bool Use boolVal if you want to perform the standard boolean operations on the reified type-level Bool. Use boolSing if you need a context in which the type-checker needs the type-level Bool to be either True or False 

    f :: forall proxy b r . KnownBool b => r
f = case boolSing @b of
SFalse -> -- context with b ~ False
STrue  -> -- context with b ~ True

Page 52 of many | Previous | Next