Hails.MVC.Model.ProtectedModel.Reactive

Protected Reactive Fields

This module defines several classes and operations that are used to create reactive fields and to bind reactive fields in the view to reactive fields in the model.

FIXME: Due to the restrictions in the type classes, the current version uses Model.ProtectedModel.ProtectedModelInternals.ProtectedModel.

Copyright : (C) Keera Studios Ltd, 2013 License : BSD3 Maintainer : [e-mail]

Documentation

type Setter a b c = ProtectedModel b c -> a -> IO ()

type Getter a b c = ProtectedModel b c -> IO a

type Modifier a b c = ProtectedModel b c -> (a -> a) -> IO ()

type ModifierIO a b c = ProtectedModel b c -> (a -> IO a) -> IO ()

class ReactiveField a b c d | a -> b, a -> c, a -> d where

Methods

events :: a -> [d]

Instances

Event c => ReactiveField (ReactiveElement a b c) a b c

Defined in Hails.MVC.Model.ProtectedModel.Reactive

Methods

events :: ReactiveElement a b c -> [c]

onChanged :: (Event d, ReactiveField a b c d) => ProtectedModel c d -> a -> IO () -> IO ()

class ReactiveField a b c d => ReactiveReadField a b c d where

Methods

getter :: a -> Getter b c d

Instances

Event c => ReactiveReadField (ReactiveElement a b c) a b c

Defined in Hails.MVC.Model.ProtectedModel.Reactive

Methods

getter :: ReactiveElement a b c -> Getter a b c

class ReactiveWriteField a b c d where

Methods

setter :: a -> Setter b c d

Instances

Event c => ReactiveWriteField (ReactiveElement a b c) a b c

Defined in Hails.MVC.Model.ProtectedModel.Reactive

Methods

setter :: ReactiveElement a b c -> Setter a b c

class (ReactiveField a b c d, ReactiveReadField a b c d, ReactiveWriteField a b c d) => ReactiveReadWriteField a b c d where

Minimal complete definition

Nothing

Methods

modifier :: a -> Modifier b c d

modifierIO :: a -> ModifierIO b c d

Instances

Event c => ReactiveReadWriteField (ReactiveElement a b c) a b c

Defined in Hails.MVC.Model.ProtectedModel.Reactive

Methods

modifier :: ReactiveElement a b c -> Modifier a b c

modifierIO :: ReactiveElement a b c -> ModifierIO a b c

data Event c => ReactiveElement a b c

Constructors

ReactiveElement

Fields

• reEvents :: [c]
• reSetter :: Setter a b c
• reGetter :: Getter a b c

Instances

Event c => ReactiveReadWriteField (ReactiveElement a b c) a b c

Defined in Hails.MVC.Model.ProtectedModel.Reactive

Methods

modifier :: ReactiveElement a b c -> Modifier a b c

modifierIO :: ReactiveElement a b c -> ModifierIO a b c

Event c => ReactiveWriteField (ReactiveElement a b c) a b c

Defined in Hails.MVC.Model.ProtectedModel.Reactive

Methods

setter :: ReactiveElement a b c -> Setter a b c

Event c => ReactiveReadField (ReactiveElement a b c) a b c

Defined in Hails.MVC.Model.ProtectedModel.Reactive

Methods

getter :: ReactiveElement a b c -> Getter a b c

Event c => ReactiveField (ReactiveElement a b c) a b c

Defined in Hails.MVC.Model.ProtectedModel.Reactive

Methods

events :: ReactiveElement a b c -> [c]

type FieldAccessor a b c = ProtectedModel b c -> ReactiveFieldReadWrite IO a

mkFieldAccessor :: (InitialisedEvent c, Event c) => ReactiveElement a b c -> ProtectedModel b c -> ReactiveFieldReadWrite IO a