-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Bootstrap widgets for yesod
--   
--   Bootstrap widgets for yesod
@package yesod-bootstrap
@version 0.3

module Yesod.Form.Generic.Bootstrap.Internal
data MarkdownRender
MarkdownRender :: MarkdownRender
resourcesMarkdownRender :: [ResourceTree String]
instance GHC.Read.Read (Yesod.Routes.Class.Route Yesod.Form.Generic.Bootstrap.Internal.MarkdownRender)
instance GHC.Classes.Eq (Yesod.Routes.Class.Route Yesod.Form.Generic.Bootstrap.Internal.MarkdownRender)
instance GHC.Show.Show (Yesod.Routes.Class.Route Yesod.Form.Generic.Bootstrap.Internal.MarkdownRender)
instance Yesod.Routes.Class.ParseRoute Yesod.Form.Generic.Bootstrap.Internal.MarkdownRender
instance Yesod.Routes.Class.RenderRoute Yesod.Form.Generic.Bootstrap.Internal.MarkdownRender
instance Yesod.Routes.Class.RouteAttrs Yesod.Form.Generic.Bootstrap.Internal.MarkdownRender

module Yesod.Form.Generic
newtype GForm w m a
GForm :: ((HandlerSite m, [Text]) -> Maybe (Env, FileEnv) -> Ints -> m (FormResult a, w, Ints, Enctype)) -> GForm w m a
[unGForm] :: GForm w m a -> (HandlerSite m, [Text]) -> Maybe (Env, FileEnv) -> Ints -> m (FormResult a, w, Ints, Enctype)
mghelper :: MonadHandler m => Enctype -> ([Text] -> [FileInfo] -> m (FormResult a)) -> (Text -> [Text] -> FormResult a -> w) -> MForm m (FormResult a, w)
ghelper :: MonadHandler m => Enctype -> ([Text] -> [FileInfo] -> m (FormResult a)) -> (Text -> [Text] -> FormResult a -> w) -> GForm w m a
formToGForm :: (HandlerSite m ~ site, Monad m) => MForm m (FormResult a, w) -> GForm w m a
gFormToForm :: (Monad m, HandlerSite m ~ site) => GForm w m a -> MForm m (FormResult a, w)
gFormToFormCsrf :: (Monad m, HandlerSite m ~ site) => GForm (WidgetT site IO ()) m a -> Html -> MForm m (FormResult a, WidgetT site IO ())
monoidToGForm :: Monad m => w -> GForm w m ()
instance GHC.Base.Monad m => GHC.Base.Functor (Yesod.Form.Generic.GForm w m)
instance (GHC.Base.Monad m, GHC.Base.Monoid w) => GHC.Base.Applicative (Yesod.Form.Generic.GForm w m)
instance GHC.Base.Monoid w => Control.Monad.Trans.Class.MonadTrans (Yesod.Form.Generic.GForm w)

module Yesod.Bootstrap
data Context
Success :: Context
Info :: Context
Warning :: Context
Danger :: Context
Default :: Context
Primary :: Context
Link :: Context
Error :: Context
data Size
ExtraSmall :: Size
Small :: Size
Medium :: Size
Large :: Size
data ColSize
ColSize :: Size -> Int -> ColSize
data Flow
Block :: Flow
Inline :: Flow
data Panel site
Panel :: (WidgetT site IO ()) -> (WidgetT site IO ()) -> Context -> Panel site
[panelTitle] :: Panel site -> (WidgetT site IO ())
[panelBody] :: Panel site -> (WidgetT site IO ())
[panelContext] :: Panel site -> Context
basicPanel :: Text -> WidgetT site IO () -> Panel site
div_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
span_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
strong_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
em_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
s_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
nav_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
form_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
script_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
label_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
pre_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
code_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
input_ :: [(Text, Text)] -> WidgetT site IO ()
hr_ :: [(Text, Text)] -> WidgetT site IO ()
br_ :: [(Text, Text)] -> WidgetT site IO ()
img_ :: [(Text, Text)] -> WidgetT site IO ()
textarea_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
td_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
th_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
table_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
tbody_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
thead_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
tr_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
h1_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
h2_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
h3_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
h4_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
h5_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
h6_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
p_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
ul_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
ol_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
li_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
blockquote_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
small_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
i_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
a_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
audio_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
source_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
anchor :: Route site -> WidgetT site IO () -> WidgetT site IO ()
anchorEmail :: Text -> WidgetT site IO () -> WidgetT site IO ()
anchorPhone :: Text -> WidgetT site IO ()
button_ :: [(Text, Text)] -> WidgetT site IO () -> WidgetT site IO ()
mkStrAttrs :: [(Text, Text)] -> [(String, String)]
row :: WidgetT site IO () -> WidgetT site IO ()
container :: WidgetT site IO () -> WidgetT site IO ()
well :: Size -> WidgetT site IO () -> WidgetT site IO ()
col :: [ColSize] -> WidgetT site IO () -> WidgetT site IO ()
checkbox :: WidgetT site IO () -> WidgetT site IO ()
alert :: Context -> WidgetT site IO () -> WidgetT site IO ()
alertHtml :: Context -> Html -> Html
alertHtmlDismiss :: Context -> Html -> Html
caret :: WidgetT site IO ()
glyphicon :: Text -> WidgetT site IO ()
glyphiconFeedback :: Text -> WidgetT site IO ()
formGroup :: WidgetT site IO () -> WidgetT site IO ()
formGroupFeedback :: Context -> WidgetT site IO () -> WidgetT site IO ()
inputGroup :: WidgetT site IO () -> WidgetT site IO ()
inputGroupAddon :: WidgetT site IO () -> WidgetT site IO ()
controlLabel :: WidgetT site IO () -> WidgetT site IO ()
helpBlock :: WidgetT site IO () -> WidgetT site IO ()
button :: Context -> Size -> WidgetT site IO () -> WidgetT site IO ()
buttonRaised :: Context -> Size -> WidgetT site IO () -> WidgetT site IO ()
buttonRaisedBlock :: Context -> Size -> WidgetT site IO () -> WidgetT site IO ()
formButtonPost :: Context -> Size -> Route site -> WidgetT site IO () -> WidgetT site IO ()
formButtonRaisedPost :: Context -> Size -> Route site -> WidgetT site IO () -> WidgetT site IO ()
formButtonRaisedPostBlock :: Context -> Size -> Route site -> WidgetT site IO () -> WidgetT site IO ()
anchorButton :: Context -> Size -> Route site -> WidgetT site IO () -> WidgetT site IO ()
anchorButtonDropdown :: Context -> Size -> WidgetT site IO () -> [(Route site, WidgetT site IO ())] -> WidgetT site IO ()
anchorButtonRaised :: Context -> Size -> Route site -> WidgetT site IO () -> WidgetT site IO ()
anchorButtonBlock :: Context -> Size -> Route site -> WidgetT site IO () -> WidgetT site IO ()
anchorButtonRaisedBlock :: Context -> Size -> Route site -> WidgetT site IO () -> WidgetT site IO ()
label :: Context -> WidgetT site IO () -> WidgetT site IO ()
badge :: WidgetT site IO () -> WidgetT site IO ()
panel :: Panel site -> WidgetT site IO ()
panelAccordion :: [Panel site] -> WidgetT site IO ()
textSubmitGroupGetForm :: Route site -> Context -> Size -> Text -> Text -> Text -> WidgetT site IO () -> Bool -> WidgetT site IO ()
colSizeShortName :: Size -> Text
contextName :: Context -> Text
data NavbarTheme
NavbarDefault :: NavbarTheme
NavbarInverse :: NavbarTheme
NavbarOtherTheme :: Text -> NavbarTheme
data NavbarPosition
NavbarStandard :: NavbarPosition
NavbarStaticTop :: NavbarPosition
NavbarFixedTop :: NavbarPosition
data NavbarItem site
NavbarLink :: (Route site) -> (WidgetT site IO ()) -> NavbarItem site
NavbarDropdown :: (WidgetT site IO ()) -> [NavbarDropdownItem site] -> NavbarItem site
data NavbarDropdownItem site
NavbarDropdownLink :: (Route site) -> (WidgetT site IO ()) -> NavbarDropdownItem site
NavbarDropdownHeader :: (WidgetT site IO ()) -> NavbarDropdownItem site
NavbarDropdownSeparator :: NavbarDropdownItem site
navbar :: NavbarTheme -> NavbarPosition -> Route site -> WidgetT site IO () -> [NavbarItem site] -> [NavbarItem site] -> WidgetT site IO ()
navbarItem :: NavbarItem site -> WidgetT site IO ()
navbarDropdownItem :: NavbarDropdownItem site -> WidgetT site IO ()
tw :: Text -> WidgetT site IO ()
preEscapedWidget :: Text -> WidgetT site IO ()
data CarouselItem site
CarouselItem :: Route site -> Maybe (Route site) -> Maybe (WidgetT site IO ()) -> CarouselItem site
[ciImage] :: CarouselItem site -> Route site
[ciLink] :: CarouselItem site -> Maybe (Route site)
[ciCaption] :: CarouselItem site -> Maybe (WidgetT site IO ())
data CarouselIndicators
CarouselIndicatorsOn :: CarouselIndicators
CarouselIndicatorsOff :: CarouselIndicators
data CarouselControls
CarouselControlsOn :: CarouselControls
CarouselControlsOff :: CarouselControls
carousel :: CarouselIndicators -> CarouselControls -> [CarouselItem site] -> WidgetT site IO ()
data ToggleTab site
ToggleSection :: Text -> (WidgetT site IO ()) -> ToggleTab site
ToggleDropdown :: Text -> [(Text, WidgetT site IO ())] -> ToggleTab site
data ToggleStyle
ToggleStyleTab :: ToggleStyle
ToggleStylePill :: ToggleStyle
togglableTabs :: ToggleStyle -> [ToggleTab site] -> WidgetT site IO ()
radioButtons :: Context -> Text -> [(Text, WidgetT site IO ())] -> WidgetT site IO ()
listGroupLinked :: [(Route site, WidgetT site IO ())] -> WidgetT site IO ()
breadcrumbsList :: [(Route site, WidgetT site IO ())] -> WidgetT site IO ()
popover :: WidgetT site IO () -> WidgetT site IO () -> WidgetT site IO () -> WidgetT site IO ()
popoverClickable :: WidgetT site IO () -> WidgetT site IO () -> WidgetT site IO () -> WidgetT site IO ()
trueThenFalse :: [Bool]
instance GHC.Classes.Eq Yesod.Bootstrap.CarouselControls
instance GHC.Classes.Eq Yesod.Bootstrap.CarouselIndicators

module Yesod.Form.Generic.Bootstrap
class YesodMarkdownRender site
markdownRenderSubsite :: YesodMarkdownRender site => Route MarkdownRender -> Route site
getMarkdownRender :: a -> MarkdownRender
postMarkdownRenderR :: HandlerT MarkdownRender (HandlerT site IO) Html
markdownToHtmlCustom :: Markdown -> Html
data FieldConfig m a
FieldConfig :: Maybe (WidgetT (HandlerSite m) IO ()) -> Maybe (SomeMessage (HandlerSite m)) -> Maybe (SomeMessage (HandlerSite m)) -> Maybe Text -> Maybe Text -> Maybe a -> Bool -> (a -> m (Either (SomeMessage (HandlerSite m)) a)) -> FieldConfig m a
[_fcLabel] :: FieldConfig m a -> Maybe (WidgetT (HandlerSite m) IO ())
[_fcPlaceholder] :: FieldConfig m a -> Maybe (SomeMessage (HandlerSite m))
[_fcTooltip] :: FieldConfig m a -> Maybe (SomeMessage (HandlerSite m))
[_fcId] :: FieldConfig m a -> Maybe Text
[_fcName] :: FieldConfig m a -> Maybe Text
[_fcValue] :: FieldConfig m a -> Maybe a
[_fcReadonly] :: FieldConfig m a -> Bool
[_fcValidate] :: FieldConfig m a -> a -> m (Either (SomeMessage (HandlerSite m)) a)
fcValidate :: Functor f => ((a -> m (Either (SomeMessage (HandlerSite m)) a)) -> f (a -> m (Either (SomeMessage (HandlerSite m)) a))) -> FieldConfig m a -> f (FieldConfig m a)
fcReadonly :: Functor f => (Bool -> f Bool) -> FieldConfig m a -> f (FieldConfig m a)
fcValue :: Functor f => (Maybe a -> f (Maybe a)) -> FieldConfig m a -> f (FieldConfig m a)
fcName :: Functor f => (Maybe Text -> f (Maybe Text)) -> FieldConfig m a -> f (FieldConfig m a)
fcId :: Functor f => (Maybe Text -> f (Maybe Text)) -> FieldConfig m a -> f (FieldConfig m a)
fcTooltip :: Functor f => (Maybe (SomeMessage (HandlerSite m)) -> f (Maybe (SomeMessage (HandlerSite m)))) -> FieldConfig m a -> f (FieldConfig m a)
fcPlaceholder :: Functor f => (Maybe (SomeMessage (HandlerSite m)) -> f (Maybe (SomeMessage (HandlerSite m)))) -> FieldConfig m a -> f (FieldConfig m a)
fcLabel :: Functor f => (Maybe (WidgetT (HandlerSite m) IO ()) -> f (Maybe (WidgetT (HandlerSite m) IO ()))) -> FieldConfig m a -> f (FieldConfig m a)
render :: Monad m => GForm (WidgetT site IO ()) m a -> Html -> MForm m (FormResult a, WidgetT site IO ())
greenOnSuccess :: Bool
simple :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => Text -> ([Text] -> [FileInfo] -> m (FormResult a)) -> (a -> Text) -> FieldConfig m a -> GForm (WidgetT site IO ()) m a
class YesodTypeahead site
routeTypeaheadJs :: YesodTypeahead site => site -> Route site
routeTypeaheadCss :: YesodTypeahead site => site -> Route site
typeahead :: (YesodTypeahead site, MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => Route site -> FieldConfig m Text -> GForm (WidgetT site IO ()) m Text
typeaheadJs :: Route site -> Text -> WidgetT site IO ()
simpleCheck :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => Text -> ([Text] -> [FileInfo] -> m (FormResult (Maybe a))) -> (Maybe a -> Text) -> FieldConfig m (Maybe a) -> GForm (WidgetT site IO ()) m (Maybe a)
select :: (RenderMessage site FormMessage, Eq a) => HandlerT site IO (OptionList a) -> FieldConfig (HandlerT site IO) a -> GForm (WidgetT site IO ()) (HandlerT site IO) a
newtype UploadFilename
UploadFilename :: Text -> UploadFilename
[getUploadFilename] :: UploadFilename -> Text
class YesodUpload site
uploadDirectory :: YesodUpload site => site -> String
uploadRoute :: YesodUpload site => UploadFilename -> Route site
yaml :: (FromJSON a, ToJSON a, HandlerSite m ~ site, MonadHandler m, RenderMessage site FormMessage) => a -> FieldConfig m a -> GForm (WidgetT site IO ()) m a
yamlJs :: Text -> Text -> WidgetT site IO ()
markdown :: (YesodMarkdownRender site, MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m Markdown -> GForm (WidgetT site IO ()) m Markdown
markdownJs :: Text -> Text -> Text -> WidgetT site IO ()
file :: (YesodUpload site, MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m UploadFilename -> GForm (WidgetT site IO ()) m UploadFilename
fileParseHelper :: (YesodUpload site, MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => (Maybe UploadFilename) -> [Text] -> [FileInfo] -> m (FormResult UploadFilename)
moveIt :: String -> FileInfo -> IO UploadFilename
randomUpperConsonantText :: Int -> IO Text
isVowel :: Char -> Bool
simpleCheckJs :: Text -> Text -> WidgetT site IO ()
bindFormResult :: FormResult a -> (a -> FormResult b) -> FormResult b
ifA :: Applicative f => f Bool -> f a -> f a -> f a
boolAttrs :: [(Text, Bool)] -> [(Text, Text)]
labelAndInput :: WidgetT site IO () -> Text -> Text -> Bool -> Text -> WidgetT site IO ()
fieldParseToGParse :: (MonadHandler m) => ([Text] -> [FileInfo] -> m (Either (SomeMessage (HandlerSite m)) (Maybe a))) -> [Text] -> [FileInfo] -> m (FormResult a)
fullValidate :: MonadHandler m => ([Text] -> [FileInfo] -> m (FormResult a)) -> (a -> m (Either (SomeMessage (HandlerSite m)) a)) -> [Text] -> [FileInfo] -> m (FormResult a)
text :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m Text -> GForm (WidgetT site IO ()) m Text
textOpt :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m (Maybe Text) -> GForm (WidgetT site IO ()) m (Maybe Text)
textCheck :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m (Maybe Text) -> GForm (WidgetT site IO ()) m (Maybe Text)
int :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m Int -> GForm (WidgetT site IO ()) m Int
intCheck :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m (Maybe Int) -> GForm (WidgetT site IO ()) m (Maybe Int)
day :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m Day -> GForm (WidgetT site IO ()) m Day
dayCheck :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m (Maybe Day) -> GForm (WidgetT site IO ()) m (Maybe Day)
bool :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m Bool -> GForm (WidgetT site IO ()) m Bool
checkBoxParser :: Text -> Either (SomeMessage site) Bool
textEmailValidate :: Text -> Either FormMessage Text
submit :: Monad m => Context -> Text -> GForm (WidgetT site IO ()) m ()
parseInt :: RenderMessage site FormMessage => Text -> Either (SomeMessage site) Int
gparseHelper :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => (Text -> m (Either (SomeMessage site) a)) -> (Maybe a) -> [Text] -> [FileInfo] -> m (FormResult a)
whenMaybe :: Applicative m => Maybe a -> (a -> m ()) -> m ()
instance GHC.Read.Read Yesod.Form.Generic.Bootstrap.UploadFilename
instance GHC.Show.Show Yesod.Form.Generic.Bootstrap.UploadFilename
instance Database.Persist.Sql.Class.PersistFieldSql Yesod.Form.Generic.Bootstrap.UploadFilename
instance Database.Persist.Class.PersistField.PersistField Yesod.Form.Generic.Bootstrap.UploadFilename
instance GHC.Base.Monad m => GHC.Base.Monoid (Yesod.Form.Generic.Bootstrap.FieldConfig m a)
instance GHC.Base.Monad m => Data.String.IsString (Yesod.Form.Generic.Bootstrap.FieldConfig m a)
instance Yesod.Core.Class.Dispatch.YesodSubDispatch Yesod.Form.Generic.Bootstrap.Internal.MarkdownRender (Yesod.Core.Types.HandlerT master GHC.Types.IO)