Safe Haskell | Safe-Infered |
---|
- data View v = forall a m . Monad m => View {
- viewName :: Text
- viewContext :: Path
- viewForm :: Form v m a
- viewInput :: [(Path, FormInput)]
- viewErrors :: [(Path, v)]
- viewMethod :: Method
- getForm :: Monad m => Text -> Form v m a -> View v
- postForm :: Monad m => Text -> Form v m a -> Env m -> m (View v, Maybe a)
- subView :: Text -> View v -> View v
- absolutePath :: Text -> View v -> Path
- viewEncType :: View v -> FormEncType
- fieldInputText :: forall v. Text -> View v -> Text
- fieldInputChoice :: forall v. Text -> View v -> ([v], Int)
- fieldInputBool :: forall v. Text -> View v -> Bool
- fieldInputFile :: forall v. Text -> View v -> Maybe FilePath
- errors :: Text -> View v -> [v]
- childErrors :: Text -> View v -> [v]
Documentation
forall a m . Monad m => View | |
|
Obtaining a view
Operations on views
Querying a view
Low-level
Form encoding
viewEncType :: View v -> FormEncTypeSource
Input
fieldInputText :: forall v. Text -> View v -> TextSource
fieldInputChoice :: forall v. Text -> View v -> ([v], Int)Source
fieldInputBool :: forall v. Text -> View v -> BoolSource
Errors
childErrors :: Text -> View v -> [v]Source