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.Unmount

Description

Documentation

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

Constructors

Unmount
Fields unUnmount :: StateT Stack m a

Instances

Instances details

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

runUnmount :: MonadIO m => Unmount m a -> Stack -> m (a, Stack) Source #