Glazier.Window

Functional version of (Elm View/Update & startApp architecture) enabling composable widgets, and a FRP-like framework.

This framework makes it easier to modularize the Elm architecture idea of View/Update: based on the deprecated Elm Architecture version of Jan 2016 https://github.com/evancz/elm-architecture-tutorial/tree/de5682a5a8e4459aed4637533adb25e462f8a2ae

The Elm View/Update is basically as follows:

data Model = Blah....
data Action = DoThis | DoThat deriving Show

-- | update is fired from an event processing loop
update :: Action -> Model -> Model

-- | The widget from view knows how to send Action to a mailbox
view :: Signal Address -> Model -> Html

This module uses isomorphic Window and Gadget resulting in instances can be be composed together into larger Widgets. Original inspiration from https://arianvp.me/lenses-and-prisms-for-modular-clientside-apps/

This framework provides three main combinators: * Semigroup and Monoid instances for concatenating widgets. * dispatch is used to re-route the action type. * implant is used to modify the model type.

Documentation

newtype WindowT s m v

The Elm view function is basically view :: model -> html This can be enhanced with monadic effects with ReaderT. This is named Window instead of View to avoid confusion with view from Control.Lens

Constructors

WindowT

Fields

• runWindowT :: ReaderT s m v

Instances

Monad m => MonadReader s (WindowT s m)

Methods

ask :: WindowT s m s

local :: (s -> s) -> WindowT s m a -> WindowT s m a

reader :: (s -> a) -> WindowT s m a

MFunctor (WindowT s)

Methods

hoist :: Monad m => (forall a. m a -> n a) -> WindowT s m b -> WindowT s n b

MonadTrans (WindowT s)

Methods

lift :: Monad m => m a -> WindowT s m a

Monad m => Monad (WindowT s m)

Methods

(>>=) :: WindowT s m a -> (a -> WindowT s m b) -> WindowT s m b

(>>) :: WindowT s m a -> WindowT s m b -> WindowT s m b

return :: a -> WindowT s m a

fail :: String -> WindowT s m a

Functor m => Functor (WindowT s m)

Methods

fmap :: (a -> b) -> WindowT s m a -> WindowT s m b

(<$) :: a -> WindowT s m b -> WindowT s m a

MonadFix m => MonadFix (WindowT s m)

Methods

mfix :: (a -> WindowT s m a) -> WindowT s m a

MonadFail m => MonadFail (WindowT s m)

Methods

fail :: String -> WindowT s m a

Applicative m => Applicative (WindowT s m)

Methods

pure :: a -> WindowT s m a

(<*>) :: WindowT s m (a -> b) -> WindowT s m a -> WindowT s m b

(*>) :: WindowT s m a -> WindowT s m b -> WindowT s m b

(<*) :: WindowT s m a -> WindowT s m b -> WindowT s m a

MonadIO m => MonadIO (WindowT s m)

Methods

liftIO :: IO a -> WindowT s m a

Alternative m => Alternative (WindowT s m)

Methods

empty :: WindowT s m a

(<|>) :: WindowT s m a -> WindowT s m a -> WindowT s m a

some :: WindowT s m a -> WindowT s m [a]

many :: WindowT s m a -> WindowT s m [a]

MonadPlus m => MonadPlus (WindowT s m)

Methods

mzero :: WindowT s m a

mplus :: WindowT s m a -> WindowT s m a -> WindowT s m a

Monad m => Magnify (WindowT s m) (WindowT t m) s t

Methods

magnify :: LensLike' (Magnified (WindowT s m) c) t s -> WindowT s m c -> WindowT t m c

(Applicative m, Semigroup v) => Semigroup (WindowT s m v)

Methods

(<>) :: WindowT s m v -> WindowT s m v -> WindowT s m v

sconcat :: NonEmpty (WindowT s m v) -> WindowT s m v

stimes :: Integral b => b -> WindowT s m v -> WindowT s m v

(Applicative m, Monoid v) => Monoid (WindowT s m v)

Methods

mempty :: WindowT s m v

mappend :: WindowT s m v -> WindowT s m v -> WindowT s m v

mconcat :: [WindowT s m v] -> WindowT s m v

Wrapped (WindowT s0 m0 v0)

Associated Types

type Unwrapped (WindowT s0 m0 v0) :: *

Methods

_Wrapped' :: Iso' (WindowT s0 m0 v0) (Unwrapped (WindowT s0 m0 v0))

(~) * (WindowT s0 m0 v0) t0 => Rewrapped (WindowT s1 m1 v1) t0

Monad m => Implant (WindowT s m v) (WindowT t m v) s t

Methods

implant :: LensLike' (Implanted (WindowT s m v)) t s -> WindowT s m v -> WindowT t m v

type Magnified (WindowT s m)

type Magnified (WindowT s m) = Magnified (ReaderT * s m)

type Unwrapped (WindowT s0 m0 v0)

type Unwrapped (WindowT s0 m0 v0) = ReaderT * s0 m0 v0

type Implanted (WindowT s m v)

type Implanted (WindowT s m v) = Magnified (WindowT s m) v

type Window s = WindowT s Identity

_WindowT :: Iso (WindowT s m v) (WindowT s' m' v') (s -> m v) (s' -> m' v')

_WindowT' :: Iso' (WindowT s m v) (s -> m v)

Non polymorphic version of _Window

mkWindowT' :: (s -> m v) -> WindowT s m v

runWindowT' :: WindowT s m v -> s -> m v

belowWindowT :: ((s -> m v) -> s' -> m' v') -> WindowT s m v -> WindowT s' m' v'

underWindowT :: (ReaderT s m v -> ReaderT s' m' v') -> WindowT s m v -> WindowT s' m' v'

overWindowT :: (WindowT s m v -> WindowT s' m' v') -> ReaderT s m v -> ReaderT s' m' v'

aboveWindowT :: (WindowT s m v -> WindowT s' m' v') -> (s -> m v) -> s' -> m' v'