Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class YesodMarkdownRender site where Source
markdownRenderSubsite :: Route MarkdownRender -> Route site Source
getMarkdownRender :: a -> MarkdownRender Source
postMarkdownRenderR :: HandlerT MarkdownRender (HandlerT site IO) Html Source
data FieldConfig m a Source
FieldConfig | |
|
Monad m => IsString (FieldConfig m a) Source | |
Monad m => Monoid (FieldConfig m a) Source |
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) Source
fcReadonly :: Functor f => (Bool -> f Bool) -> FieldConfig m a -> f (FieldConfig m a) Source
fcValue :: Functor f => (Maybe a -> f (Maybe a)) -> FieldConfig m a -> f (FieldConfig m a) Source
fcName :: Functor f => (Maybe Text -> f (Maybe Text)) -> FieldConfig m a -> f (FieldConfig m a) Source
fcId :: Functor f => (Maybe Text -> f (Maybe Text)) -> FieldConfig m a -> f (FieldConfig m a) Source
fcTooltip :: Functor f => (Maybe (SomeMessage (HandlerSite m)) -> f (Maybe (SomeMessage (HandlerSite m)))) -> FieldConfig m a -> f (FieldConfig m a) Source
fcPlaceholder :: Functor f => (Maybe (SomeMessage (HandlerSite m)) -> f (Maybe (SomeMessage (HandlerSite m)))) -> FieldConfig m a -> f (FieldConfig m a) Source
fcLabel :: Functor f => (Maybe (WidgetT (HandlerSite m) IO ()) -> f (Maybe (WidgetT (HandlerSite m) IO ()))) -> FieldConfig m a -> f (FieldConfig m a) Source
render :: Monad m => GForm (WidgetT site IO ()) m a -> Html -> MForm m (FormResult a, WidgetT site IO ()) Source
:: (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 |
class YesodTypeahead site where Source
routeTypeaheadJs :: site -> Route site Source
routeTypeaheadCss :: site -> Route site Source
typeahead :: (YesodTypeahead site, MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => Route site -> FieldConfig m Text -> GForm (WidgetT site IO ()) m Text Source
:: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) | |
=> Text | input type |
-> ([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 Source
newtype UploadFilename Source
class YesodUpload site where Source
uploadDirectory :: site -> String Source
uploadRoute :: UploadFilename -> Route site Source
yaml :: (FromJSON a, ToJSON a, HandlerSite m ~ site, MonadHandler m, RenderMessage site FormMessage) => a -> FieldConfig m a -> GForm (WidgetT site IO ()) m a Source
markdown :: (YesodMarkdownRender site, MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m Markdown -> GForm (WidgetT site IO ()) m Markdown Source
file :: (YesodUpload site, MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m UploadFilename -> GForm (WidgetT site IO ()) m UploadFilename Source
:: (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) |
randomUpperConsonantText :: Int -> IO Text Source
bindFormResult :: FormResult a -> (a -> FormResult b) -> FormResult b Source
ifA :: Applicative f => f Bool -> f a -> f a -> f a Source
fieldParseToGParse :: MonadHandler m => ([Text] -> [FileInfo] -> m (Either (SomeMessage (HandlerSite m)) (Maybe a))) -> [Text] -> [FileInfo] -> m (FormResult a) Source
fullValidate :: MonadHandler m => ([Text] -> [FileInfo] -> m (FormResult a)) -> (a -> m (Either (SomeMessage (HandlerSite m)) a)) -> [Text] -> [FileInfo] -> m (FormResult a) Source
text :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m Text -> GForm (WidgetT site IO ()) m Text Source
textOpt :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m (Maybe Text) -> GForm (WidgetT site IO ()) m (Maybe Text) Source
textCheck :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m (Maybe Text) -> GForm (WidgetT site IO ()) m (Maybe Text) Source
int :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m Int -> GForm (WidgetT site IO ()) m Int Source
intCheck :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m (Maybe Int) -> GForm (WidgetT site IO ()) m (Maybe Int) Source
day :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m Day -> GForm (WidgetT site IO ()) m Day Source
dayCheck :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m (Maybe Day) -> GForm (WidgetT site IO ()) m (Maybe Day) Source
bool :: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) => FieldConfig m Bool -> GForm (WidgetT site IO ()) m Bool Source
checkBoxParser :: Text -> Either (SomeMessage site) Bool Source
parseInt :: RenderMessage site FormMessage => Text -> Either (SomeMessage site) Int Source
:: (MonadHandler m, HandlerSite m ~ site, RenderMessage site FormMessage) | |
=> (Text -> m (Either (SomeMessage site) a)) | |
-> Maybe a | If this is Just, then the field is not required. |
-> [Text] | |
-> [FileInfo] | |
-> m (FormResult a) |
whenMaybe :: Applicative m => Maybe a -> (a -> m ()) -> m () Source