Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

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

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

    ghc-typelits-knownnat GHC.TypeLits.KnownNat

    No documentation available.

  2. boolSing :: KnownBool b => SBool b

    ghc-typelits-knownnat GHC.TypeLits.KnownNat

    No documentation available.

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

  4. bool_ :: a -> a -> Bool -> a

    singletons-base Data.Bool.Singletons

    No documentation available.

  5. boolField :: forall (m :: Type -> Type) . (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Bool

    yesod-form Yesod.Form

    Creates a group of radio buttons to answer the question given in the message. Radio buttons are used to allow differentiating between an empty response (Nothing) and a no response (Just False). Consider using the simpler checkBoxField if you don't need to make this distinction. If this field is optional, the first radio button is labeled "<None>", the second "Yes" and the third "No". If this field is required, the first radio button is labeled "Yes" and the second "No". (Exact label titles will depend on localization).

  6. boolField :: forall (m :: Type -> Type) . (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Bool

    yesod-form Yesod.Form.Fields

    Creates a group of radio buttons to answer the question given in the message. Radio buttons are used to allow differentiating between an empty response (Nothing) and a no response (Just False). Consider using the simpler checkBoxField if you don't need to make this distinction. If this field is optional, the first radio button is labeled "<None>", the second "Yes" and the third "No". If this field is required, the first radio button is labeled "Yes" and the second "No". (Exact label titles will depend on localization).

  7. boolTypeName :: Name

    deriving-compat Data.Deriving.Internal

    No documentation available.

  8. bool# :: Int# -> Bool

    basement Basement.Compat.Primitive

    turn an Int# into a Bool

  9. boolParam :: Text -> Text -> Parameter e Bool

    hslua-packaging HsLua.Packaging.Convenience

    Defines a function parameter of type Bool.

  10. boolResult :: Text -> FunctionResults e Bool

    hslua-packaging HsLua.Packaging.Convenience

    Defines a function result of type Bool.

Page 52 of many | Previous | Next