Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class YesodMarkdownRender site where
markdownRenderSubsite :: Route MarkdownRender -> Route site
getMarkdownRender :: a -> MarkdownRender
postMarkdownRenderR :: HandlerT MarkdownRender (HandlerT site IO) Html
markdownToHtmlCustom :: Markdown -> Html
data FieldConfig m a
FieldConfig | |
|
Monad m => IsString (FieldConfig m a) | |
Monad m => Monoid (FieldConfig 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 ())
:: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) | |
=> Text | input type |
-> ([Text] -> [FileInfo] -> m (FormResult a)) | |
-> (a -> Text) | |
-> FieldConfig m a | |
-> GForm (WidgetT site IO ()) m 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 |
Read UploadFilename | |
Show UploadFilename | |
PersistField UploadFilename | |
PersistFieldSql UploadFilename |
class YesodUpload site where
uploadDirectory :: site -> String
uploadRoute :: UploadFilename -> Route site
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
:: (YesodUpload site, MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) | |
=> Maybe UploadFilename | If this is Just, then the field is not required. |
-> [Text] | |
-> [FileInfo] | |
-> m (FormResult UploadFilename) |
moveIt :: String -> FileInfo -> IO UploadFilename
randomUpperConsonantText :: Int -> IO Text
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
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
whenMaybe :: Applicative m => Maybe a -> (a -> m ()) -> m ()