frame-0.1: A simple web framework.

Frame.Model

Description

High level model helpers

Synopsis

Documentation

class MonadIO m => FrameIO m Source

Instances

MonadIO m => FrameIO m

class (FrameConfig m, FrameState m, FrameIO m) => FrameModel m Source

Instances

(FrameConfig m, FrameState m, FrameIO m) => FrameModel m

liftIO :: MonadIO m => forall a. IO a -> m a

module Database.HaskellDB

module Database.HaskellDB.BoundedList

module Database.HaskellDB.BoundedString

fieldName Source

Arguments

:: String	Table name
-> String	Attribute name
-> String	''TableName.attributeName''

Convenience function for creating a qualified attribute name

tableName :: Table t -> TableName

Get the name of a table.

Arguments

:: Table r	Table
-> Attr f a	Attribute
-> String	''TableName.attributeName''

Convenience function for a stringed representation fo a table and attribute

Arguments

:: FrameModel m
=> (Database -> m a)	The function that requires a database
-> m a	The executed result

Execute a database function against the DB

merge :: FrameModel m => m (Maybe Fields) -> m (Maybe Fields)Source

Take the fields updated by some model action and merge them in to the state

field :: Wrappable a => DBInfo -> FieldName -> a -> (FieldName, WrapperType)Source

Arguments

:: FrameModel m
=> (Fields -> m a)	The computation to run
-> m Bool	Did the computation succeed?

Should a form have been posted and all of the fields validate, run some computation which maps fields to a model (with an empty return type)

wrapStringField :: Size n => FieldName -> BoundedList Char n -> (FieldName, WrapperType)Source

wrapIntField :: FieldName -> Int -> (FieldName, WrapperType)Source

wrapMaybeIntField :: FieldName -> Maybe Int -> (FieldName, WrapperType)Source

wrapBoolField :: FieldName -> Bool -> (FieldName, WrapperType)Source