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

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

    Cabal-syntax Distribution.FieldGrammar

    Boolean field with a default value.

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

    Cabal-syntax Distribution.FieldGrammar.Class

    Boolean field with a default value.

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

    ghc-typelits-knownnat GHC.TypeLits.KnownNat

    No documentation available.

  5. boolSing :: KnownBool b => SBool b

    ghc-typelits-knownnat GHC.TypeLits.KnownNat

    No documentation available.

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

  7. bool_ :: a -> a -> Bool -> a

    singletons-base Data.Bool.Singletons

    No documentation available.

  8. 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).

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

  10. boolTypeName :: Name

    deriving-compat Data.Deriving.Internal

    No documentation available.

Page 52 of many | Previous | Next