Copyright	(c) Matt Hunzinger 2026
License	BSD-style (see the LICENSE file in the distribution)
Maintainer	matt@hunzinger.me
Stability	provisional
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	Haskell2010

Concoct.View.Rebuild

Description

Documentation

newtype Rebuild (m :: Type -> Type) a Source #

Constructors

Rebuild
Fields unRebuild :: StateT ViewState m a

Instances

Instances details

MonadIO m => MonadView m (Rebuild m) Source #
Instance details Defined in Concoct.View.Rebuild Methods useState :: Typeable a => m a -> Rebuild m (StateRef a) Source # useRef :: Typeable a => m a -> Rebuild m (ViewRef a) Source # useEffect :: (Eq d, Typeable d) => m d -> (d -> m ()) -> Rebuild m () Source # useOnUnmount :: m () -> Rebuild m () Source # component :: (forall (x :: Type -> Type). MonadView m x => x ()) -> Rebuild m () Source # liftView :: m () -> Rebuild m () Source # switchView :: m Bool -> (forall (x :: Type -> Type). MonadView m x => x ()) -> (forall (x :: Type -> Type). MonadView m x => x ()) -> Rebuild m () Source # listView :: (Typeable a, Eq a) => m [a] -> (a -> forall (x :: Type -> Type). MonadView m x => x ()) -> Rebuild m () Source #
Monad m => Applicative (Rebuild m) Source #
Instance details Defined in Concoct.View.Rebuild Methods pure :: a -> Rebuild m a # (<>) :: Rebuild m (a -> b) -> Rebuild m a -> Rebuild m b # liftA2 :: (a -> b -> c) -> Rebuild m a -> Rebuild m b -> Rebuild m c # (>) :: Rebuild m a -> Rebuild m b -> Rebuild m b # (<*) :: Rebuild m a -> Rebuild m b -> Rebuild m a #
Functor m => Functor (Rebuild m) Source #
Instance details Defined in Concoct.View.Rebuild Methods fmap :: (a -> b) -> Rebuild m a -> Rebuild m b # (<$) :: a -> Rebuild m b -> Rebuild m a #
Monad m => Monad (Rebuild m) Source #
Instance details Defined in Concoct.View.Rebuild Methods (>>=) :: Rebuild m a -> (a -> Rebuild m b) -> Rebuild m b # (>>) :: Rebuild m a -> Rebuild m b -> Rebuild m b # return :: a -> Rebuild m a #

runRebuild :: MonadIO m => Rebuild m a -> ViewState -> m (a, ViewState) Source #