Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. sBool_ :: forall a (t1 :: a) (t2 :: a) (t3 :: Bool) . Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (Bool_Sym0 :: TyFun a (a ~> (Bool ~> a)) -> Type) t1) t2) t3)

   singletons-base	Data.Bool.Singletons

   No documentation available.

2. data SBool (a :: Bool)

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

3. data SBool (a :: Bool)

   singletons-base	Prelude.Singletons

   No documentation available.

4. MsgBoolNo :: FormMessage

   yesod-form	Yesod.Form.Fields

   No documentation available.

5. MsgBoolYes :: FormMessage

   yesod-form	Yesod.Form.Fields

   No documentation available.

6. MsgInvalidBool :: Text -> FormMessage

   yesod-form	Yesod.Form.Fields

   No documentation available.

7. checkBool :: forall (m :: Type -> Type) msg a . (Monad m, RenderMessage (HandlerSite m) msg) => (a -> Bool) -> msg -> Field m a -> Field m a

   yesod-form	Yesod.Form.Functions

   Return the given error message if the predicate is false.

8. MsgBoolNo :: FormMessage

   yesod-form	Yesod.Form.Types

   No documentation available.

9. MsgBoolYes :: FormMessage

   yesod-form	Yesod.Form.Types

   No documentation available.

10. MsgInvalidBool :: Text -> FormMessage

    yesod-form	Yesod.Form.Types

    No documentation available.

Page 87 of many | Previous | Next